Didn't he also prove the converse?

Nope! Gödel proved in 1931 that mathematics is not decidable, an earth-shattering result. He proved that there are statements in mathematics, which are true but not provable within the system. Worse yet, it turns out that you can’t build a more powerful mathematical system. Once a system beco…
Why Gödel, Escher, Bach is the most influential book in my life.
4.2K
89
Mark Johnson
Neeramitra Reddy
·Follow
Apr 11, 2023
--
Didn't he also prove the converse?
That there are statements in maths that are provable to be true but aren't necessarily true?
--
--
Written by Neeramitra Reddy
48K Followers
·98 Following
See(k)ing Truth ✦ On an inner journey of healing after an outer arc of self-maximization ✦ manximize.com ✦ neeramitrareddy.com
No responses yet
Help
Status
About
Careers
Press
Blog
Privacy
Terms
Text to speech
Teams