2017-03-25 ■ エクストラ補講のご案内 論理学上級番外編:完全性定理と不完全性定理 講師:矢田部俊介 日時:2017年3月25日(土)10時30分〜17時半 場所:京都大学文学部第四講義室第11演習室(総合研究2号館1F南側) テーマ: (10:30-12:00)古典述語論理の完全性定理 (13:00-15:00)モデルの中でモデルをつくる (15:30-17:30)不完全性定理のモデル論的証明 もちろん出席しなくても成績には全く関係はありませんが、お暇ならご出席を! また、これはCAPEの講演なので、授業受講者以外ののご参加も歓迎します!