isomorphic
↑ 4 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.