2014-01-20から1日間の記事一覧
題:ゲーデルの不完全性定理 日時:2014年2月16日(日)14時半〜17時?(予定) 教室:未定(授業ブログおよびメールで案内)
授業スライド こちらから
前回の復習 古典述語論理のモデル 古典述語論理の完全性 ケーニッヒの補題
授業第二十三回目は、古典述語論理の完全性定理と健全性定理の話をします。 今回はまず、古典述語論理のモデル「タルスキ・モデル」を紹介します。また、古典述語論理の完全性定理を、命題論理の時と同様、「分析的推論」を一般化した証明探索樹を使った方法…