ENCOUNTERwithMATHEMATICS 80

• テーマ：ゲーデルの不完全性定理をめぐって -ヒルベルトのプログラムから竹内の基本予想まで-
• 日時：2026年3月28日(土)～29日(日)
• 場所：中央大学後楽園キャンパス（理工学部）

倉橋の講義の概要

• １回目：不完全性定理の証明：証明可能性述語と不動点定理
• ２回目：第一不完全性定理の一般化と証明可能性論理

  ---

  資料（加筆・修正をする可能性があります）

  • スライド1回目（修正版） （最終更新：2026/3/29）
  • スライド2回目（修正版） （最終更新：2026/3/30）