Скачать
[2021CAPE公開セミナー] 論理学上級 Ⅱ-3「証明論的意味論としてのマーティン・レーフの構成的型理論」
Автор: Kyoto Logic
Загружено: 2022-03-26
Просмотров: 1459
Описание:
1972年にマーティンレーフが構成的型理論を発表し、論理主義と直観主義（構成主義）の両派を束ねる形で、新たな流れが始まりました。構成的型理論は数学の基礎としてだけではなく、計算機科学の基礎理論（有限ステップで計算が終わるプログラムのための基礎理論）として大きな役割を果たすようになります。
本節では、マーティン・レーフの構成的型理論について概説します。
資料はこちら： https://www.slideshare.net/shunsukeya...
Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Повторяем попытку...
![[2021CAPE公開セミナー] 論理学上級 Ⅱ-3「証明論的意味論としてのマーティン・レーフの構成的型理論」](https://imager.clipsaver.ru/CPv4KjpTpgQ/max.jpg)
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
![[2021CAPE公開セミナー] 論理学上級 Ⅱ-1「ラッセルのパラドックスと3つの対策」](https://imager.clipsaver.ru/3gyOTmBUrE0/max.jpg)
![[2021CAPE公開セミナー] 論理学上級 Ⅱ-4「認識論の機械化：証明の正規化と証明支援系」](https://imager.clipsaver.ru/BXMMzRkDbac/max.jpg)
![[2021後期火５]哲学(演習) 論理学 後期第08回授業（京都大学文学部・矢田部俊介）「古典論理：超絶技巧証明集」](https://imager.clipsaver.ru/xWwhZoNaKVk/max.jpg)
