Godel Numbering
↑ 1 References
Godel Numbering is a great example of a discovered isomorphic “language” that Kurt Godel used to discover Godel’s Incompleteness Theorems.
Godel Numbering is a great example of a discovered isomorphic “language” that Kurt Godel used to discover Godel’s Incompleteness Theorems.