aboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics cover art

aboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics

aboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics

Listen for free

View show details

About this listen

This weeks interview with Kevin Buzzard touches on topics like: Theorem Proving Software, LEAN, Fermat's Last Theorem and Foundations of Mathematics.
No reviews yet
In the spirit of reconciliation, Audible acknowledges the Traditional Custodians of country throughout Australia and their connections to land, sea and community. We pay our respect to their elders past and present and extend that respect to all Aboriginal and Torres Strait Islander peoples today.