Семинар №7

Докладчик: И. В. Смирнов.

Тема доклада:  Гомотопическая теория типов.

Дата: 11.09.2023

Время: 15:00

Место: ул. Союзная 144, 7 корпус ЯрГУ им. П.Г. Демидова, аудитория 322.

Аннотация: Теория типов - альтернативный подход к аксиоматизации математики, тесно связанный с программированием. Часто именно на нём основываются системы интерактивного доказательства теорем и формальной верификации. Гомотопическая теория типов связывает между собой теорию типов и топологию (а точнее, теорию гомотопий) и позволяет по-другому рассуждать о топологических пространствах. В курсе будет рассказано об этой связи и будет показано, как использовать её для проведения доказательств.

Ссылка на запись семинара: https://youtu.be/rGRRQAstxhI