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

著者

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

書誌事項

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

北田均著

（大数学者の数学, 6）

現代数学社, 2011.5

タイトル別名

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

タイトル読み

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

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

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

  2011.5.

  Maruzen eBook Library

注記

ゲーデルの肖像あり

関連文献: p171-174

内容説明・目次

目次

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

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BB05936244
• ISBN:
  • 9784768703915
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 京都
• ページ数/冊数: v, 179p, 図版 [1] 枚
• 大きさ: 19cm
• 分類:
  • NDC8 : 410.9
  • NDC9 : 410.9
• 件名:
  • BSH : 不完全性定理
  • NDLSH : Gödel, Kurt (1906-1978)
• 親書誌ID:
  • BB00209934