컨텐츠로 이동
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.
판/형식:   컴퓨터 파일 : 영어모든 판과 형식 보기
데이터베이스: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 번호: 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을 선택하세요.

링크된 데이터


Primary Entity

<http://www.worldcat.org/oclc/757682699> # Kurt Godel and the Foundations of Mathematics Horizons of Truth
    a bgn:ComputerFile, schema:CreativeWork ;
    library:oclcnum "757682699" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/949591488#Place/cambridge> ; # Cambridge
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/949591488#Person/godel_kurt> ; # Kurt Gödel
    schema:author <http://experiment.worldcat.org/entity/work/data/949591488#Person/papadimitriou_christos_h> ; # Christos H. Papadimitriou
    schema:author <http://experiment.worldcat.org/entity/work/data/949591488#Person/scott_dana_s> ; # Dana S. Scott
    schema:datePublished "2011" ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/949591488#Person/baaz_matthias> ; # Matthias Baaz
    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:productID "757682699" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/757682699#PublicationEvent/cambridge_cambridge_university_press_2011> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/949591488#Agent/cambridge_university_press> ; # Cambridge University Press
    schema:workExample <http://worldcat.org/isbn/9780521761444> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/757682699> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/949591488#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
    schema:name "Cambridge University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/949591488#Person/baaz_matthias> # Matthias Baaz
    a schema:Person ;
    schema:familyName "Baaz" ;
    schema:givenName "Matthias" ;
    schema:name "Matthias Baaz" ;
    .

<http://experiment.worldcat.org/entity/work/data/949591488#Person/godel_kurt> # Kurt Gödel
    a schema:Person ;
    schema:familyName "Gödel" ;
    schema:givenName "Kurt" ;
    schema:name "Kurt Gödel" ;
    .

<http://experiment.worldcat.org/entity/work/data/949591488#Person/papadimitriou_christos_h> # Christos H. Papadimitriou
    a schema:Person ;
    schema:familyName "Papadimitriou" ;
    schema:givenName "Christos H." ;
    schema:name "Christos H. Papadimitriou" ;
    .

<http://experiment.worldcat.org/entity/work/data/949591488#Person/scott_dana_s> # Dana S. Scott
    a schema:Person ;
    schema:familyName "Scott" ;
    schema:givenName "Dana S." ;
    schema:name "Dana S. Scott" ;
    .

<http://worldcat.org/isbn/9780521761444>
    a schema:ProductModel ;
    schema:isbn "0521761441" ;
    schema:isbn "9780521761444" ;
    .


Content-negotiable representations

윈도우 닫기

WorldCat에 로그인 하십시오 

계정이 없으세요? 아주 간단한 절차를 통하여 무료 계정을 만드실 수 있습니다.