What Made Gödel’s Incompleteness Theorem Hard to Prove (▻https://alg...
▻https://diasp.eu/p/7795762
What Made Gödel’s Incompleteness Theorem Hard to Prove
Roughly speaking, Gödel’s Incompleteness Theorem states that there are true mathematical statements that cannot be proven. When I was in 11-th grade, my geometry teacher Mr. Olsen, my friend … Article word count: 443
HN Discussion: ▻https://news.ycombinator.com/item?id=18115696 Posted by williamkuszmaul (karma: 52) Post stats: Points: 110 - Comments: 85 - 2018-10-01T18:57:03Z
#HackerNews #gödels #hard #incompleteness #made #prove #theorem #what
Article content:
Roughly speaking, Gödel’s Incompleteness Theorem states that there are true mathematical statements that cannot be proven. When I was in 11-th grade, my geometry teacher Mr. Olsen, my friend Uma Roy, and I spent five weeks reading through Gödel’s original proof of the (...)