📌 The Hardest Problem in Type Theory - Computerphile - скачать с ютуб видео и смотреть без блокировок в хорошем качестве

Скачать бесплатно и смотреть ютуб-видео без блокировок The Hardest Problem in Type Theory - Computerphile в качестве 4к (2к / 1080p)

У нас вы можете посмотреть бесплатно The Hardest Problem in Type Theory - Computerphile или скачать в максимальном доступном качестве, которое было загружено на ютуб. Для скачивания выберите вариант из формы ниже:

Загрузить музыку / рингтон The Hardest Problem in Type Theory - Computerphile в формате MP3:

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

The Hardest Problem in Type Theory - Computerphile

Equality sounds a straightforward idea, but there are subtle problems in theoretical computer science. Professor Thorsten Altenkirch explains how his late friend Martin Hofmann solved one of the biggest problems. More of Thorsten on Type Theory: https://bit.ly/C_Thor_playlist Thorsten's paper dedicated to Martin: https://bit.ly/C_Thor_Paper / computerphile / computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister project to Brady Haran's Numberphile. More at http://www.bradyharan.com

Comments