Abdulle Lecture - Interactive theorem provers : can they help mathematicians ? - Prof. Kevin Buzzard

Published 2023-11-30

Download video MP4 360p

Recommendations

56:42

Kevin Buzzard, On the ingredients for Fermat
42:29

Computer Guided Mathematics Symposium - Q&A with Sir Timothy Gowers, Kevin Buzzard and Alex Davies
1:08:16

Kevin Buzzard: The rise of formalism in mathematics
57:24

Terence Tao at IMO 2024: AI and Mathematics
31:12

A conversation with Pierre Deligne
18:02

Automated Mathematical Proofs - Computerphile
24:07

AI can't cross this line and we don't know why.
1:40:03

Math Talk! Dr Kevin Buzzard, Langlands, diversity, and proof assistants.
1:09:21

Inauguration: Prof. Hugo Duminil-Copin, UNIGE
10:41

Q&A - What Computers Can't Do - with Kevin Buzzard
2:23:41

Why Does Mathematics Describe Reality? | Carl Bender | Escaped Sapiens #67
1:14:48

The Future of Mathematics?
17:24

The unexpected probability result confusing everyone
1:03:27

The Langlands Program - Numberphile
22:56

Visualizing 4D Pt.1
25:55

One second to compute the largest Fibonacci number I can
58:16

Limits of Logic: The Gödel Legacy
33:01

Lean Together 2024: David Thrane Christiansen, Verso: Documentation as a DSL
41:24

2023 EPFL Physics Day - Quantum Optomechanics