#9 Logic and Proof Theory - Anupam Das
Type Theory Forall - A podcast by Pedro Abreu
Categories:
In this episode I interview Anupam Das we have a nice conversation on the historical perspective of how Logic and Proof Theory as we know today came about in the 30’s. The differences between Natural Deduction and Sequent Calculus, Cut Elimination and much more. Links Anupam Das The Proof Theory Blog Stanford Encyclopedia of Philosophy Anupam’s Talk on Cyclic Arithmetic
