Скачать с ютуб видео How do you convince mathematicians a theory prover is worth their time? with Kevin Buzzard

Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...

Скачать видео с ютуб по ссылке или смотреть без блокировок на сайте: How do you convince mathematicians a theory prover is worth their time? with Kevin Buzzard в качестве 4k

У нас вы можете посмотреть бесплатно How do you convince mathematicians a theory prover is worth their time? with Kevin Buzzard или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:

Информация по загрузке:

Скачать mp3 с ютуба отдельным файлом. Бесплатный рингтон How do you convince mathematicians a theory prover is worth their time? with Kevin Buzzard в формате MP3:

Если кнопки скачивания не загрузились НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу страницы.
Спасибо за использование сервиса ClipSaver.ru

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

Professor Kevin Buzzard is an algebraic number theorist at Imperial College London, who is currently trying to formalise research level mathematics using a theorem prover. In this talk, delivered to the IOG team in early January 2021, he surveys what has been happening over the last few years in the world of formalisation of mathematics, and in particular how the Lean theorem prover has changed the landscape.

Comments