У нас вы можете посмотреть бесплатно Kevin Buzzard: Capturing mathematical equality или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
I argue that the decision within the mainstream mathematical community to largely reject constructivism (and in particular not to teach it to first year undergraduates) has led to a confusion about the diffierence between a theorem and a definition. Mathematicians have attempted to fix this by introducing the ill-defined term canonical isomorphism and this phrase is now being over-used in, for example, the number theory literature. This over-use makes my life as a formaliser harder.