#9 Logic and Proof Theory
May 28th 2021
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.
- Anupam Das
- The Proof Theory Blog
- Stanford Encyclopedia of Philosophy
- Anupam’s Talk on Cyclic Arithmetic
Tweet comments powered by Disqus