| 
|
Quote: a Godel numbering defines a number isomorphism for any formal system; typographic rules are arithmetic
topics >
all references >
references g-h >
Topic:
unique numeric names as surrogates
Topic:
Godel's incompleteness theorem
Quotation Skeleton
[Godel numbering allows number isomorphism to any formal system since] Typographical rules for manipulating numerals are actually … [e.g., times 10 == add a 'zero' to the end] Google-1 Google-2
Copyright clearance needed for quotation.
Topic: unique numeric names as surrogates (67 items)
Topic: Godel's incompleteness theorem (19 items)