I have posted here a significantly revised version of a handout written a couple of years ago on how to prove Tennenbaum’s Theorem. This new version should I hope be quite a lot clearer in various ways. Enjoy!
Welcome back. Just a moment while we sign you in to your Goodreads account.