Sign up to save your podcasts
Or
Share aboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
aboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics
Theorem Proving Software, LEAN, Fermat's Last Theorem and Foundations of Mathematics.
Further Reading & Resources:
The Natural Number Game: https://adam.math.hhu.de/#/g/leanprover-community/nng4
The Xena Project: https://xenaproject.wordpress.com/
Kevin Buzzard: https://profiles.imperial.ac.uk/k.buzzard
Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/
Deniz Sarikaya: https://www.denizsarikaya.de/
Production:
Jan-Niklas Meyer: http://www.jammos.com/
Many thanks to the Akademie der Wissenschaften in Hamburg for supporting the first season of the podcast.
View all episodes
By Deniz Sarikaya, Thorsten AltenkirchTheorem Proving Software, LEAN, Fermat's Last Theorem and Foundations of Mathematics.
Further Reading & Resources:
The Natural Number Game: https://adam.math.hhu.de/#/g/leanprover-community/nng4
The Xena Project: https://xenaproject.wordpress.com/
Kevin Buzzard: https://profiles.imperial.ac.uk/k.buzzard
Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/
Deniz Sarikaya: https://www.denizsarikaya.de/
Production:
Jan-Niklas Meyer: http://www.jammos.com/
Many thanks to the Akademie der Wissenschaften in Hamburg for supporting the first season of the podcast.