Site Navigation
Categories:
Mathematical logic
Theory of computation
Summary Of: Gödel number
the Gödel number for the symbol... is 6 and the Gödel number for the symbol... the Gödel number of the formula...
Encyclodia Page On: Gödel number
These Are Links To Other Documents
Numbering (computability theory)
|
mathematical logic
|
function
|
well-formed formula
|
formal language
|
natural number
|
Kurt Gödel
|
incompleteness theorem
|
encoding
|
symbol
|
mathematical notation
|
natural numbers
|
prime factorization
|
fundamental theorem of arithmetic
|
prime factors
|
Gödel numbering for sequences
|
invertible function
|
bijective base-
K
numeral system
|
inference rule
|
Peano arithmetic
|
formal systems
|
computability theory
|
formal language
|
algorithm
|
group
|
Turing machines
|
Church numeral
|
Description number
|
Gödel's incompleteness theorems
|
Chaitin's incompleteness theorem
|
Ernest Nagel
|
James R. Newman
|
Gödel, Escher, Bach: an Eternal Golden Braid
|
Douglas Hofstadter
|
I Am a Strange Loop
|
Douglas Hofstadter
|
Categories
|
Mathematical logic
|
Theory of computation
|
This article is licensed under the
GNU Free Documentation License
. It uses material from the
Wikipedia article "Gödel number"
.
