数理論理学とタイプ理論―証明による真理へ

数理論理学とタイプ理論―証明による真理へ

  • ただいまウェブストアではご注文を受け付けておりません。
  • サイズ A5判/ページ数 316p/高さ 22X16cm
  • 商品コード 9784621032244
  • NDC分類 410.96
  • Cコード C3041

内容説明

本書は数理論理学とタイプ理論をわかりやすく解説すると同時に、計算機による定理の自動証明の基礎的理解を与えることを企図している。すなわち、理論的側面のλ計算と、実践的側面の自動証明機構の、両者の基礎を与える独特な入門的数理論理学書として位置づけられるものである。

目次

1 命題計算
2 第1階の〔述語〕論理
3 証明可能性および論駁可能性
4 第1階の論理のさらに進んだ話題
5 タイプ〔型〕理論
6 形式化された数論
7 不完全性と決定不能性
付録 定理の要約