ゲーデルの不完全性定理

著者

• Smullyan, Raymond M.
• 高橋, 昌一郎 タカハシ, ショウイチロウ

書誌事項

ゲーデルの不完全性定理

レイモンド・スマリヤン [著] ; 高橋昌一郎訳

丸善, 1996.7

タイトル別名

Gödel's incompleteness theorems

タイトル読み

ゲーデル ノ フカンゼンセイ テイリ

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

• ゲーデルの不完全性定理

  1996

  NDLデジタルコレクション

  限定公開

注記

原著 (Oxford : Oxford University Press, 1992) の全訳

参考文献: p211-212

索引: p217-220

内容説明・目次

内容説明

驚くほど単純で厳密な証明に、論理パズルのデザート。不完全性定理に関心を持つすべての人のための入門書。

目次

• 第１章　ゲーデルの証明の基礎概念
• 第２章　数論におけるタルスキーの定理
• 第３章　累乗法に基づくペアノの数論における不完全性
• 第４章　累乗法に基づかない数論
• 第５章　ω無矛盾性に基づくゲーデルの証明
• 第６章　ロッサー体系
• 第７章　シェファードソンの表現定理
• 第８章　定義可能性と対角化
• 第９章　無矛盾性の証明不可能性
• 第１０章　証明可能性と真理性に関する一般概念
• 第１１章　自己言及体系

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BN14775093
• ISBN:
  • 4621042041
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 原本言語コード: eng
• 出版地: 東京
• ページ数/冊数: xi, 220p
• 大きさ: 22cm
• 分類:
  • NDC9 : 410.96
  • NDC8 : 410.96
  • NDC8 : 410.9
  • NDC7 : 410.12
  • NDLC : MA41
• 件名:
  • BSH : 記号論理学
  • NDLSH : ゲーデルの定理