数学特別講演会@金沢大学

• 日時：１２月４日（金）の１４：４５より（一時間半から二時間の予定です）
• 場所：理学部棟第７講義室
• 演題：嘘つきのパラドックスと不動点

古典論理上の算術で全域的真理述語を仮定すると矛盾を導く（その証明には対角化定理（不動点定理）を使用する）話をして、時間があれば、真理述語を制限した理論ではω矛盾になる話をしたいと思います。

「集合論」が分かれば理解出来る内容を、お話しする予定です。