FOM: Proof of Tennenbaum's Theorem

[A.P. Hazen]

  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).