#10 Classical Logic vs Intuitionistic Logic
July 15th 2021
Thorsten Altenkirch and Anupam Das
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!
- Thorsten’s website
- Anupam’s website
- Thorsten’s Book on Python
- The Proof Theory Blog
- High School Algebra
- Stanford Encyclopedia of Philosophy
Tweet comments powered by Disqus