Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Kurt Gödel’s Brilliant Madness.
Wittgenstein [1937-1944] had shown that Gödel failed to prove
incompleteness of the foundations of mathematics. Gödel was
aware of this failure but tried to bluff past it claiming that
his incompleteness result was not for the foundations of mathematics.
Contrary to [Gödel 1931], he claimed decades later
that his result was for a limited first-order theory of the
natural numbers [Wang 1987].
However, the failure may have secretly weighed on his mind.
There is more information here:
"Gödel failed to prove inferential undecidablity or incompleteness in foundations"
https://professorhewitt.blogspot.com/2021/03/godel-failed-to...
There are no comments on this comment yet.
Wittgenstein [1937-1944] had shown that Gödel failed to prove
incompleteness of the foundations of mathematics. Gödel was
aware of this failure but tried to bluff past it claiming that
his incompleteness result was not for the foundations of mathematics.
Contrary to [Gödel 1931], he claimed decades later
that his result was for a limited first-order theory of the
natural numbers [Wang 1987].
However, the failure may have secretly weighed on his mind.
There is more information here:
"Gödel failed to prove inferential undecidablity or incompleteness in foundations"
https://professorhewitt.blogspot.com/2021/03/godel-failed-to...