Cargando…

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

"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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Baaz, Matthias (Editor ), Papadimitriou, Christos H. (Editor ), Putnam, Hilary W. (Editor ), Scott, Dana S. (Editor ), Harper Jr., Charles L. (ditor.)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge ; New York : Cambridge University Press, 2011.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000Ii 4500
001 EBSCO_ocn739912008
003 OCoLC
005 20231017213018.0
006 m o d
007 cr mn|||||||||
008 110708s2011 enka ob 001 0 eng d
040 |a N$T  |b eng  |e rda  |e pn  |c N$T  |d E7B  |d OSU  |d YDXCP  |d OTZ  |d CDX  |d UKMGB  |d OCLCQ  |d COO  |d REDDC  |d OCLCQ  |d DEBSZ  |d OCLCQ  |d COD  |d UMI  |d OCLCQ  |d AU@  |d AUD  |d OCLCQ  |d OCLCF  |d OCLCQ  |d OSU  |d OCLCQ  |d UAB  |d OCLCQ  |d CEF  |d OCLCQ  |d OCLCO  |d OCLCQ  |d WYU  |d OCLCQ  |d K6U  |d IAK  |d LUN  |d OCLCQ  |d AAA  |d OCLCO  |d SFB  |d OCLCQ 
016 7 |a 015695682  |2 Uk 
019 |a 743196364  |a 755699305  |a 776977087  |a 781407458  |a 858460534  |a 994966070  |a 1062894251  |a 1066651878  |a 1169964155  |a 1170750499 
020 |a 9781139077378  |q (electronic bk.) 
020 |a 1139077376  |q (electronic bk.) 
020 |a 9781139079655  |q (eisbn) 
020 |a 1139079654  |q (eisbn) 
020 |a 9780511974236  |q (ebook) 
020 |a 051197423X  |q (ebook) 
020 |z 9780521761444  |q (hardback) 
020 |z 0521761441  |q (hardback) 
020 |z 9781139075114 
020 |z 113907511X 
020 |z 9781139081931 
020 |z 1139081934 
024 8 |a 9786613127235 
029 1 |a AU@  |b 000048832431 
029 1 |a AU@  |b 000052007808 
029 1 |a CHNEW  |b 000616179 
029 1 |a DEBBG  |b BV041432286 
029 1 |a DEBSZ  |b 372822142 
029 1 |a DEBSZ  |b 398281890 
035 |a (OCoLC)739912008  |z (OCoLC)743196364  |z (OCoLC)755699305  |z (OCoLC)776977087  |z (OCoLC)781407458  |z (OCoLC)858460534  |z (OCoLC)994966070  |z (OCoLC)1062894251  |z (OCoLC)1066651878  |z (OCoLC)1169964155  |z (OCoLC)1170750499 
037 |a CL0500000285  |b Safari Books Online 
050 4 |a QA9.65  |b .K87 2011eb 
072 7 |a MAT  |x 016000  |2 bisacsh 
072 7 |a MAT  |x 018000  |2 bisacsh 
082 0 4 |a 511.3  |2 22 
084 |a MAT018000  |2 bisacsh 
049 |a UAMI 
245 0 0 |a Kurt Gödel and the foundations of mathematics :  |b horizons of truth /  |c edited by Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper, Jr. 
264 1 |a Cambridge ;  |a New York :  |b Cambridge University Press,  |c 2011. 
264 4 |c ©2011 
300 |a 1 online resource (xxiii, 515 pages) :  |b illustrations 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
520 |a "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. By putting his ideas and life's work into the context of current thinking and perceptions, this book will extend the impact of Gödel's fundamental work in mathematics, logic, philosophy, and other disciplines for future generations of researchers"--  |c Provided by publisher 
504 |a Includes bibliographical references and index. 
505 0 0 |g Foreword /  |r Gaisi Takeuti --  |g Preface --  |t Short Biography of Kurt Godel --  |g I.  |t Historical context : Gödel's contributions and accomplishments.  |t Gödel's historical, philosophical, and scientific work.  |g 1.  |t The impact of Gödel's incompleteness theorems on mathematics /  |r Angus Macintyre ;  |g 2.  |t Logical hygiene, foundations, and abstractions : diversity among aspects and options /  |r Georg Kreisel --  |t Gödel's legacy : a historical perspective.  |g 3.  |t The reception of Gödel's 1931 incompletabilty theorems by mathematicians, and some logicians, to the early 1960s /  |r Ivor Grattan-Guinness ;  |g 4. "Dozent Gödel will not lecture" /  |r Karl Sigmund ;  |g 5.  |t Gödel's thesis : an appreciation /  |r Juliette Kennedy ;  |g 6.  |t Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on finitism, constructivity, and Hilbert's program /  |r Solomon Feferman --  |t The past and future of computation.  |g 7.  |t Computation and intractability : echoes of Kurt Gödel /  |r Christos H. Papadimitriou ;  |g 8.  |t From the entscheidungsproblem to the personal computer -- and beyond /  |r B. Jack Copeland --  |t Gödelian cosmology.  |g 9.  |t Gödel, Einstein, Mach, Gamow, and Lanczos : Gödel's remarkable excursion into cosmology /  |r Wolfgang Rindler ;  |g 10.  |t Physical unknowables /  |r Karl Svozil --  |g II.  |t A wider vision : the interdisciplinary, philosophical, and theological implications of Gödel's work.  |t On the unknowables.  |g 11.  |t Gödel and physics /  |r John D. Barrow ;  |g 12.  |t Gödel, Thomas Aquinas, and the unknowability of God /  |r Denys A. Turner --  |t Gödel and the mathematics of philosophy.  |g 13. Gödel's mathematics of philosophy /  |r Piergiorgio Odifreddi --  |t Gödel and philosophical theology.  |g 14.  |t Gödel's ontological proof and its variants /  |r Petr Hájek --  |t Gödel and the human mind.  |g 15. The Gödel theorem and human nature /  |r Hilary W. Putnam ;  |g 16.  |t Gödel, the mind, and the laws of physics /  |r Roger Penrose --  |g III.  |t New frontiers : beyond Gödel's work in mathematics and symbolic logic.  |t Extending Gödel's work.  |g 17.  |t Gödel's functional interpretation and its use in current mathematics /  |r Ulrich Kohlenbach ;  |g 18.  |t My forty years on his shoulders /  |r Harvey M. Friedman --  |t The realm of set theory.  |g 19. My interaction with Kurt Gödel : the man and his work /  |r Paul J. Cohen --  |t Gödel and the higher infinite.  |g 20. The transfinite universe /  |r W. Hugh Woodin --  |t Gödel and computer science.  |g 21.  |t The Gödel phenomena in mathematics : a modern view /  |r Avi Wigderson. 
588 0 |a Print version record. 
590 |a eBooks on EBSCOhost  |b EBSCO eBook Subscription Academic Collection - Worldwide 
600 1 0 |a Gödel, Kurt. 
600 1 7 |a Gödel, Kurt.  |2 blmlsh 
600 1 7 |a Gödel, Kurt / Influence.  |2 blmlsh 
600 1 7 |a Gödel, Kurt.  |2 fast  |0 (OCoLC)fst00030398 
650 0 |a Gödel's theorem. 
650 0 |a Mathematics  |x Philosophy. 
650 6 |a Théorème de Gödel. 
650 6 |a Mathématiques  |x Philosophie. 
650 7 |a MATHEMATICS  |x Infinity.  |2 bisacsh 
650 7 |a MATHEMATICS  |x Logic.  |2 bisacsh 
650 7 |a Gödel's theorem.  |2 fast  |0 (OCoLC)fst00949806 
650 7 |a Mathematics  |x Philosophy.  |2 fast  |0 (OCoLC)fst01012213 
700 1 |a Baaz, Matthias,  |e editor. 
700 1 |a Papadimitriou, Christos H.,  |e editor. 
700 1 |a Putnam, Hilary W.,  |e editor. 
700 1 |a Scott, Dana S.,  |e editor. 
700 1 |a Harper Jr., Charles L.,  |e ditor. 
776 0 8 |i Print version:  |t Kurt Gödel and the foundations of mathematics.  |d New York : Cambridge University Press, 2011  |z 9780521761444  |w (DLC) 2010048055  |w (OCoLC)693553974 
856 4 0 |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=366145  |z Texto completo 
938 |a Coutts Information Services  |b COUT  |n 18010662 
938 |a ebrary  |b EBRY  |n ebr10476526 
938 |a EBSCOhost  |b EBSC  |n 366145 
938 |a YBP Library Services  |b YANK  |n 6939028 
938 |a YBP Library Services  |b YANK  |n 6949815 
938 |a YBP Library Services  |b YANK  |n 6972927 
938 |a YBP Library Services  |b YANK  |n 7113452 
994 |a 92  |b IZTAP