FOM: Proof of Tennenbaum's Theorem

A.P. Hazen a.hazen at
Wed Mar 14 21:41:03 EST 2001

  Another source for a proof of Tennenbaum's theorem about non-standard
models of arithmetic is in Chapter 29 of the **THIRD EDITION** of Boolos
and Jeffrey's "Computability and Logic" (WARNING-- this chapter first
appears in this edition,  pub. 1989). Very accessible proof (though it is
probably unrealistic to expect most undergraduates to make it to the end of
the book in two semesters of logic).

More information about the FOM mailing list