News for hackers. Stuff that matters.

A comment on Gödel's Theorem. Parent comment

Re:Gödel's Theorem by Angostura on Thursday January 31, 2019 @08:02AM (#19044386)
See Bertrand Russell and Whitehead's attempt to codify mathematics from first principals. It was comprehensively Godelled https://en.wikipedia.org/wiki/Principia_Mathematica
[ Parent | on HN ]

There are no comments on this comment yet.