Go offline with the Player FM app!
#10 Classical Logic vs Intuitionistic Logic - Thorsten Altenkirch and Anupam Das
Manage episode 420953636 series 2951423
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
79 episodes
Manage episode 420953636 series 2951423
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
79 episodes
All episodes
×Welcome to Player FM!
Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.