aboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics Podcast Por  arte de portada

aboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics

aboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics

Escúchala gratis

Ver detalles del espectáculo
This weeks interview with Kevin Buzzard touches on topics like: Theorem Proving Software, LEAN, Fermat's Last Theorem and Foundations of Mathematics.
Todavía no hay opiniones