| 
|
Quote: informal description of Godel's string
topics >
all references >
references g-h >
Topic:
Godel's incompleteness theorem
Quotation Skeleton
There do not exist numbers a and a' … where u is the godel number of the … [p. 440] Proof-pair is a primitive recursive function of two free variables … [p. 445] Arithmoquin is substituting a function's Godel number into itself … [p. 447] Godel's string: a' is its Godel number … [the arithmoquinification of u, by definition of arithmoquinification] … not have a proof. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: Godel's incompleteness theorem (19 items)