Kevin Buzzard – Lean & Formal Mathematics | #03 aboutlogic
Автор: aboutlogic
Загружено: 2026-01-14
Просмотров: 306
Описание:
aboutlogic features bi-weekly conversations on all topics around logic: From foundations of computer science, set theory, critical thinking, riddles to the questions how it is to be an academic researcher.
This weeks conversation with Kevin Buzzard touches on topics like: 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/leanprov...
The Xena Project: https://xenaproject.wordpress.com/
Kevin Buzzard: https://profiles.imperial.ac.uk/k.buz...
Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/
Deniz Sarikaya: https://www.denizsarikaya.de/
Jan-Niklas Meyer: http://www.jammos.com/
Listen to aboutlogic on the go: https://aboutlogic.podigee.io/
Many thanks to the Akademie der Wissenschaften in Hamburg for supporting the first season of the podcast.
Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
