[ 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: 21 KB, 212x270, Kurt_gödel.jpg [View same] [iqdb] [saucenao] [google]
11656035 No.11656035 [Reply] [Original]

Every time I see this guy's theorems mentioned anywhere online, without fail, everyone accuses eachother of misinterpreting it or acts too smart to explain it.
Does anyone even know what the implications are

>> No.11656039

>>11656035
>Does anyone even know what the implications are
stupid animals convincing themselves they have a clue

>> No.11656048

>>11656035
Your thread title strongly suggests that you would not really be interested, right?

>> No.11656371

>>11656035
it's on wikipedia

>> No.11656373
File: 1.16 MB, 3200x1618, this_kills_the_redditor.png [View same] [iqdb] [saucenao] [google]
11656373

Keep seething, Redditor

>> No.11657062
File: 1.56 MB, 236x307, 1587516872203.gif [View same] [iqdb] [saucenao] [google]
11657062

>>11656035
everything is relative.

>> No.11658406

>>11656035
>not a Jew
For some reason I thought he was. Turns out he was a based Christian. Maybe you are just angry he’s not just another dumb kike?

>> No.11658740

>>11656035
>Does anyone even know what the implications are
God.

>>11656373
Based

>> No.11658932

>>11656373
I wonder what the jain system of logic involving 7 possible values would make of this - not saying it invalidates it, just curious, personally I get the feels reading this quasi proof

>> No.11658961

>>11656035
No computably axiomatizable consistent theory that is strong enough to prove some basic facts about arithmetic can prove its own consistency.

>> No.11659378

>>11656035
Most memed mathematician of the last century, even more so than groethendick.
People act like his work really changed anything, but the reality is that:
1)95% of mathematicians(for simplicity let’s say people with a maths degree) cannot tell you what he did or use what he did
2) Has no practical applications
3) Constantly misinterpreted and attracts popsci types
On top of that look into his life, he was as schizo as they come

>> No.11659500
File: 56 KB, 873x491, 5389498699242220.jpg [View same] [iqdb] [saucenao] [google]
11659500

>Every time I see this guy's theorems mentioned anywhere online, without fail, everyone accuses each other of misinterpreting it or acts too smart to explain it.

>Does anyone even know what the implications are

So, I understand you have masochistic tendencies?

>>11656371
This.
Learn the basics of logic and ask technical questions. Not "what does it mean."

>Has no practical applications
It's not like he has a formula in his papers that's of practical use like some angle-approximation formula, but his work on encoding via PA terms (numbers), indexing, Gödel numbering, etc. etc., is of practical use and - in any case - his work on that problem directly lead to Turings work on what is now known as computer. Recursion theory is a direct predecessor of universal machines.

>> No.11659571

>>11659378
Man you're an idiot