Studio Phones Seminar

logic 拙論
  • 日時：１２月５日（土）の１０時開始（１８時頃に終了の予定です）
  • 場所：金沢大学サテライト・プラザ二階講義室
  • 演題：ゲーデルの不完全性定理の話

In this talk, we introduce an overview of a proof of Godel's incompleteness theorem. First we see the details of arithmetization of natural number theory, then we see how Godel sentence is constructed. Then we see the arithmetical hierarchy and its "circular structure" in Global sense.
If we have enough time, we also try to see some facts about non-standard model of Arithmetic.

なお、この講演会は Studio Phones Seminar の一環として行われます。より詳しいアブストラクト等はこちらをご覧下さい。