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!
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!