数学基礎論サマースクール 2024

• テーマ：算術の証明論と構成的数学
• 日時：2024年9月17日(火)～20日(金)
• 場所：東北大学情報科学研究科 (青葉山キャンパス) 情報科学研究棟2階大講義室

倉橋の講義の概要

不完全性定理と反映原理

• １回目（算術1）：命題論理から述語論理の完全性定理までを駆け抜けます．
• ２回目（算術3）：不完全性定理の証明を駆け抜けます．
• ３回目（算術4）：一様反映原理について Kreisel and Lévy の定理の証明を目指します．

  ---

  資料（サマースクールの期間中は加筆・修正をする可能性があります）

  • 講義資料 （最終更新：2024/9/18）
  • スライド1回目（最終版） （最終更新：2024/9/16）
  • スライド2回目 （最終更新：2024/9/18）
  • スライド3回目 （最終更新：2024/9/18）