ENGLISH
JAPANESE
トップ
論文・著書
学会等発表
お知らせ・ノート
ENCOUNTERwithMATHEMATICS 80 の資料
ENCOUNTERwithMATHEMATICS 80
テーマ:ゲーデルの不完全性定理をめぐって -ヒルベルトのプログラムから竹内の基本予想まで-
日時:2026年3月28日(土)~29日(日)
場所:中央大学後楽園キャンパス(理工学部)
倉橋の講義の概要
1回目:不完全性定理の証明:証明可能性述語と不動点定理
2回目:第一不完全性定理の一般化と証明可能性論理
資料(加筆・修正をする可能性があります)
スライド1回目(修正版)
(最終更新:2026/3/29)
スライド2回目(修正版)
(最終更新:2026/3/30)