ゲーデルの世界 : 完全性定理と不完全性定理

Author(s)

• 広瀬, 健 ヒロセ, ケン
• 横田, 一正 ヨコタ, カズマサ
• Gödel, Kurt

Bibliographic Information

ゲーデルの世界 : 完全性定理と不完全性定理

廣瀬健, 横田一正著

海鳴社, 1985.5

Title Transcription

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

Note

著作一覧: p143-146. 参考文献: p203-205. 索引: 巻末

Contents of Works

• 論理学における述語計算の公理の完全性 = Die Vollständigkeit der Axiome des logischen Funktionenkalküls / [ゲーデル著]
• 『プリンキピア・マテマチカ』や, その関連体系での形式的に決定不可能な命題について, I = Über formal unentscheilbare Stätye der Principia Mathematica und verwandter Systeme, I. / [ゲーデル著]

Details

• NCID: BN00218157
• ISBN:
  • 4875251068
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: vii, 210p
• Size: 20cm
• Classification:
  • NDC8 : 410.9
  • NDLC : MA41
• Subject Headings:
  • NDLSH : ゲーデルの定理