ゲーデル不完全性発見への道

Author(s)

• 北田, 均 キタダ, ヒトシ

Bibliographic Information

ゲーデル不完全性発見への道

北田均著

（大数学者の数学, 6）

現代数学社, 2011.5

Other Title

不完全性発見への道 : ゲーデル

Title Transcription

ゲーデル フカンゼンセイ ハッケン エノ ミチ

Access to Electronic Resource 1 items

• ゲーデル不完全性発見への道

  2011.5.

  Maruzen eBook Library

Note

ゲーデルの肖像あり

関連文献: p171-174

Description and Table of Contents

Table of Contents

• 不完全性定理とは何か
• 形式的自然数論
• 命題計算の無矛盾性
• 命題計算の完全性
• 述語計算の無矛盾性
• 述語計算の完全性
• ゲーデルナンバリング
• 証明の再帰性
• 証明の数値的表現
• ゲーデル述語
• 数学は矛盾している？
• 自己言及と矛盾性

by "BOOK database"

Details

• NCID: BB05936244
• ISBN:
  • 9784768703915
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 京都
• Pages/Volumes: v, 179p, 図版 [1] 枚
• Size: 19cm
• Classification:
  • NDC8 : 410.9
  • NDC9 : 410.9
• Subject Headings:
  • BSH : 不完全性定理
  • NDLSH : Gödel, Kurt (1906-1978)
• Parent Bibliography ID:
  • BB00209934