Archived threads in /sci/ - Science & Math - 1983. page

An axiom must show independance from the framework it supports?

File: all dose people all dose hamboigahs.jpg (69KB, 468x683px) Image search: [Google]

69KB, 468x683px

>>7784987
The proof system is undecidable, only recognizable (in terms of false statements). In other words you can test whether a statement is false (in finite time) by using an algorithm that will eventually find a counterexample for it. However, the same algorithm will never terminate when given a true statement (because it will just keep searching for a counterexample until the end of time). Unfortunately there is no algorithm for checking if a statement is true, which intuitively makes sense. Consider the statement
>All cheeseburgers that will ever exist will taste good.
In order to test this you would need to check every cheeseburger (granted one could argue that in a finite universe there will exist a finite number of burgers, but that would be missing the point). Hence you can test if a statement is true but you cannot test if a statement is false. This means you can't define a predicate for truth. More importantly it means that the problem of falsehood is not decidable but it is recognizable.

Pic related.

>>7785014
>This means you can't define a predicate for truth.
can you detail this ?
to me a predicate is just written P(x) with x some variable and P some shorthand for a sentence. then in set theory, a predicate is a subset and x a pint of the universe.

so a predicate for truth would be written T[x], with x a variable, and in set theory, it would say that the point x is true if and only T[x] ??

>>7784843
Bullshit, they've been saying the same thing in different forms for centuries.

But is there a plateau coming up where we won't be able to advance much more when it comes to engineering in certain fields? The thing is, there's only so much you can teach an engineer and only so many decades that an engineer or scientist can stick to the job before they die. So far advancement has been accomplished by throwing more people at complex projects and dividing everything up into smaller tasks. But isn't there a tipping point there too where there is just too much complexity to handle, or will there be such a point?

>>7784843
The notion of velocity (rather speed) was not new to Aristotle, it was defined by Eudoxus and used in astronomy, including by Aristotle himself. Aristotle roughly thought that the speed of forced motion is proportional to the "power" (force) causing it, and inverse proportional to the resistance of the medium, so mv=F/R is roughly right.

This applies with caveat that the body is actually moving, because the rest is a fundamentally different state for Aristotle. This also leads to infinite velocity in the vacuum (zero resistance), which is one of the reasons why he thought that "nature abhors vacuum". So there is some inescapable distortion in translating Aistotle's mechanics into modern mathematical notation. Rovelli makes a systematic attempt, and shows that his mechanics is largely reproduced in the limit of highly resistant medium.

Aristotle's account of projectile motion however can only be interpreted very artificially as a forced motion (because of low air resistance), and was criticized already in antiquity, by Philoponus and possibly Hipparchus earlier. Philoponus pointed out that on Aristotle's account of force moving air moving arrow one should be able to make the arrow move by waiving hands behind it. This convinced Avicenna, Avempace, and later Buridan, to adopt the impetus theory, where forced motion can be maintained without constant impact from a force.

>>7784807

Obviously you should go read a book on what your want to know, you fucking retard. How stupid can you be to seriously ask how to relearn something you learned from a book in the first place?

I just finished precalc in my first semester at uni with the book Precalculus: Mathematics for Calculus, 5th Edition (ISBN-13: 978-0495557500) and while I can't say it's the greatest precalc book, it was good to review with. It's really cheap too

>>7784807
what did you forget? I dont even know what precalc knowledge is. most calc books go through shit you need

>>7784711
Toronto, McGill and UBC are usually the big three iirc

also you can throw Waterloo in there for things like math/CS

>>7784711
depends on the field

I went to uoft for math and got into harvard with recommendation letters since several of my profs were so well known

ubc is pretty great too, mcgill is overrated and is more well known in canada than internationally

internationally its mostly ubc/uoft

>>7784711
dalhousie is #1 in all statistical categories

'cause accration of the initial dust cloud around the sun that formed everything.

>>7784706
http://physics.stackexchange.com/questions/93830/why-the-galaxies-form-2d-planes-or-spiral-like-instead-of-3d-balls-or-spheric

>>7784712
I don't know how to long divide so most of that is lost on me but I did gather that they generally aren't flat... So what about the solar system that is.

Theoretical Physics

File: 1758-2946-1-3-20-l.jpg (46KB, 1200x442px) Image search: [Google]

46KB, 1200x442px

Total Synthesis

File: phrenology.jpg (353KB, 1218x1600px) Image search: [Google]

353KB, 1218x1600px

Phrenology

File: Freud0.png (75KB, 397x277px) Image search: [Google]

75KB, 397x277px

>>7784633

File: Freud1.jpg (57KB, 500x625px) Image search: [Google]

57KB, 500x625px

>>7784633
>>7784647

File: Freud2.jpg (44KB, 220x324px) Image search: [Google]

44KB, 220x324px

>>7784633
>>7784647
>>7784652

>>>/diy/

>>7784625
thanks, didn't see that

>>7784620
You could. Probably not safe though.

File: Ohwow.jpg (39KB, 562x437px) Image search: [Google]

39KB, 562x437px

>>7784600

>literally looks like you went to U of Anus

>>7784600
I heard its ok

>>7784583
die

Also just stating that I haven't studied physics yet so dont sperg out on me

>>7784583
What if.
/thread

>>7784580
Why don't you just look up their uses, or lack thereof, in modern medicine? Doesn't he list hundreds of different medicines? How are we supposed to answer this question?

>>7784590
Well you guys are a clever bunch so I thought you might know a few off the top of your head that you heard about in your travels.

>>7784599
Opium. Yes it is used in modern medicine. Happy?

>>7784462
Maybe. /thread

File: what the fuck.png (20KB, 400x400px) Image search: [Google]

20KB, 400x400px

>>7784470

Heat death = fucked.

>>7784386

I recommend the TI-86 or TI-89 ya crazy kid. Now don't reply to this thread and let it fall off the catalog.

20/2(5+5)
20/2(10)
10 * 10
100

(5+5)=10
20/2=10
10*10=100

>>7784355
20/2=10
10(5+5) = 50 + 50
50+50=100

Im gay

Just don't become a NEET. Some people phase out of this well, for lack of a better word phase. I've played video games my whole life and I wonder when I will quit. You can use other less time \-consuming sources of media or get a new hobby. As for the porn situation, just go outside man.

>>7784367
The problem is it has become an ingrained habit, I've been doing it habitually since my early teens. For instance, if I go onto the computer to do some research, write an essay or simply check social media, I end up debasing myself with some disgusting fetishism shit because I have to look for ever more extreme forms.

File: no sauce lel xd.webm (3MB, 640x798px) Image search: [Google]

3MB, 640x798px

You study in the library or on campus somewhere where whipping your dick out isn't an option.

Ex. I'm a grad student and when I need to study and ensure that I don't have distractions, I go to my grad student office and study there with my laptop. Studying at home is too often interrupted by masturbation marathons so I basically don't even try it anymore.