News for hackers. Stuff that matters.

A comment on What Gödel Discovered. Parent comment

Re:What Gödel Discovered by ProfHewitt on Friday November 20, 2020 @12:08PM (#25162432)
No extra restriction is required because Russell's Principia

Mathematical already excludes construction of the [Gödel 1931]

proposition I'mUnprovable because of orders on propositions.

[ Parent | on HN ]

There are no comments on this comment yet.