ゲーデルに挑む

• タイトルヨミ: ゲーデルニイドム
• サブタイトル: 証明不可能なことの証明 原典解題
• サブタイトルヨミ: ショウメイフカノウナコトノショウメイ ゲンテンカイダイ
• 著編者等／著者名等: 田中一之‖著
• 統一著者名: 田中一之
• 著編者等ヨミ／著者名等ヨミ: タナカカズユキ
• 出版者: 東京大学出版会
• 出版地: 東京
• 出版年: 2012.4
• 大きさ: 8,177p
• 件名: 不完全性定理
• 分類: 410.9,410.9 410.9
• ISBN: 978-4-13-063900-2
• マークNo: TRC000000012024081
• タイトルコード: 1100000550215
• 資料番号: 00000000000008573610
• 請求記号: 410.9/ﾀﾅ ｹ
• 内容紹介: 「不完全性定理」として広く知られているロジックの基本的事実について、ゲーデルがはじめてその発見を公表した論文を数学的に正しく味読するためのガイドブック。
• 種別: 図書
• 配架場所: 03141