Overview Edit
Typographical Number Theory
An extension of the Propositional Calculus called "TNT" is presented. In TNT, numbertheoretical reasoning can be done by rigid symbol manipulation. Differences between formal reasoning and human thought are considered.
While you read Edit
Questions Edit
 Why does DRH prefer the two translations as given on p. 210 of the sentence "1729 is a sum of two cubes."?.
 On p.212 there are 6 wellformed formulas of TNT. For each of them state what they mean and whether they are true or false. (Hint: Either four of them are true and two false, or four false and two true.)

~∀c:∃b:(SS0·b)=c

∀c:~∃b:(SS0·b)=c

∀c:∃b:~(SS0·b)=c

~∃b:∀c:(SS0·b)=c

∃b:~∀c:(SS0·b)=c

∃b:∀c:~(SS0·b)=c

 On p.215 there are some translation exercises, translate the first four into TNTsentences and the last into an open wellformed formula. The sixth is tricky and DRH warns to try this "... only if you are willing to spend hours and hours on it  and if you know quite a bit of number theory!"

All natural numbers are equal to 4.

There is no natural number which equals its own square.

Different natural numbers have different successors.

If 1 equals 0, then every number is odd.

b is a power of 2.

b is a power of 10.


 Use the axioms and the rules up to and including p. 218 to produce the theorem
~∀b:∃a:Sa=b
 What's wrong with the derivation on p.220? What is a valid derivation?
 Translate Peano's fourth postulate into TNTnotation, and then derive that string as a theo
Edit
(This section is for adding your thoughts about the chapter. Sign what you write with your user name. Others may edit this section for length later. More freeform, unedited discussion can take place in the comment section below.)