MARC details
000 -LEADER |
fixed length control field |
02182nam a22003257a 4500 |
001 - CONTROL NUMBER |
control field |
sulb-eb0016316 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
BD-SySUS |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20160629112150.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
101011s2011||||enk o ||1 0|eng|d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9780511974236 (ebook) |
|
Canceled/invalid ISBN |
9780521761444 (hardback) |
|
Canceled/invalid ISBN |
9781107677999 (paperback) |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
UkCbUP |
Language of cataloging |
eng |
Description conventions |
rda |
Transcribing agency |
UkCbUP |
Modifying agency |
BD-SySUS |
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 |
Item number |
KUR |
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] |
246 3# - VARYING FORM OF TITLE |
Title proper/short title |
Kurt Gödel & the Foundations of Mathematics |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication, distribution, etc. |
London : |
Name of publisher, distributor, etc. |
Cambridge University, |
Date of publication, distribution, etc. |
c2011. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
1 online resource (540 pages) : |
Other physical details |
ill. ; |
Dimensions |
25 cm. |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc |
Includes bibliographical references and index. |
520 ## - SUMMARY, ETC. |
Summary, etc. |
This volume commemorates the life, work and foundational views of Kurt Gödel (1906–78), 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. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Gödel's theorem |
9 (RLIN) |
28177 |
|
Topical term or geographic name as entry element |
Gödel, Kurt |
9 (RLIN) |
28178 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Papadimitriou, Christos H., |
Relator term |
editor. |
9 (RLIN) |
16544 |
|
Personal name |
Putnam, Hilary W., |
Relator term |
editor. |
9 (RLIN) |
28191 |
|
Personal name |
Scott, Dana S., |
Relator term |
editor. |
9 (RLIN) |
28192 |
|
Personal name |
Harper, Jr, Charles L., |
Relator term |
editor. |
9 (RLIN) |
28193 |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
Relationship information |
Print version: |
International Standard Book Number |
9780521761444 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Source of classification or shelving scheme |
Dewey Decimal Classification |
Koha item type |
Books |