2010-10-19から1日間の記事一覧
授業スライド・宿題 こちらから
前回の復習 前回の宿題 証明の正規化 正規化定理の応用 宿題
授業中話をしたカリー・ハワード対応については、以下の文献等を参考にして下さい。現代数理論理学序説作者: 古森 雄一,小野 寛晰出版社/メーカー: 日本評論社発売日: 2010/06/16メディア: 単行本(ソフトカバー)購入: 12人 クリック: 260回この商品を含む…
授業第十六回目は、「論理結合子の意味とは何か」の続きで、前回紹介した「インバージョン原理」を数学的に定式化した「証明の正規化」について、最小命題論理では全ての証明が正規化可能であるというメタ定理を証明します。ただし、証明は概略にとどめ、技…