News for hackers. Stuff that matters.
Re:1931: Kurt Gödel shows limits of math, logic, computing, AI by ProfHewitt on Monday June 21, 2021 @10:47AM (#27579690)
As explicitly stated in the title [Gödel 1931] for a system

for the foundation of mathematics.

There are no comments on this comment yet.