BROADCASTS.com

b'

We continue our gradual entry into proof theory by talking about reflecting meta-logical reasoning into logical rules, and naming the three basic proof systems (Hilbert-style, natural deduction, and sequent calculus).

Advertising for the October 3-session Zoom mini-course on normalization continues.\\xa0 Email me if you are interested!\\xa0 This is just for ITTC listeners.

Finally, if you like the podcast and want to support it, would you consider a small ($5 or $10 is great) donation?\\xa0 This is not so much to cover the $12/month hosting fee at Buzzsprout but to get some kudos here at my institution, so people here know that I have a podcast [grin] and that listeners like it.\\xa0 To donate, go here, then choose "Colleges", then "College of Liberal Arts and Sciences", and then tick "Computer Science Development Fund".\\xa0 For "gift details", please leave "gift instructions" that say the gift is for Aaron Stump for the Iowa Type Theory Commute podcast.\\xa0 Then the money will get to the right place for me to use it for this.\\xa0 Thanks a lot in advance!