Скачать
Sky Wilshaw: New Foundations: the story of a large formalisation project (24 Oct 2024)
Автор: Formalisation of Mathematics Seminar @ Cam
Загружено: 2024-10-27
Просмотров: 279
Описание:
Abstract:
In this talk, I will discuss the experiences and challenges of running a successful formalisation project: proving the consistency of Quine’s set theory New Foundations. The main focus will be on the interesting and unexpected ways in which large formalisation projects differ from small ones, and how we can use formalisation to get better at ‘paper’ mathematics.
Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
