2014-01-01から1ヶ月間の記事一覧
題:ゲーデルの不完全性定理 日時:2014年2月16日(日)14時半〜17時?(予定) 教室:未定(授業ブログおよびメールで案内)
授業スライド こちらから
前回の復習 古典述語論理のモデル 古典述語論理の完全性 ケーニッヒの補題
授業第二十三回目は、古典述語論理の完全性定理と健全性定理の話をします。 今回はまず、古典述語論理のモデル「タルスキ・モデル」を紹介します。また、古典述語論理の完全性定理を、命題論理の時と同様、「分析的推論」を一般化した証明探索樹を使った方法…
授業スライド こちらから 授業要約・宿題 こちらから
前回の復習 古典命題論理の完全性 古典命題論理の健全性
緊急連絡:会議時間変更のため、場合によっては授業が当日急遽中止になる可能性があります。中止の場合はブログ・メールで連絡しますので、連絡があるか注意をお願いします。 授業第二十二回目、本日は古典命題論理の完全性定理と健全性定理の話をします。 今…
1月14日・21日 古典論理の完全性定理 エクストラ授業:ゲーデルの不完全性定理(1コマ〜2コマ):今回は、授業としてではなく、CAPEセミナーとして、一般向け公開講座という形で行うこととなりました。前期の補講と同じく、本授業受講者の都合の良い日に…
本日は、古典論理に関する問題演習です。
授業第二十回目の今回は、古典論理と排中律、および古典論理のモデルの紹介を行います。世間一般の数学では、直観主義論理では証明できない「排中律」という規則をよく使います。直観主義論理に新たに排中律を付け加えると、古典論理となり、どのような変化…