Gödel Without (Too Many) Tears. Episode 3

Here are the notes for today’s lecture.

To repeat, there’s a dedicated GWT comments page here — still unused, despite many hundred downloads of previous episodes!

Post navigation

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

Type here. To use LaTeX, start your comment with the shortcode [latexpage].

Name*

Email*

Website

Save my name, email, and website in this browser for the next time I comment.

Mastodon

May 21. Updated corrections page for Beginning Math Logic.

Apr 20. I have let the domain name latexforlogicians.net expire, as it was very little used.

Scroll to Top