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

著者

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

書誌事項

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

廣瀬健, 横田一正著

海鳴社, 1985.5

タイトル読み

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

注記

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

収録内容

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

詳細情報

• NII書誌ID(NCID): BN00218157
• ISBN:
  • 4875251068
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: vii, 210p
• 大きさ: 20cm
• 分類:
  • NDC8 : 410.9
  • NDLC : MA41
• 件名:
  • NDLSH : ゲーデルの定理