Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on 1931: Kurt Gödel shows limits of math, logic, computing, AI. Parent comment
I'mUnprovable. Since, the proposition doesn't exist in
foundations, the results in [Gödel 1931] do not hold for foundations.
There are no comments on this comment yet.
I'mUnprovable. Since, the proposition doesn't exist in
foundations, the results in [Gödel 1931] do not hold for foundations.