日時：１２月５日（土）の１０時開始（１８時頃に終了の予定です） 場所：金沢大学サテライト・プラザ二階講義室 演題：ゲーデルの不完全性定理の話 In this talk, we introduce an overview of a proof of Godel's incompleteness theorem. First we see th…

日時：１２月４日（金）の１４：４５より（一時間半から二時間の予定です） 場所：理学部棟第７講義室 演題：嘘つきのパラドックスと不動点 古典論理上の算術で全域的真理述語を仮定すると矛盾を導く（その証明には対角化定理（不動点定理）を使用する）話を…

比較的暖かい日、湿度も上がる。出勤して報告書を書く帰宅後夕食、マグロいくら丼。