[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math


View post   

File: 22 KB, 212x270, Kurt_gödel.jpg [View same] [iqdb] [saucenao] [google]
8520380 No.8520380 [Reply] [Original]

Can someone explain the fuss over set theory and logic to a math noob? As far as I understand it this is what happened

>Geometry was the foundation since Euclid because it has irrational numbers that can be expressed while arthimetic can't do this with just integers.
>fast forward to 19th century
>non euclidean geometry is discovered
>geometry can't be the foundation
>problems start to show up with calculus/analysis?
>Cantor invites set theory
>no one likes it
>Frege starts to use logic to fix maths
>people are catching on to set theory
>russel starts working
>discovers russels paradox
>naive set theory can't work
>people try to find axiomatic set theories using logic
>Cantor tells mathematicians to get their shit together
>around this time Russel and Whitehead publish princpia mathematica
>few decades later Godel btfos it and all other logic foundations.
>people now just accept math is always incomplete

>> No.8520440

Bump

>> No.8520464

>>8520380

Set theory isn't math. It's a notation you do math in. That's it. Don't worry so much about it.

>> No.8520486

>>8520380
read about turing and the halting problem. that's the more interesting part

>> No.8520572

>>8520380
>>Geometry was the foundation since Euclid because it has irrational numbers that can be expressed while arthimetic can't do this with just integers.

No, it was the only math with proofs.