What Do We Mean By Equality? - Prof Kevin Buzzard - The Archimedeans

What Do We Mean By Equality? - Prof Kevin Buzzard - The Archimedeans

How do you convince mathematicians a theory prover is worth their time? with Kevin BuzzardSee more

How do you convince mathematicians a theory prover is worth their time? with Kevin Buzzard

Interview with Kevin BuzzardSee more

Interview with Kevin Buzzard

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

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

Will machines eat mathematics ? | Kevin Buzzard | TEDxImperialCollegeSee more

Will machines eat mathematics ? | Kevin Buzzard | TEDxImperialCollege

Proof: Archimedean Principle of Real Numbers | Real AnalysisSee more

Proof: Archimedean Principle of Real Numbers | Real Analysis

Kevin Buzzard: The rise of formalism in mathematicsSee more

Kevin Buzzard: The rise of formalism in mathematics

An Intuitive Introduction to Machine Learning - Neel Nanda - The ArchimedeansSee more

An Intuitive Introduction to Machine Learning - Neel Nanda - The Archimedeans

Kevin Buzzard, On the ingredients for FermatSee more

Kevin Buzzard, On the ingredients for Fermat

The Future of Math | Kevin Buzzard | Wondros Podcast Ep 162See more

The Future of Math | Kevin Buzzard | Wondros Podcast Ep 162

What Computers Can't Do - with Kevin BuzzardSee more

What Computers Can't Do - with Kevin Buzzard

Kevin Buzzard, Imperial College London: "Is HoTT the way to do mathematics?"See more

Kevin Buzzard, Imperial College London: 'Is HoTT the way to do mathematics?'

From Cusp to Ramification: Friendly Introduction to Riemann Surfaces - David Bai - The ArchimedeansSee more

From Cusp to Ramification: Friendly Introduction to Riemann Surfaces - David Bai - The Archimedeans

News