Chapter 8

Overview
Typographical Number Theory

''An extension of the Propositional Calculus called "TNT" is presented. In TNT, number-theoretical reasoning can be done by rigid symbol manipulation. Differences between formal reasoning and human thought are considered.''

Questions

 * 1) Why does DRH prefer the two translations as given on p. 210 of the sentence "1729 is a sum of two cubes."?.
 * 2) On p.212 there are 6 well-formed 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.)
 * 3) On p.215 there are some translation exercises, translate the first four into TNT-sentences and the last into an open well-formed 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!"
 * 4)  Translate the five Peano postulates on p.216 by replacing the words Genie, djinn and meta into the more common form.
 * 5) Use the axioms and the rules up to and including p. 218 to produce the theorem
 * 6) What's wrong with the derivation on p.220? What is a valid derivation?
 * 7) Translate Peano's fourth postulate into TNT-notation, and then derive that string as a theo
 * 1) On p.215 there are some translation exercises, translate the first four into TNT-sentences and the last into an open well-formed 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!"
 * 2)  Translate the five Peano postulates on p.216 by replacing the words Genie, djinn and meta into the more common form.
 * 3) Use the axioms and the rules up to and including p. 218 to produce the theorem
 * 4) What's wrong with the derivation on p.220? What is a valid derivation?
 * 5) Translate Peano's fourth postulate into TNT-notation, and then derive that string as a theo
 * 1)  Translate the five Peano postulates on p.216 by replacing the words Genie, djinn and meta into the more common form.
 * 2) Use the axioms and the rules up to and including p. 218 to produce the theorem
 * 3) What's wrong with the derivation on p.220? What is a valid derivation?
 * 4) Translate Peano's fourth postulate into TNT-notation, and then derive that string as a theo
 * 1) Use the axioms and the rules up to and including p. 218 to produce the theorem
 * 2) What's wrong with the derivation on p.220? What is a valid derivation?
 * 3) Translate Peano's fourth postulate into TNT-notation, and then derive that string as a theo