Hacker News new | past | comments | ask | show | jobs | submit login

If two propositions have the same characters in the same order,

then they have the same Gödel numbers.

Unfortunately, Gödel number of a proposition leaves out the order of the proposition :-(




If two statements have the same characters in the same order, how are they not the same statement? And why would that make Gödel’s statement invalid in Principia Mathematica?


There might be two propositions of different orders that have the

same characters in the same order.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: