|
|
|
Summary Of: Gödel numbering
A Gödel numbering can be interpreted as an... In the specific Gödel numbering used by Nagel and Newman... A Gödel numbering is not unique... an alternative Gödel numbering could be constructed by invertibly mapping this set of symbols... Once a Gödel numbering for a formal theory is established... one can use a Gödel numbering to indirectly make statements about the theory itself... the term Gödel numbering is sometimes used when the assigned... Encyclodia Page On: Gödel numbering
|
|
 |
