World Library  
Flag as Inappropriate
Email this Article

Typographical Number Theory

Article Id: WHEBN0003724075
Reproduction Date:

Title: Typographical Number Theory  
Author: World Heritage Encyclopedia
Language: English
Subject: Gödel, Escher, Bach, TNT (disambiguation), List of logic symbols, WikiProject Mathematics/List of mathematics articles (T)
Publisher: World Heritage Encyclopedia

Typographical Number Theory

Typographical Number Theory (TNT) is a formal axiomatic system describing the natural numbers that appears in Douglas Hofstadter's book Gödel, Escher, Bach. It is an implementation of Peano arithmetic that Hofstadter uses to help explain Gödel's incompleteness theorems.

Like any system implementing the Peano axioms, TNT is capable of referring to itself (it is self-referential).


  • Numerals 1
  • Variables 2
  • Operators 3
    • Addition and multiplication of numerals 3.1
    • Equivalency 3.2
    • Negation 3.3
  • Quantifiers 4
  • Atoms and propositional statements 5
  • References 6


TNT does not use a distinct symbol for each natural number. Instead it makes use of a simple, uniform way of giving a compound symbol to each natural number:

zero 0
one S0
two SS0
three SSS0
four SSSS0
five SSSSS0

The symbol S can be interpreted as "the successor of", or "the number after". Since this is, however, a number theory, such interpretations are useful, but not strict. It cannot be said that because four is the successor of three that four is SSSS0, but rather that since three is the successor of two, which is the successor of one, which is the successor of zero, which has been described as 0, four can be "proved" to be SSSS0. TNT is designed such that everything must be proven before it can be said to be true. This is its true power, and to undermine it would be to undermine its very usefulness.


In order to refer to unspecified terms, TNT makes use of five variables. These are

a, b, c, d, e.

More variables can be constructed by adding the prime symbol after them; for example,

a', b', c', a'', a'''

are all variables.

In the more rigid version of TNT, known as "austere" TNT, only

a', a'', a''' etc.

are used.


Addition and multiplication of numerals

In Typographical Number Theory, the usual symbols of "+" for additions, and "·" for multiplications are used. Thus to write "b plus c" is to write

(b + c)

and "a times d" is written as


The parentheses are required. Any laxness would violate TNT's formation system (although it is trivially proved this formalism is unnecessary for operations which are both commutative and associative). Also only two terms can be operated on at once. Therefore to write "a plus b plus c" is to write either

((a + b) + c)


(a + (b + c))


The "Equals" operator is used to denote equivalence. It is defined by the symbol "=", and takes roughly the same meaning as it usually does in mathematics. For instance,


is a true statement in TNT, with the interpretation "3 plus 3 equals 6".


In Typographical Number Theory, negation, i.e. the turning of a statement to its opposite, is denoted by the "~" or negation operator. For instance,


is a true statement in TNT, interpreted as "3 plus 3 is not equal to 7".

By negation, this means negation in Boolean logic (logical negation), rather than simply being the opposite. For example, if I were to say "I am eating a grapefruit", the opposite is "I am not eating a grapefruit", rather than "I am eating something other than a grapefruit". Similarly "The Television is on" is negated to "The Television is not on", rather than "The Television is off". This is a subtle difference, but an important one.


There are two quantifiers used: and .

Note that unlike most other logical systems where qualifiers over sets require a mention of the element's existence in the set, this is not required in TNT because all numbers and terms are strictly natural numbers or logical boolean statements. It is therefore equivalent to say ∀a:(a ∈ N):∀b:(b ∈ N): (a + b) = (b + a)  and ∀a:∀b:(a + b) = (b + a)

  • ∃ means "There exists"
  • ∀ means "For every" or "For all"
  • The symbol : is used to separate a quantifier from other quantifiers or from the rest of the formula. It is commonly read "such that"

For example:

∀a:∀b:(a + b) = (b + a)

("For every number a and every number b, a plus b equals b plus a", or more figuratively, "Addition is commutative.")

~∃c:Sc = 0

("There does not exist a number c such that c plus one equals zero", or more figuratively, "Zero is not the successor of any (natural) number.")

Atoms and propositional statements

All the symbols of propositional calculus apart from the Atom symbols are used in Typographical Number Theory, and they retain their interpretations.

Atoms are here defined as strings which amount to statements of equality, such as

1 is not equal to 2:

~ S0=SS0

2 plus 3 equals five:

(SS0 + SSS0) = SSSSS0

2 plus 2 is not equal to 3:

~(SS0 + SS0) = SSS0


  • Hofstadter, Douglas R. (1999) [1979], Gödel, Escher, Bach: An Eternal Golden Braid, Basic Books, .  
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.

Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.