#10 Classical Logic vs Intuitionistic Logic - Thorsten Altenkirch and Anupam Das

Type Theory Forall

• Episode: #10 Classical Logic vs Intuitionistic Logic - Thorsten Altenkirch and Anupam Das
• Website: Type Theory Forall
• Feed URL: https://www.typetheoryforall.com/episodes.mp3.rss
• Duration: 01:16:30
• Published: 2021-07-15 15:50

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