Kurt Gödel and the foundations of mathematics : horizons of truth : hbk

• 資料種別: 図書
• ISBN: 9780521761444
• タイトル: Kurt Gödel and the foundations of mathematics : horizons of truth
• 巻次・部編番号: : hbk
• 著者・編者: edited by Matthias Baaz ... [et al.]
• 著者標目: Gödel, Kurt; https://ci.nii.ac.jp/author/DA00112751; Baaz, Matthias; https://ci.nii.ac.jp/author/DA17519899; Papadimitriou, Christos H.; Putnam, Hilary W.; Scott, Dana S.; Harper, Charles L.
• 出版事項: Cambridge University Press
• 出版年月日等: 2011
• 出版年（W3CDTF）: 2011
• 大きさ: 26 cm
• 出版地（国名コード）: uk
• 本文の言語コード: en
• 件名標目: Gödel's theorem; Mathematics -- Philosophy; Gödel, Kurt
• LCC: QA9.65
• 対象利用者: 一般
• 一般注記: Other editors: Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper, Jr; Summary: "This volume commemorates the life, work, and foundational views of Kurt Gödel (1906-1978), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances, and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology, and the history of science. The discussion is supplemented by personal reflections from several scholars who knew Gödel personally, providing some interesting insights into his life; Includes bibliographical references and index
• 関連情報（URI）: https://ci.nii.ac.jp/ncid/BB06009643#entity; https://lccn.loc.gov/2010048055
• 連携機関・データベース: 国立情報学研究所 : CiNii Research
• 提供元機関・データベース: CiNii Books; https://ci.nii.ac.jp/books
• NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BB06009643 : BB06009643
• LC control number: 2010048055; https://lccn.loc.gov/2010048055