The Gödel number a proposition in Russell's Principia Mathematica does *not* cor... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

ProfHewitt on Nov 20, 2020 | parent | context | favorite | on: What Gödel Discovered

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.

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact