Detalles MARC
000 -CABECERA |
campo de control de longitud fija |
03061cam a2200349 i 4500 |
001 - NÚMERO DE CONTROL |
campo de control |
18065804 |
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
campo de control |
20170322171846.0 |
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
campo de control de longitud fija |
140313s2014 enk b 001 0 eng |
010 ## - NÚMERO DE CONTROL DE LA BIBLIOTECA DEL CONGRESO |
Número de control de LC |
2014007629 |
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
Número Internacional Estándar del Libro |
9781107002661 (hardback) |
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
Número Internacional Estándar del Libro |
1107002664 (hardback) |
040 ## - FUENTE DE LA CATALOGACIÓN |
Centro catalogador/agencia de origen |
DLC |
Lengua de catalogación |
eng |
Centro/agencia transcriptor |
DLC |
Normas de descripción |
rda |
Centro/agencia modificador |
DLC |
-- |
BYT |
042 ## - CÓDIGO DE AUTENTICACIÓN |
Código de autenticación |
pcc |
050 00 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO |
Número de clasificación |
QA9.2 |
Número de documento/Ítem |
.I58 2014 |
082 00 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
Número de clasificación |
511.3 |
Número de edición |
23 |
084 ## - OTRO NÚMERO DE CLASIFICACIÓN |
Número de clasificación |
SCI075000 |
Fuente del número |
bisacsh |
245 00 - MENCIÓN DE TÍTULO |
Título |
Interpreting Gödel : |
Resto del título |
critical essays / |
Mención de responsabilidad, etc. |
edited by Juliette Kennedy. |
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. (PIE DE IMPRENTA) |
Lugar de publicación, distribución, etc. |
United Kingdom : |
Nombre del editor, distribuidor, etc. |
Cambridge ; |
Fecha de publicación, distribución, etc. |
2014. |
300 ## - DESCRIPCIÓN FÍSICA |
Extensión |
xi, 279 p. ; |
Dimensiones |
24 cm |
500 ## - NOTA GENERAL |
Nota general |
Includes alphabetical index. |
504 ## - NOTA DE BIBLIOGRAFÍA, ETC. |
Bibliografía, etc. |
Includes bibliographical references p. 256-276. |
505 8# - NOTA DE CONTENIDO CON FORMATO |
Nota de contenido con formato |
Machine generated contents note: 1. Introduction: Gödel and analytic philosophy: how did we get here? Juliette Kennedy; Part I. Gödel on Intuition: 2. Intuitions of three kinds in Gödel's views on the continuum John Burgess; 3. Gödel on how to have your mathematics and know it too Janet Folina; Part II. The Completeness Theorem: 4. Completeness and the ends of axiomatization Michael Detlefsen; 5. Logical completeness, form, and content: an archaeology Curtis Franks; Part III. Computability and Analyticity: 6. Gödel's 1946 Princeton bicentennial lecture: an appreciation Juliette Kennedy; 7. Analyticity for realists Charles Parsons; Part IV. The Set-theoretic Multiverse: 8. Gödel's program John Steel; 9. Multiverse set theory and absolutely undecidable propositions Jouko Väänänen; Part V. The Legacy: 10. Undecidable problems: a sampler Bjorn Poonen; 11. Reflecting on logical dreams Saharon Shelah. |
520 ## - SUMARIO, ETC. |
Sumario, etc. |
"The logician Kurt Gödel (1906-1978) published a paper in 1931 formulating what have come to be known as his 'incompleteness theorems', which prove, among other things, that within any formal system with resources sufficient to code arithmetic, questions exist which are neither provable nor disprovable on the basis of the axioms which define the system. These are among the most celebrated results in logic today. In this volume, leading philosophers and mathematicians assess important aspects of Gödel's work on the foundations and philosophy of mathematics. Their essays explore almost every aspect of Gödel's intellectual legacy including his concepts of intuition and analyticity, the Completeness Theorem, the set-theoretic multiverse, and the state of mathematical logic today. This groundbreaking volume will be invaluable to students, historians, logicians and philosophers of mathematics who wish to understand the current thinking on these issues"-- |
600 10 - PUNTO DE ACCESO ADICIONAL DE MATERIA--NOMBRE DE PERSONA |
Nombre de persona |
Gödel, Kurt. |
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento inicial |
Logic, Symbolic and mathematical. |
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento inicial |
Mathematics |
Subdivisión general |
Philosophy. |
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento inicial |
Science / Philosophy |
9 (RLIN) |
2139 |
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
Nombre de persona |
Kennedy, Juliette, |
Fechas asociadas al nombre |
1955- |
Término indicativo de función/relación |
editor. |
906 ## - ELEMENTOS DE DATOS F LOCAL, LDF (RLIN) |
a |
7 |
b |
cbc |
c |
orignew |
d |
1 |
e |
ecip |
f |
20 |
g |
y-gencatlg |
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) |
Fuente del sistema de clasificación o colocación |
Clasificación Decimal Dewey |
Tipo de ítem Koha |
Colección general |
955 ## - INFORMACIÓN NIVEL-COPIA (RLIN) |
Número de libro/signatura topográfica indivisible, CCAL (RLIN) |
rl07 2014-03-13 |
Estado de la copia, CST (RLIN) |
rl07 2014-03-13 ONIX to Dewey |
Classification number, CCAL (RLIN) |
xn12 2014-11-24 1 copy rec'd., to CIP ver. |
-- |
rl00 2014-11-26 to SMA |
999 ## - NÚMEROS DE CONTROL DE SISTEMA (KOHA) |
Koha biblionumber |
2691 |