Скачать или смотреть Жак Каретт: «Чему я научился, формализовав теорию категорий в АГДА»

Жак Каретт: «Чему я научился, формализовав теорию категорий в АГДА»

Скачать Жак Каретт: «Чему я научился, формализовав теорию категорий в АГДА» бесплатно в качестве 4к (2к / 1080p)

У нас вы можете скачать бесплатно Жак Каретт: «Чему я научился, формализовав теорию категорий в АГДА» или посмотреть видео с ютуба в максимальном доступном качестве.

Для скачивания выберите вариант из формы ниже:

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

Cкачать музыку Жак Каретт: «Чему я научился, формализовав теорию категорий в АГДА» бесплатно в формате MP3:

Если иконки загрузки не отобразились, ПОЖАЛУЙСТА, НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если у вас возникли трудности с загрузкой, пожалуйста, свяжитесь с нами по контактам, указанным в нижней части страницы.
Спасибо за использование сервиса video2dn.com

Описание к видео Жак Каретт: «Чему я научился, формализовав теорию категорий в АГДА»

Коллоквиум Института Топоса, 22 сентября 2022 г.
———
Интересным побочным эффектом формализации математики в программе доказательства теорем является то, что такие усилия часто приводят к изучению новых деталей (*) по известной теме. Я расскажу об этих «маленьких жемчужинах», которые становятся гораздо более очевидными благодаря формализации. Хотя основное внимание будет уделено вопросам, изученным в ходе формализации теории категорий, будут также затронуты некоторые крупицы знаний из других областей (универсальной алгебры и теории языков программирования).

(*) Эти детали часто известны избранным экспертам, но редко публикуются в печати.

Комментарии

Информация по комментариям в разработке