数理論理学 Mathematical Logic, an Introduction

文字サイズ小中大

担当教員: 鹿島亮

使用教室: 金5-6(W834)

単位数: 講義：1 演習：1 実験：0

講義コード: 5509

シラバス更新日: 2008年4月1日

講義資料更新日: 2008年4月1日

学期: 前期 / 推奨学期：-

概要

講義概要

I　数学における証明はどんな構造を持っているか。人間の論理的な思考過程はどのような体系にまとめられるか。体系化された理論に内在する限界とは何か。これらの観点から，数理論理学の基礎を解説し，重要な結果の証明を行なう。
II　命題論理とその自然演繹体系，述語理論とその自然演繹体系，ゲーデルの完全性定理，ペアノの公理系，ゲーデルの不完全性定理。