MARC details
| 000 -LEADER |
|---|
| fixed length control field |
04093cam a2200349 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
16539765 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20220328170737.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
101116s2011 nyua b 001 0 eng |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
|---|
| LC control number |
2010048055 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780521761444 (hardback) |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
DLC |
| Transcribing agency |
DLC |
| Modifying agency |
DLC |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
pcc |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA9.65 |
| Item number |
.K87 2011 |
| 082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
511.3 |
| Edition number |
22 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
MAT018000 |
| Number source |
bisacsh |
| 245 00 - TITLE STATEMENT |
|---|
| Title |
Kurt Gödel and the foundations of mathematics : |
| Remainder of title |
horizons of truth / |
| Statement of responsibility, etc. |
edited by Matthias Baaz ... [et al.]. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
New York : |
| Name of publisher, distributor, etc. |
Cambridge University Press, |
| Date of publication, distribution, etc. |
2011. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xxiii, 515 p. : |
| Other physical details |
ill. ; |
| Dimensions |
27 cm. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Machine generated contents note: Part I. Historical Context - Gödel's Contributions and Accomplishments: 1. The impact of Gödel's incompleteness theorems on mathematics Angus Macintyre; 2. Logical hygiene, foundations, and abstractions: diversity among aspects and options Georg Kreisel; 3. The reception of Gödel's 1931 incompletabilty theorems by mathematicians, and some logicians, to the early 1960s Ivor Grattan-Guinness; 4. 'Dozent Gödel will not lecture' Karl Sigmund; 5. Gödel's thesis: an appreciation Juliette C. Kennedy; 6. Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on finitism, constructivity, and Hilbert's program Solomon Feferman; 7. Computation and intractability: echoes of Kurt Gödel Christos H. Papadimitriou; 8. From the entscheidungsproblem to the personal computer - and beyond B. Jack Copeland; 9. Gödel, Einstein, Mach, Gamow, and Lanczos: Gödel's remarkable excursion into cosmology Wolfgang Rindler; 10. Physical unknowables Karl Svozil; Part II. A Wider Vision - The Interdisciplinary, Philosophical, And Theological Implications of Gödel's Work: 11. Gödel and physics John D. Barrow; 12. Gödel, Thomas Aquinas, and the unknowability of God Denys A. Turner; 13. Gödel's mathematics of philosophy Piergiorgio Odifreddi; 14. Gödel's ontological proof and its variants Petr Hájek; 15. The Gödel theorem and human nature Hilary Putnam; 16. Gödel, the mind, and the laws of physics Roger Penrose; Part III. New Frontiers - Beyond Gödel's Work in Mathematics and Symbolic Logic: 17. Gödel'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 Gödel: the man and his work Paul J. Cohen; 20. The transfinite universe W. Hugh Woodin; 21. The Gödel phenomena in mathematics: a modern view Avi Wigderson. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
"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"-- |
| Assigning source |
Provided by publisher. |
| 600 10 - SUBJECT ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Gödel, Kurt. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Gödel's theorem. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Mathematics |
| General subdivision |
Philosophy. |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
MATHEMATICS / Logic |
| Source of heading or term |
bisacsh. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Baaz, Matthias. |
| 856 41 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Materials specified |
Table of contents only |
| Uniform Resource Identifier |
<a href="http://www.loc.gov/catdir/toc/fy12pdf01/2010048055.html">http://www.loc.gov/catdir/toc/fy12pdf01/2010048055.html</a> |
| 906 ## - LOCAL DATA ELEMENT F, LDF (RLIN) |
|---|
| a |
7 |
| b |
cbc |
| c |
orignew |
| d |
1 |
| e |
ecip |
| f |
20 |
| g |
y-gencatlg |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
|
| Koha item type |
Open Books |
