<p>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...</p>

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...

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

Introduction to Proof Theory (Start of Season 3)

Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.

Share Introduction to Proof Theory (Start of Season 3)

Sign up to save your podcasts

Introduction to Proof Theory (Start of Season 3)

Introduction to Proof Theory (Start of Season 3)