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

In this episode Cody Roux teaches some interesting concepts that people care about in Mathematics and Logic as a way to try to understand what is going on in the universe around us! In particular we will try to explain concepts such as Impredicativity, Excluded Middle, Group Theory, Model Theory, Kripke Models, Realizability, The Markov Principle, Cut Elimination, and other stuff!

# Links

Download .mp3 (121.2M)Tweet