ytb https://blog.hatena.ne.jp/ytb/ あいまいな本日の私 blog https://ytb.hatenablog.com/ logic 拙論 日時：１２月４日（金）の１４：４５より（一時間半から二時間の予定です） 場所：理学部棟第７講義室 演題：嘘つきのパラドックスと不動点 古典論理上の算術で全域的真理述語を仮定すると矛盾を導く（その証明には対角化定理（不動点定理）を使用する）話をして、時間があれば、真理述語を制限した理論ではω矛盾になる話をしたいと思います。 「集合論」が分かれば理解出来る内容を、お話しする予定です。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fytb.hatenablog.com%2Fentry%2F20091202%2Fp1" title=" 数学特別講演会@金沢大学 - あいまいな本日の私 blog" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2009-12-02 00:00:01 rich https://ytb.hatenablog.com/entry/20091202/p1 1.0 100%