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.

Leave a Comment

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

Scroll to Top