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.


Download .mp3 (51.4M)
comments powered by Disqus