Gödel Without Tears, slowly, 8

I’ll be briefer than usual, though today’s attached episode is longer than usual. After a short Interlude (where we’ve been, where we are going), there’s a quite substantial chapter ‘Primitive Recursive Functions’.  And there’s a nice diagonal argument to enjoy!

The post Gödel Without Tears, slowly, 8 appeared first on Logic Matters.