aboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics Titelbild

aboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics

aboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics

Jetzt kostenlos hören, ohne Abo

Details anzeigen

Nur 0,99 € pro Monat für die ersten 3 Monate

Danach 9.95 € pro Monat. Bedingungen gelten.

Über diesen Titel

This weeks interview with Kevin Buzzard touches on topics like: Theorem Proving Software, LEAN, Fermat's Last Theorem and Foundations of Mathematics.
Noch keine Rezensionen vorhanden