#9 Logic and Proof Theory - Anupam Das

Type Theory Forall - En podkast av Pedro Abreu

Prøv Podimo gratis i hele 30 dager!

I Podimo finner du eksklusive podkaster og bestselgende lydbøker tilpasset dine ører

Reklame

Kategorier:

Teknologi

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

Visit the podcast's native language site