![Type Theory Forall artwork](https://is5-ssl.mzstatic.com/image/thumb/Podcasts124/v4/ed/de/43/edde43db-febe-b892-3a30-358ebe2e2c07/mza_16532267942080647912.png/100x100bb.jpg)
#10 Classical Logic vs Intuitionistic Logic - Thorsten Altenkirch and Anupam Das
Type Theory Forall
English - July 15, 2021 14:50 - 1 hour - 66.2 MB - ★★★★★ - 6 ratingsTechnology Science type theory programming languages academia Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Previous Episode: #9 Logic and Proof Theory - Anupam Das
Next Episode: #11 FP, Monads, GHC, and beyond - Alejandro Serrano
In this episode we host a discussion between Anupam Das and Thorsten
Altenkirch on the role of constructivism in mathematics, logic and computer
science.
Anupam is a lecturer in the University of Birmingham in the UK, and Thorsten
Altenkirch is a CS Professor at the University of Nottingham.
We discuss why constructive content in proofs matters, the law of excluded
middle, the axiom of choice, category theory, and much more!
Links
Thorsten's website
Anupam's website
Thorsten's Book on Python
The Proof Theory Blog
High School Algebra
Stanford Encyclopedia of Philosophy