The Future of Mathematics?

Why it was recommended

For a perspective of a mathematician that came to evangelize theorem provers, I recommend Kevin Buzzard's MS 2019-09 presentation [0] about LEAN.

RecommendationNzen · Original2019-10

What it covers

Mathematician Kevin Buzzard explains why he believes the Lean theorem prover will shape the future of mathematics, and describes digitizing his university curriculum in Lean. It is for a general viewer who does not plan to take a prerequisite first.

Video details

Channel

Microsoft Research

Length

1 hr 14 min

Year

2019

More in this topic

• Brian Beckman: Don't fear the Monad
• 28c3: The Science of Insecurity
• "Propositions as Types" by Philip Wadler
• Math's Fundamental Flaw
• The Banach–Tarski Paradox
• Leslie Lamport: Thinking Above the Code