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

• タイトルヨミ: ゲーデルフカンゼンセイハッケンエノミチ
• シリーズ名: 双書・大数学者の数学／6
• シリーズ名ヨミ: ソウショダイスウガクシャノスウガク6
• 著編者等／著者名等: 北田均‖著
• 統一著者名: 北田均
• 著編者等ヨミ／著者名等ヨミ: キタダヒトシ
• 出版者: 現代数学社
• 出版地: 京都
• 出版年: 2011.5
• 大きさ: 5,179p
• 件名: 不完全性定理
• 分類: 410.9,410.9 410.9
• ISBN: 978-4-7687-0391-5
• マークNo: TRC11025619
• タイトルコード: 1100000450021
• 資料番号: 100735364
• 請求記号: 410.9/ｷﾀ ｹ
• 一般注記: 奥付のタイトル：不完全性発見への道
• 内容紹介: ヒルベルトの提唱した形式主義を概観したのち命題論理・述語論理の無矛盾性と完全性および通常のゲーデルの不完全性定理の証明を述べ、ゲーデルの証明に潜む暗黙の仮定に迫る。『理系への数学』連載を書籍化。
• 種別: 図書
• 配架場所: 03141