| 释义 |
Gödel NumberA Gödel number is a unique number associated to a statement about arithmetic. It is formed as the Product ofsuccessive Primes raised to the Power of the number corresponding to the individual symbols that comprise thesentence. For example, the statement that reads ``there Exists an such that is theimmediate successor of '' is coded
where the numbers in the set (8, 4, 13, 9, 8, 13, 5, 7, 16, 9) correspond to the symbols that make up .See also Gödel's Incompleteness Theorem References
Hofstadter, D. R. Gödel, Escher, Bach: An Eternal Golden Braid. New York: Vintage Books, p. 18, 1989.
|