Kurt Gödel: essays for his centennial
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Cambridge [u.a.]
Cambridge University Press
2010
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | Lecture notes in logic
33 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | "Kurt Gödel (1906-1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of formalized arithmetic. This book on different aspects of his work and on subjects in which his ideas have contemporary resonance includes papers from a May 2006 symposium celebrating Gödel's centennial as well as papers from a 2004 symposium. Proof theory, set theory, philosophy of mathematics, and the editing of Gödel's writings are among the topics covered. Several chapters discuss his intellectual development and his relation to predecessors and contemporaries such as Hilbert, Carnap, and Herbrand. Others consider his views on justification in set theory in light of more recent work and contemporary echoes of his incompleteness theorems and the concept of constructible set"-- Provided by publisher. Literaturangaben Includes bibliographical references and index |
| Beschreibung: | X, 373 S. |
| ISBN: | 9780521115148 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV036453782 | ||
| 003 | DE-604 | ||
| 005 | 20131023 | ||
| 007 | t | ||
| 008 | 100517s2010 xxu |||| 01||| eng d | ||
| 010 | |a 2010007117 | ||
| 020 | |a 9780521115148 |c hardback |9 978-0-521-11514-8 | ||
| 035 | |a (OCoLC)699643543 | ||
| 035 | |a (DE-599)BVBBV036453782 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-703 |a DE-11 |a DE-12 |a DE-19 |a DE-29 | ||
| 050 | 0 | |a QA9.2 | |
| 082 | 0 | |a 510.92 | |
| 084 | |a CI 2305 |0 (DE-625)18393:11798 |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 245 | 1 | 0 | |a Kurt Gödel |b essays for his centennial |c ed. by Solomon Feferman ... |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge [u.a.] |b Cambridge University Press |c 2010 | |
| 300 | |a X, 373 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in logic |v 33 | |
| 500 | |a "Kurt Gödel (1906-1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of formalized arithmetic. This book on different aspects of his work and on subjects in which his ideas have contemporary resonance includes papers from a May 2006 symposium celebrating Gödel's centennial as well as papers from a 2004 symposium. Proof theory, set theory, philosophy of mathematics, and the editing of Gödel's writings are among the topics covered. Several chapters discuss his intellectual development and his relation to predecessors and contemporaries such as Hilbert, Carnap, and Herbrand. Others consider his views on justification in set theory in light of more recent work and contemporary echoes of his incompleteness theorems and the concept of constructible set"-- Provided by publisher. Literaturangaben | ||
| 500 | |a Includes bibliographical references and index | ||
| 600 | 1 | 7 | |a Gödel, Kurt |d 1906-1978 |0 (DE-588)11869569X |2 gnd |9 rswk-swf |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 655 | 7 | |0 (DE-588)4016928-5 |a Festschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Gödel, Kurt |d 1906-1978 |0 (DE-588)11869569X |D p |
| 689 | 0 | |C b |5 DE-604 | |
| 700 | 1 | |a Feferman, Solomon |d 1928- |e Sonstige |0 (DE-588)128682167 |4 oth | |
| 700 | 1 | |a Gödel, Kurt |d 1906-1978 |0 (DE-588)11869569X |4 hnr | |
| 830 | 0 | |a Lecture notes in logic |v 33 |w (DE-604)BV008909514 |9 33 | |
| 856 | 4 | 2 | |m LoC Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020325836&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-020325836 | ||
| 942 | 1 | 1 | |c 509 |e 22/bsb |f 0904 |g 73 |
| 942 | 1 | 1 | |c 509 |e 22/bsb |f 0904 |g 436 |
Datensatz im Suchindex
| _version_ | 1804142941738893312 |
|---|---|
| adam_text | KURT GOEDEL
/ GOEDEL, KURT
: 2010
TABLE OF CONTENTS / INHALTSVERZEICHNIS
PART I. GENERAL: 1. THE GOEDEL EDITORIAL PROJECT: A SYNOPSIS SOLOMON
FEFERMAN; 2. FUTURE TASKS FOR GOEDEL SCHOLARS JOHN W. DAWSON, JR., AND
CHERYL A. DAWSON; PART II. PROOF THEORY: 3. KURT GOEDEL AND THE
METAMATHEMATICAL TRADITION JEREMY AVIGAD; 4. ONLY TWO LETTERS: THE
CORRESPONDENCE BETWEEN HERBRAND AND GOEDEL WILFRIED SIEG; 5. GOEDEL S
REFORMULATION OF GENTZEN S FIRST CONSISTENCY PROOF FOR ARITHMETIC: THE
NO-COUNTER-EXAMPLE INTERPRETATION W. W. TAIT; 6. GOEDEL ON INTUITION AND
ON HILBERT S FINITISM W. W. TAIT; 7. THE GOEDEL HIERARCHY AND REVERSE
MATHEMATICS STEPHEN G. SIMPSON; 8. ON THE OUTSIDE LOOKING IN: A CAUTION
ABOUT CONSERVATIVENESS JOHN P. BURGESS; PART III. SET THEORY: 9. GOEDEL
AND SET THEORY AKIHIRO KANAMORI; 10. GENERALIZATIONS OF GOEDEL S UNIVERSE
OF CONSTRUCTIBLE SETS SY-DAVID FRIEDMAN; 11. ON THE QUESTION OF ABSOLUTE
UNDECIDABILITY PETER KOELLNER; PART IV. PHILOSOPHY OF MATHEMATICS: 12.
WHAT DID GOEDEL BELIEVE AND WHEN DID HE BELIEVE IT? MARTIN DAVIS; 13. ON
GOEDEL S WAY IN: THE INFLUENCE OF RUDOLF CARNAP WARREN GOLDFARB; 14.
GOEDEL AND CARNAP STEVE AWODEY AND A. W. CARUS; 15. ON THE PHILOSOPHICAL
DEVELOPMENT OF KURT GOEDEL MARK VAN ATTEN AND JULIETTE KENNEDY; 16.
PLATONISM AND MATHEMATICAL INTUITION IN KURT GOEDEL S THOUGHT CHARLES
PARSONS; 17. GOEDEL S CONCEPTUAL REALISM DONALD A. MARTIN.
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author_GND | (DE-588)128682167 (DE-588)11869569X |
| building | Verbundindex |
| bvnumber | BV036453782 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.2 |
| callnumber-search | QA9.2 |
| callnumber-sort | QA 19.2 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CI 2305 |
| ctrlnum | (OCoLC)699643543 (DE-599)BVBBV036453782 |
| dewey-full | 510.92 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510.92 |
| dewey-search | 510.92 |
| dewey-sort | 3510.92 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02823nam a2200505zcb4500</leader><controlfield tag="001">BV036453782</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20131023 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100517s2010 xxu |||| 01||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2010007117</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521115148</subfield><subfield code="c">hardback</subfield><subfield code="9">978-0-521-11514-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)699643543</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036453782</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-29</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.2</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510.92</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CI 2305</subfield><subfield code="0">(DE-625)18393:11798</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Kurt Gödel</subfield><subfield code="b">essays for his centennial</subfield><subfield code="c">ed. by Solomon Feferman ...</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 373 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in logic</subfield><subfield code="v">33</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"Kurt Gödel (1906-1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of formalized arithmetic. This book on different aspects of his work and on subjects in which his ideas have contemporary resonance includes papers from a May 2006 symposium celebrating Gödel's centennial as well as papers from a 2004 symposium. Proof theory, set theory, philosophy of mathematics, and the editing of Gödel's writings are among the topics covered. Several chapters discuss his intellectual development and his relation to predecessors and contemporaries such as Hilbert, Carnap, and Herbrand. Others consider his views on justification in set theory in light of more recent work and contemporary echoes of his incompleteness theorems and the concept of constructible set"-- Provided by publisher. Literaturangaben</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Gödel, Kurt</subfield><subfield code="d">1906-1978</subfield><subfield code="0">(DE-588)11869569X</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4016928-5</subfield><subfield code="a">Festschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Gödel, Kurt</subfield><subfield code="d">1906-1978</subfield><subfield code="0">(DE-588)11869569X</subfield><subfield code="D">p</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="C">b</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Feferman, Solomon</subfield><subfield code="d">1928-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)128682167</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gödel, Kurt</subfield><subfield code="d">1906-1978</subfield><subfield code="0">(DE-588)11869569X</subfield><subfield code="4">hnr</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in logic</subfield><subfield code="v">33</subfield><subfield code="w">(DE-604)BV008909514</subfield><subfield code="9">33</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">LoC Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020325836&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020325836</subfield></datafield><datafield tag="942" ind1="1" ind2="1"><subfield code="c">509</subfield><subfield code="e">22/bsb</subfield><subfield code="f">0904</subfield><subfield code="g">73</subfield></datafield><datafield tag="942" ind1="1" ind2="1"><subfield code="c">509</subfield><subfield code="e">22/bsb</subfield><subfield code="f">0904</subfield><subfield code="g">436</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)4016928-5 Festschrift gnd-content |
| genre_facet | Aufsatzsammlung Festschrift |
| id | DE-604.BV036453782 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T22:39:46Z |
| institution | BVB |
| isbn | 9780521115148 |
| language | English |
| lccn | 2010007117 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020325836 |
| oclc_num | 699643543 |
| open_access_boolean | |
| owner | DE-703 DE-11 DE-12 DE-19 DE-BY-UBM DE-29 |
| owner_facet | DE-703 DE-11 DE-12 DE-19 DE-BY-UBM DE-29 |
| physical | X, 373 S. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Cambridge University Press |
| record_format | marc |
| series | Lecture notes in logic |
| series2 | Lecture notes in logic |
| spelling | Kurt Gödel essays for his centennial ed. by Solomon Feferman ... 1. publ. Cambridge [u.a.] Cambridge University Press 2010 X, 373 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in logic 33 "Kurt Gödel (1906-1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of formalized arithmetic. This book on different aspects of his work and on subjects in which his ideas have contemporary resonance includes papers from a May 2006 symposium celebrating Gödel's centennial as well as papers from a 2004 symposium. Proof theory, set theory, philosophy of mathematics, and the editing of Gödel's writings are among the topics covered. Several chapters discuss his intellectual development and his relation to predecessors and contemporaries such as Hilbert, Carnap, and Herbrand. Others consider his views on justification in set theory in light of more recent work and contemporary echoes of his incompleteness theorems and the concept of constructible set"-- Provided by publisher. Literaturangaben Includes bibliographical references and index Gödel, Kurt 1906-1978 (DE-588)11869569X gnd rswk-swf Logic, Symbolic and mathematical (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)4016928-5 Festschrift gnd-content Gödel, Kurt 1906-1978 (DE-588)11869569X p b DE-604 Feferman, Solomon 1928- Sonstige (DE-588)128682167 oth Gödel, Kurt 1906-1978 (DE-588)11869569X hnr Lecture notes in logic 33 (DE-604)BV008909514 33 LoC Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020325836&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Kurt Gödel essays for his centennial Lecture notes in logic Gödel, Kurt 1906-1978 (DE-588)11869569X gnd Logic, Symbolic and mathematical |
| subject_GND | (DE-588)11869569X (DE-588)4143413-4 (DE-588)4016928-5 |
| title | Kurt Gödel essays for his centennial |
| title_auth | Kurt Gödel essays for his centennial |
| title_exact_search | Kurt Gödel essays for his centennial |
| title_full | Kurt Gödel essays for his centennial ed. by Solomon Feferman ... |
| title_fullStr | Kurt Gödel essays for his centennial ed. by Solomon Feferman ... |
| title_full_unstemmed | Kurt Gödel essays for his centennial ed. by Solomon Feferman ... |
| title_short | Kurt Gödel |
| title_sort | kurt godel essays for his centennial |
| title_sub | essays for his centennial |
| topic | Gödel, Kurt 1906-1978 (DE-588)11869569X gnd Logic, Symbolic and mathematical |
| topic_facet | Gödel, Kurt 1906-1978 Logic, Symbolic and mathematical Aufsatzsammlung Festschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020325836&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV008909514 |
| work_keys_str_mv | AT fefermansolomon kurtgodelessaysforhiscentennial AT godelkurt kurtgodelessaysforhiscentennial |