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
claimed to prove incompleteness for a system for the
foundations of mathematics.
1st-order systems such a PA were introduced later and
quickly shown to be inadequate for the foundations of mathematics.
There are no comments on this comment yet.
claimed to prove incompleteness for a system for the
foundations of mathematics.
1st-order systems such a PA were introduced later and
quickly shown to be inadequate for the foundations of mathematics.