コンテンツへ移動
Kurt Godel and the Foundations of Mathematics : Horizons of Truth 資料のプレビュー
閉じる資料のプレビュー
確認中…

Kurt Godel and the Foundations of Mathematics : Horizons of Truth

著者: Christos H Papadimitriou; Dana S Scott; Matthias Baaz
出版: Cambridge : Cambridge University Press, 2011.
エディション/フォーマット:   電子ファイル : Englishすべてのエディションとフォーマットを見る
データベース:WorldCat
概要:

This volume commemorates the life, work and foundational views of Kurt Godel by exploring the impact of his work and its future implications.

評価:

(まだ評価がありません) 0 件のレビュー - 是非あなたから!

件名:
関連情報:

 

オフラインで入手

&AllPage.SpinnerRetrieving; この資料の所蔵館を検索中…

詳細

関連の人物: Kurt Gödel
ドキュメントの種類: コンピューターファイル
すべての著者/寄与者: Christos H Papadimitriou; Dana S Scott; Matthias Baaz
ISBN: 9780521761444 0521761441
OCLC No.: 757682699
注記: Electronic book text.
物理形態: 541 S.
コンテンツ: Part I. Historical Context - Godel's Contributions and Accomplishments: 1. The impact of Godel's incompleteness theorems on mathematics Angus Macintyre; 2. Logical hygiene, foundations, and abstractions: diversity among aspects and options Georg Kreisel; 3. The reception of Godel's 1931 incompletability theorems by mathematicians, and some logicians, to the early 1960s Ivor Grattan-Guinness; 4. 'Dozent Godel will not lecture' Karl Sigmund; 5. Godel's thesis: an appreciation Juliette C. Kennedy; 6. Lieber Herr Bernays!, Lieber Herr Godel! Godel on finitism, constructivity, and Hilbert's program Solomon Feferman; 7. Computation and intractability: echoes of Kurt Godel Christos H. Papadimitriou; 8. From the entscheidungsproblem to the personal computer - and beyond B. Jack Copeland; 9. Godel, Einstein, Mach, Gamow, and Lanczos: Godel's remarkable excursion into cosmology Wolfgang Rindler; 10. Physical unknowables Karl Svozil; Part II. A Wider Vision - the Interdisciplinary, Philosophical, and Theological Implications of Godel's Work: 11. Godel and physics John D. Barrow; 12. Godel, Thomas Aquinas, and the unknowability of God Denys A. Turner; 13. Godel's mathematics of philosophy Piergiorgio Odifreddi; 14. Godel's ontological proof and its variants Petr Hajek; 15. The Godel theorem and human nature Hilary Putnam; 16. Godel, the mind, and the laws of physics Roger Penrose; Part III. New Frontiers - Beyond Godel's Work in Mathematics and Symbolic Logic: 17. Godel's functional interpretation and its use in current mathematics Ulrich Kohlenbach; 18. My forty years on his shoulders Harvey M. Friedman; 19. My interaction with Kurt Godel: the man and his work Paul J. Cohen; 20. The transfinite universe W. Hugh Woodin; 21. The Godel phenomena in mathematics: a modern view Avi Wigderson.
責任者: edited by Matthias Baaz, Christos H Papadimitriou, Dana S Scott.

レビュー

編集者のレビュー

出版社によるあらすじ

'This is a very useful volume that brings together aspects of Godel's work that relates to logic and mathematics ...' The Mathematical Intelligencer

 
ユーザーレビュー
GoodReadsのレビューを取得中…
DOGObooksのレビューを取得中…

タグ

まずはあなたから!

類似資料

関連件名:(1)

リクエストの確認

あなたは既にこの資料をリクエストしている可能性があります。このリクエストを続行してよろしければ、OK を選択してください。

リンクデータ


<http://www.worldcat.org/oclc/757682699>
library:oclcnum"757682699"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/757682699>
rdf:typej.2:Computer_file
schema:about
schema:author
schema:author
schema:datePublished"2011"
schema:editor
schema:exampleOfWork<http://worldcat.org/entity/work/id/949591488>
schema:inLanguage"en"
schema:name"Kurt Godel and the Foundations of Mathematics Horizons of Truth"
schema:publisher
schema:url
schema:workExample

Content-negotiable representations

ウインドウを閉じる

WorldCatにログインしてください 

アカウントをお持ちではないですか?簡単に 無料アカウントを作成することができます。.