Computerphile | Automated Mathematical Proofs - Computerphile @Computerphile | Uploaded 2 years ago | Updated 5 hours ago
Could a computer program find Fermat's Lost Theorem? Professor Altenkirch shows us how to get started with lean.
EXTRA BITS (A deeper dive into automated proofs) : youtu.be/PaKHRfSkhnA
facebook.com/computerphile
twitter.com/computer_phile
This video was filmed and edited by Sean Riley.
Computer Science at the University of Nottingham: bit.ly/nottscomputer
Computerphile is a sister project to Brady Haran's Numberphile. More at http://www.bradyharan.com
Could a computer program find Fermat's Lost Theorem? Professor Altenkirch shows us how to get started with lean.
EXTRA BITS (A deeper dive into automated proofs) : youtu.be/PaKHRfSkhnA
facebook.com/computerphile
twitter.com/computer_phile
This video was filmed and edited by Sean Riley.
Computer Science at the University of Nottingham: bit.ly/nottscomputer
Computerphile is a sister project to Brady Haran's Numberphile. More at http://www.bradyharan.com