不完全性定理

Author(s)

Bibliographic Information

不完全性定理

菊池誠著

共立出版, 2014.10

Other Title

The incompleteness theorems

Title Transcription

フカンゼンセイ テイリ

Access to Electronic Resource 1 items

Available at  / 142 libraries

Note

参考文献: p[328]-338

Description and Table of Contents

Description

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

Table of Contents

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

by "BOOK database"

Details

  • NCID
    BB16913681
  • ISBN
    • 9784320110960
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    東京
  • Pages/Volumes
    xiv, 348p
  • Size
    22cm
  • Classification
  • Subject Headings
Page Top