>>8800443
I would really like to. But I am afraid that I am too much of a brainlet to understand any of it.
>>8800443
Smile, youve lived.
>>8800443
Godel looks like a serial killer
>>8800443
Do I need to read the primary source if I understand his theorems?
>>8800443
Reminder that Godel literally believed his refrigerator was killing him.
>>8800704
So what?
Insanity does not invalidate ones mathematical achievement.
>>8800704
>literally
[reference needed]
He could have been right though.
He singlehandedly destroyed mathematics in this universe so God pushed the plausible-self-destruction button.
He was religious and interested in religion.
He was probably going to expose God after destroying mathematics.
This makes kinda spoopy meddling with his works.
>>8800679
Gödel was critic of translations of his article about Principia.
You think a textbook arrangement is ok?
>>8800544
>Godel looks like a serial killer
He is.
no need to. you ended math as it is for purists, and I thank you for that
>>8800704
So? Tesla fell in love with a pigeon and claimed to talk to Martians. That doesn't mean he wasn't a brilliant physicist.
>>8803067
>That doesn't mean he wasn't a brilliant physicist.
But he wasn't.
Read from there on:
>Tesla exhibited a pre-atomic understanding of physics in his writings;[245] he disagreed with the theory of atoms being composed of smaller subatomic particles, stating there was no such thing as an electron creating an electric charge [...]
Wikipedia.
He was oblivious about contemporary physics.
>>8803225
>inventor of electricity
>didn't believe in the thing that electricity _is_
wow
>>8803235
>>inventor of electricity
Please explain exactly how did Tesla "invent" electricity.
>>8803225
The really fun part about this whole business is that, compared to Tesla's objective achievements as a scientist, yours are laughable. The comparison is similar between anything you've produced and the things Godel produced.
Really makes you think, huh?
>>8800443
Can anyone give example of practical application of his invention in technology today?
>>8803478
Yes. Satisfiability solvers and automatic proof systems. These themselves are now applied in the formal verification of circuits; this process helps engineers to prevent bugs they would otherwise miss in concurrent embedded systems.
>>8803307
*upvoted*
>>8800544
>>8801350
I heard the same thing is said of Wittgenstein
>>8803864
>>8803864
Wittgeinstein was a fraud. He did not understand Gödel's paper so skimmed through it and spouted some bullshit.
>[...] probably because Wittgenstein had by then read or skimmed the body of Gödel's 1931 paper.
https://plato.stanford.edu/entries/wittgenstein-mathematics/#WitGodUndMatPro
https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems#Wittgenstein
>>8804074
* Wittgenstein.