Tennenbaum without tears

Another week, another logic handout. This time on Tennenbaum’s Theorem. Here’s a reasonably stand-alone proof (based on one in Kaye’s book) with some very quick concluding remarks on the question of the theorem’s conceptual significance. As always, comments are most welcome.

This entry was posted in Logic. Bookmark the permalink.

Leave a Reply

Your email address will not be published. Required fields are marked *