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.

This entry was posted in Gödel's theorems. Bookmark the permalink.

3 Responses to Gödel Without Tears — 6

  1. mrs says:

    the link is broken. :(

  2. a.c. says:

    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 Reply

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