#
#30 Actors, GADTs and Burnout
May 30th 2023

Dan and Pedro

#
#29 Can PL theory make you a better software engineer?
April 9th 2023

Jimmy Koppel

#
#28 Formally Verifying Smart Contracts
February 15th 2023

Pruvendo

#
#27 Formalizing an OS: The seL4
February 4th 2023

Gerwin Klein

#
#26 Mechanizing Modern Mathematics
January 16th 2023

Kevin Buzzard

#
#25 Formally Verifying the Tezos Codebase
November 21st 2022

Formal Land

#
#24 The History of Isabelle
October 6th 2022

Lawrence Paulson

#
#23 What is the SIGPLAN?
September 23th 2022

Jens Palsberg and Jonathan Aldrich

#
#22 Impredicativity, LEM, Realizability and more
August 12th 2022

Cody Roux

#
#21 Denotational Design
August 4th 2022

Conal Elliott

#
#20 Huaweii, String Diagrams, Game Semantics
June 27th 2022

Dan R. Ghica

#
#19 Experience Report: Learning Coq
June 4th 2022

Patrick and Supun

#
#18 Gödel's Incompleteness Theorems
May 19th 2022

Cody Roux

#
#17 The Lost Elegance of Computation
May 9th 2022

Conal Elliott

#
#16 Agda, K Axiom, HoTT, Rewrite Theory
April 2nd 2022

Jesper Cockx

#
#15 Coq Projects, Agda, Idris, Kind
March 27th 2022

Nitin and Eric

#
#14 POPL, Parametricity, Scala, DOT
February 12th 2022

Nitin and Eric

#
#13 C/C++, Emacs, Haskell, and Coq. The Journey
December 23rd 2021

John Wiegley

#
#12 Tenure, Sexism and ADHD
November 10th 2021

Talia Ringer

#
#11 FP, Monads, GHC, and beyond
October 4th 2021

Alejandro Serrano

#
#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!

# Links

- Thorsten’s website
- Anupam’s website
- Thorsten’s Book on Python
- The Proof Theory Blog
- High School Algebra
- Stanford Encyclopedia of Philosophy

Tweet