3 ms·
If two propositions have the same characters, then they have the same Gödel numbers.
by ProfHewitt 5y ago
If two propositions have the same characters, then they have the same Gödel numbers.
- espadrine 5y agoCould you provide two statements with equal Gödel numbers and the same characters in different orders, and a detail of how you compute the Gödel numbers?
- ProfHewitt 5y agoIf 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 :-(
- espadrine 5y agoIf 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?
- ProfHewitt 5y agoThere might be two propositions of different orders that have the same characters in the same order.