数理論理学とタイプ理論 : 証明による真理へ
Author(s)
Bibliographic Information
数理論理学とタイプ理論 : 証明による真理へ
丸善, 1987.12
- Other Title
-
An Introduction to mathematical logic and type theory : to truth through proof
- Title Transcription
-
スウリ ロンリガク ト タイプ リロン : ショウメイ ニ ヨル シンリ エ
Available at / 115 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
参考文献: p[299]-302
Description and Table of Contents
Description
本書は数理論理学とタイプ理論をわかりやすく解説すると同時に、計算機による定理の自動証明の基礎的理解を与えることを企図している。すなわち、理論的側面のλ計算と、実践的側面の自動証明機構の、両者の基礎を与える独特な入門的数理論理学書として位置づけられるものである。
Table of Contents
- １ 命題計算
- ２ 第１階の〔述語〕論理
- ３ 証明可能性および論駁可能性
- ４ 第１階の論理のさらに進んだ話題
- ５ タイプ〔型〕理論
- ６ 形式化された数論
- ７ 不完全性と決定不能性
- 付録 定理の要約
by "BOOK database"
