News for hackers. Stuff that matters.
Re:What Gödel Discovered by ProfHewitt on Friday November 20, 2020 @12:31PM (#25162716)
The Gödel number a proposition in Russell's Principia

Mathematica does not correctly represent the proposition

because it leaves out the order of the proposition.

There are no comments on this comment yet.