#9 Logic and Proof Theory - Anupam Das

Type Theory Forall

• Episode: #9 Logic and Proof Theory - Anupam Das
• Website: Type Theory Forall
• Feed URL: https://www.typetheoryforall.com/episodes.mp3.rss
• Duration: 00:57:20
• Published: 2021-05-28 11:30

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