不完全性定理

著者

• 菊池, 誠 (数学) キクチ, マコト

書誌事項

不完全性定理

菊池誠著

共立出版, 2014.10

タイトル別名

The incompleteness theorems

タイトル読み

フカンゼンセイ テイリ

電子リソースにアクセスする 全1件

• 不完全性定理

  2014.10.

  Maruzen eBook Library

注記

参考文献: p[328]-338

内容説明・目次

内容説明

専門的な予備知識は仮定せずに完全性定理や計算可能性から論じ、第一および第二不完全性定理、Ｒｏｓｓｅｒの定理、Ｈｉｌｂｅｒｔのプログラム、Ｇ¨ｏｄｅｌの加速定理、算術の超準モデル、Ｋｏｌｍｏｇｏｒｏｖ複雑性などを紹介して、不完全性定理の数学的意義と、その根源にある哲学的問題を説く。

目次

• 第１章　序：物語の起源
• 第２章　命題論理
• 第３章　述語論理
• 第４章　算術と集合論
• 第５章　計算可能性
• 第６章　定義可能性と表現可能性
• 第７章　不完全性定理
• 第８章　幾つかの話題
• 第９章　跋：形式主義のふたつのドグマ

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BB16913681
• ISBN:
  • 9784320110960
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: xiv, 348p
• 大きさ: 22cm
• 分類:
  • NDC9 : 410.9
• 件名:
  • BSH : 不完全性定理