Последние добавленные видео:
Kevin-Buzzard
-
4 месяца назад
61570 4 месяца назад 48:49Kevin Buzzard - Where is Mathematics Going? (September 24, 2025)
-
3 недели назад
814 3 недели назад 52:09Kevin Buzzard – Lean & Formal Mathematics | #03 aboutlogic
-
Трансляция закончилась 3 года назад
16965 Трансляция закончилась 3 года назад 1:08:16Kevin Buzzard: The rise of formalism in mathematics
-
1 год назад
7894 1 год назад 1:18:46Can A.I. do mathematics? - Kevin Buzzard
-
![Kevin Buzzard - Ken Ribet and Fermat's Last Theorem [2008]](https://imager.clipsaver.ru/5Zxn-9h58Xg/max.jpg)
7 лет назад
5315 7 лет назад 1:01:01Kevin Buzzard - Ken Ribet and Fermat's Last Theorem [2008]
-
3 года назад
719 3 года назад 28:12The Future of Math | Kevin Buzzard | Wondros Podcast Ep 162
-
3 месяца назад
153 3 месяца назад 37:03Living Proof: Kevin Buzzard and proof assistants
-
![Kevin Buzzard (lecture 4/20) Automorphic Forms And The Langlands Program [2017]](https://imager.clipsaver.ru/yCBajdS1gG8/max.jpg)
8 лет назад
2879 8 лет назад 1:04:54Kevin Buzzard (lecture 4/20) Automorphic Forms And The Langlands Program [2017]
-
![Kevin Buzzard (lecture 10/20) Automorphic Forms And The Langlands Program [2017]](https://imager.clipsaver.ru/h7dGGlVqSTI/max.jpg)
8 лет назад
1179 8 лет назад 1:04:36Kevin Buzzard (lecture 10/20) Automorphic Forms And The Langlands Program [2017]
-
4 года назад
661 4 года назад 1:25:42Proving theorems with computers - Kevin Buzzard
-
![Kevin Buzzard (lecture 20/20) Automorphic Forms And The Langlands Program [2017]](https://imager.clipsaver.ru/38mlfpYIoAE/max.jpg)
8 лет назад
1239 8 лет назад 1:12:14Kevin Buzzard (lecture 20/20) Automorphic Forms And The Langlands Program [2017]
-
7 месяцев назад
2462 7 месяцев назад 1:04:25Prof. Kevin Buzzard | Formalizing Fermat: how it's going
-
4 месяца назад
521 4 месяца назад 58:51Professor Kevin Buzzard: What is Formalization and Why Does it Matter?
-
2 года назад
1699 2 года назад 1:05:51Prof. Kevin Buzzard | An introduction to the Langlands Program
-
![Kevin Buzzard (lecture 8/20) Automorphic Forms And The Langlands Program [2017]](https://imager.clipsaver.ru/MK3wx8rJE9s/max.jpg)
8 лет назад
1421 8 лет назад 1:11:01Kevin Buzzard (lecture 8/20) Automorphic Forms And The Langlands Program [2017]
-
![Kevin Buzzard (lecture 5/20) Automorphic Forms And The Langlands Program [2017]](https://imager.clipsaver.ru/ba2qJwZQiPg/max.jpg)
8 лет назад
2560 8 лет назад 1:17:10Kevin Buzzard (lecture 5/20) Automorphic Forms And The Langlands Program [2017]
-
![Kevin Buzzard (lecture 1/20) Automorphic Forms And The Langlands Program [2017]](https://imager.clipsaver.ru/Rv59aRUMfio/max.jpg)
8 лет назад
33449 8 лет назад 1:29:59Kevin Buzzard (lecture 1/20) Automorphic Forms And The Langlands Program [2017]
-
8 месяцев назад
859 8 месяцев назад 59:23Kevin Buzzard: Formalizing Fermat: an update (1 May 2025)
-
![Kevin Buzzard (lecture 9/20) Automorphic Forms And The Langlands Program [2017]](https://imager.clipsaver.ru/Pm4DThoO5kY/max.jpg)
8 лет назад
1405 8 лет назад 1:26:39Kevin Buzzard (lecture 9/20) Automorphic Forms And The Langlands Program [2017]