#26 Mechanizing Modern Mathematics - Kevin Buzzard

Update: 2023-01-16

Description

Kevin Buzzard has been very passionate spreading the word among
mathematicians to use theorem provers mechanize theorems of modern
mathematics. In this conversation we will talk about his vision in teaching
undergrads to use the Lean theorem prover, what is the Xena Project, his view
of how theorem provers can change the way we do mathematics, and much more!

Links

Xena's Project Twitter

Xena Project's Website

Lean's Website

Comments

Top Podcasts

The Best New Comedy Podcast Right Now – June 2024 The Best News Podcast Right Now – June 2024 The Best New Business Podcast Right Now – June 2024 The Best New Sports Podcast Right Now – June 2024 The Best New True Crime Podcast Right Now – June 2024 The Best New Joe Rogan Experience Podcast Right Now – June 20 The Best New Dan Bongino Show Podcast Right Now – June 20 The Best New Mark Levin Podcast – June 2024

In Channel

#44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro

2024-11-0602:13:31

#43 PL in the Industry and Summer Schools - Patrick and Eric

2024-09-1301:01:30

#42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi

2024-08-2901:52:49

#41 The Value of PL (and) Education - Satnam Singh

2024-08-1501:41:04

#40 Secure Voting - Joe Kiniry

2024-07-1501:08:54

#39 Equality, Quotation, Bidirectional Type Checking - David Christiansen

2024-06-1301:49:42

#38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen

2024-05-1601:55:58

#37 Compilers, Staging, Futamura Projections - Guannan Wei

2024-03-1101:53:20

#36 Behind the Person Behind this Podcast - Pedro Abreu

2023-12-2601:49:55

#35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael

2023-12-0401:21:29

#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke

2023-10-1601:28:27

#33 Z3 and Lean, the Spiritual Journey - Leo de Moura

2023-09-0902:05:07

#32 TyDe Systems - Jan de Muijnck-Hughes

2023-07-2201:41:23

#31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes

2023-07-1302:09:59

#30 Actors, GADTs and Burnout - Dan and Pedro

2023-05-3001:44:52

#29 Can PL theory make you a better software engineer? - Jimmy Koppel

2023-04-0901:24:19

#28 Formally Verifying Smart Contracts - Pruvendo

2023-02-1501:10:40

#27 Formalizing an OS: The seL4 - Gerwin Klein

2023-02-0401:58:40

#26 Mechanizing Modern Mathematics - Kevin Buzzard

2023-01-1602:15:31

#25 Formally Verifying the Tezos Codebase - Formal Land

2022-11-2101:01:32

00:00

#26 Mechanizing Modern Mathematics - Kevin Buzzard

#box-pro-ellipsis-173175803365849{-webkit-line-clamp:2;}#26 Mechanizing Modern Mathematics - Kevin Buzzard

Links

#26 Mechanizing Modern Mathematics - Kevin Buzzard

Pedro Abreu

#26 Mechanizing Modern Mathematics - Kevin Buzzard