Скачать
[2021CAPE公開セミナー] 論理学上級 Ⅱ-4「認識論の機械化：証明の正規化と証明支援系」
Автор: Kyoto Logic
Загружено: 2022-03-26
Просмотров: 487
Описание:
構成的型理論は、コンピュータ上に実装することができ、現在、コンピュータのソフトウェアの正しさを証明する「ソフトウェア検証」に活用されています。このことは、哲学的には、人間の認識論（知識を獲得するための人間の心の認知的活動）の機械化の一例として、興味あるものです。
この講義では、歴史的な流れを追いながら、構成的型理論の基本的な枠組みを紹介し、余裕があれば証明支援駅などの計算機上の実装についても少しお話ししたく思います。
Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Повторяем попытку...
![[2021CAPE公開セミナー] 論理学上級 Ⅱ-4「認識論の機械化：証明の正規化と証明支援系」](https://imager.clipsaver.ru/BXMMzRkDbac/max.jpg)
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
![[2021CAPE公開セミナー] 論理学上級 Ⅱ-1「ラッセルのパラドックスと3つの対策」](https://imager.clipsaver.ru/3gyOTmBUrE0/max.jpg)
![[2021後期火５]哲学(演習) 論理学 後期第08回授業（京都大学文学部・矢田部俊介）「古典論理：超絶技巧証明集」](https://imager.clipsaver.ru/xWwhZoNaKVk/max.jpg)
![[2021後期火５]哲学(演習) 論理学 後期第04回授業（京都大学文学部・矢田部俊介）「証明の正規化」](https://imager.clipsaver.ru/qfu8plGG7YI/max.jpg)
