CAPE論理学上級Ⅱ「構成的型理論」(外部記事)
https://kyoto-logic.hatenablog.com/entry/2022/03/26/000000
#外部記事 #講義
Russelのパラドックスの論理主義，形式主義，直観主義での対応法の俯瞰など
#型理論 #論理学
Curry-Howard同型対応
証明論的意味論，定理証明支援系
メモ
大雑把には帰納法を無限回繰り返す帰納法を超限帰納法と呼ぶ．
Burali-Fortiのパラドックス