Gödel Without Tears — 6

The latest episode showing how a theory like Q can express/capture primitive recursive functions and relations is now online. [As always, I’ll be very glad to hear about typos/thinkos.]

Earlier instalments can be found here.

3 thoughts on “Gödel Without Tears — 6”

  1. I didn’t spot any definite problems in this, but I didn’t look at all the formulas in detail.

    However, I did wonder about the wff for the identity function in section 20.1 on page 2. Right after “is expressed by the wff” is a space and then what looks like a vertical bar. Of course, it might be an “I” in some font.

Leave a Comment

Your email address will not be published.

Scroll to Top