This is the start of Season 3 of the podcast.  We are beginning with a new chapter (Chapter 14) on Proof Theory.   This episode gives some basic introduction to the history and broad concerns of proof theory.  There is even music, composed and played by yours truly, chez nous...

Podden och tillhörande omslagsbild på den här sidan tillhör Aaron Stump. Innehållet i podden är skapat av Aaron Stump och inte av, eller tillsammans med, Poddtoppen.