Kurt Gödel :: essays for his centennial /
"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 contemp...
Gespeichert in:
| Weitere Verfasser: | , , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
[Ithaca, NY] : Cambridge ; New York :
Association for Symbolic Logic ; Cambridge University Press,
©2010.
|
| Schriftenreihe: | Lecture notes in logic ;
33. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | "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. |
| Beschreibung: | 1 online resource (x, 373 pages) : illustrations. |
| Bibliographie: | Includes bibliographical references. |
| ISBN: | 9780511750021 0511750021 9780511743474 0511743475 9786612630767 6612630760 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn646069180 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr mnu---unuuu | ||
| 008 | 100706s2010 nyua ob 010 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OSU |d YDXCP |d E7B |d OCLCQ |d REDDC |d OCLCQ |d DEBSZ |d OCLCQ |d COO |d OCLCQ |d OCLCF |d OCLCQ |d NJR |d OCLCQ |d K6U |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ |d OCLCL |d SFB | ||
| 019 | |a 649913078 | ||
| 020 | |a 9780511750021 |q (electronic bk.) | ||
| 020 | |a 0511750021 |q (electronic bk.) | ||
| 020 | |a 9780511743474 |q (ebook) | ||
| 020 | |a 0511743475 |q (ebook) | ||
| 020 | |z 9780521115148 |q (hardback) | ||
| 020 | |z 0521115140 |q (hardback) | ||
| 020 | |a 9786612630767 | ||
| 020 | |a 6612630760 | ||
| 035 | |a (OCoLC)646069180 |z (OCoLC)649913078 | ||
| 037 | |a 263076 |b MIL | ||
| 050 | 4 | |a QA9.2 |b .K87 2010eb | |
| 072 | 7 | |a MAT |x 015000 |2 bisacsh | |
| 082 | 7 | |a 510.92 |2 22 | |
| 049 | |a MAIN | ||
| 245 | 0 | 0 | |a Kurt Gödel : |b essays for his centennial / |c edited by Solomon Feferman, Charles Parsons, Stephen G. Simpson. |
| 260 | |a [Ithaca, NY] : |b Association for Symbolic Logic ; |a Cambridge ; |a New York : |b Cambridge University Press, |c ©2010. | ||
| 300 | |a 1 online resource (x, 373 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 | ||
| 490 | 1 | |a Lecture notes in logic ; |v 33 | |
| 520 | |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. | ||
| 504 | |a Includes bibliographical references. | ||
| 505 | 0 | |a General. The Gödel editorial project : a synopsis / Solomon Feferman -- Future tasks for Gödel scholars / John W. Dawson, Jr. and Cheryl A. Dawson -- Proof theory. Gödel and the metamathematical tradition / Jeremy Avigad -- Only two letters : the correspondence between Herbrand and Gödel / Wilfried Sieg -- Gödel's reformulation of Gentzen's first consistency proof for arithmetic : the no-counterexample interpretation / W.W. Tait -- Gödel on intuition and on Hilbert's finitism / W.W. Tait -- The Gödel hierarchy and reverse mathematics / Stephen G. Simpson -- On the outside looking in : a caution about conservativeness / John P. Burgess -- Set theory. Gödel and set theory / Akihiro Kanamori -- Generalizations of Gödel's universe of constructible sets / Sy-David Friedman -- On the question of absolute undecidability / Peter Koellner -- Philosophy of mathematics. What did Gödel believe and when did he believe it? / Martin Davis -- On Gödel's way in : the influence of Rudolf Carnap / Warren Goldfarb -- Gödel and Carnap / Steve Awodey and A.W. Carus -- On the philosophical development of Kurt Gödel / Mark van Atten and Juliette Kennedy -- Platonism and mathematical intuition in Kurt Gödel's thought / Charles Parsons -- Gödel's conceptual realism / Donald A. Martin. | |
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. |0 http://id.loc.gov/authorities/subjects/sh85078115 | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 7 | |a MATHEMATICS |x History & Philosophy. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 655 | 0 | |a Electronic books. | |
| 655 | 4 | |a Electronic books. | |
| 700 | 1 | |a Gödel, Kurt. |0 http://id.loc.gov/authorities/names/n79007770 | |
| 700 | 1 | |a Feferman, Solomon. |0 http://id.loc.gov/authorities/names/n81134818 | |
| 700 | 1 | |a Parsons, Charles, |d 1933- |1 https://id.oclc.org/worldcat/entity/E39PBJrCgq7fjGJCvmvTJM7mBP |0 http://id.loc.gov/authorities/names/n83146630 | |
| 700 | 1 | |a Simpson, Stephen G. |q (Stephen George), |d 1945- |1 https://id.oclc.org/worldcat/entity/E39PBJxRypbYYxyT4BCrjjwt8C |0 http://id.loc.gov/authorities/names/n85298999 | |
| 758 | |i has work: |a Kurt Gödel (Text) |1 https://id.oclc.org/worldcat/entity/E39PCFC3dtVgYDK3PVtCrKdjkC |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |t Kurt Gödel. |d New York : Cambridge University Press ; Ithaca, NY : Association for Symbolic Logic, 2010 |z 9780521115148 |w (DLC) 2010007117 |w (OCoLC)551196620 |
| 830 | 0 | |a Lecture notes in logic ; |v 33. |0 http://id.loc.gov/authorities/names/n93082404 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=320440 |3 Volltext |
| 938 | |a ebrary |b EBRY |n ebr10394691 | ||
| 938 | |a EBSCOhost |b EBSC |n 320440 | ||
| 938 | |a YBP Library Services |b YANK |n 3330887 | ||
| 938 | |a YBP Library Services |b YANK |n 3322657 | ||
| 938 | |a YBP Library Services |b YANK |n 3371105 | ||
| 938 | |a YBP Library Services |b YANK |n 3583498 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn646069180 |
|---|---|
| _version_ | 1816881724435464192 |
| adam_text | |
| any_adam_object | |
| author2 | Gödel, Kurt Feferman, Solomon Parsons, Charles, 1933- Simpson, Stephen G. (Stephen George), 1945- |
| author2_role | |
| author2_variant | k g kg s f sf c p cp s g s sg sgs |
| author_GND | http://id.loc.gov/authorities/names/n79007770 http://id.loc.gov/authorities/names/n81134818 http://id.loc.gov/authorities/names/n83146630 http://id.loc.gov/authorities/names/n85298999 |
| author_facet | Gödel, Kurt Feferman, Solomon Parsons, Charles, 1933- Simpson, Stephen G. (Stephen George), 1945- |
| author_sort | Gödel, Kurt |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.2 .K87 2010eb |
| callnumber-search | QA9.2 .K87 2010eb |
| callnumber-sort | QA 19.2 K87 42010EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | General. The Gödel editorial project : a synopsis / Solomon Feferman -- Future tasks for Gödel scholars / John W. Dawson, Jr. and Cheryl A. Dawson -- Proof theory. Gödel and the metamathematical tradition / Jeremy Avigad -- Only two letters : the correspondence between Herbrand and Gödel / Wilfried Sieg -- Gödel's reformulation of Gentzen's first consistency proof for arithmetic : the no-counterexample interpretation / W.W. Tait -- Gödel on intuition and on Hilbert's finitism / W.W. Tait -- The Gödel hierarchy and reverse mathematics / Stephen G. Simpson -- On the outside looking in : a caution about conservativeness / John P. Burgess -- Set theory. Gödel and set theory / Akihiro Kanamori -- Generalizations of Gödel's universe of constructible sets / Sy-David Friedman -- On the question of absolute undecidability / Peter Koellner -- Philosophy of mathematics. What did Gödel believe and when did he believe it? / Martin Davis -- On Gödel's way in : the influence of Rudolf Carnap / Warren Goldfarb -- Gödel and Carnap / Steve Awodey and A.W. Carus -- On the philosophical development of Kurt Gödel / Mark van Atten and Juliette Kennedy -- Platonism and mathematical intuition in Kurt Gödel's thought / Charles Parsons -- Gödel's conceptual realism / Donald A. Martin. |
| ctrlnum | (OCoLC)646069180 |
| 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 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05407cam a2200673 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn646069180</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr mnu---unuuu</controlfield><controlfield tag="008">100706s2010 nyua ob 010 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">OSU</subfield><subfield code="d">YDXCP</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">REDDC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">COO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">NJR</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">K6U</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCL</subfield><subfield code="d">SFB</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">649913078</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511750021</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511750021</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511743474</subfield><subfield code="q">(ebook)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511743475</subfield><subfield code="q">(ebook)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780521115148</subfield><subfield code="q">(hardback)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0521115140</subfield><subfield code="q">(hardback)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9786612630767</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">6612630760</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)646069180</subfield><subfield code="z">(OCoLC)649913078</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">263076</subfield><subfield code="b">MIL</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.2</subfield><subfield code="b">.K87 2010eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">015000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">510.92</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Kurt Gödel :</subfield><subfield code="b">essays for his centennial /</subfield><subfield code="c">edited by Solomon Feferman, Charles Parsons, Stephen G. Simpson.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">[Ithaca, NY] :</subfield><subfield code="b">Association for Symbolic Logic ;</subfield><subfield code="a">Cambridge ;</subfield><subfield code="a">New York :</subfield><subfield code="b">Cambridge University Press,</subfield><subfield code="c">©2010.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (x, 373 pages) :</subfield><subfield code="b">illustrations.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</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="520" 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.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">General. The Gödel editorial project : a synopsis / Solomon Feferman -- Future tasks for Gödel scholars / John W. Dawson, Jr. and Cheryl A. Dawson -- Proof theory. Gödel and the metamathematical tradition / Jeremy Avigad -- Only two letters : the correspondence between Herbrand and Gödel / Wilfried Sieg -- Gödel's reformulation of Gentzen's first consistency proof for arithmetic : the no-counterexample interpretation / W.W. Tait -- Gödel on intuition and on Hilbert's finitism / W.W. Tait -- The Gödel hierarchy and reverse mathematics / Stephen G. Simpson -- On the outside looking in : a caution about conservativeness / John P. Burgess -- Set theory. Gödel and set theory / Akihiro Kanamori -- Generalizations of Gödel's universe of constructible sets / Sy-David Friedman -- On the question of absolute undecidability / Peter Koellner -- Philosophy of mathematics. What did Gödel believe and when did he believe it? / Martin Davis -- On Gödel's way in : the influence of Rudolf Carnap / Warren Goldfarb -- Gödel and Carnap / Steve Awodey and A.W. Carus -- On the philosophical development of Kurt Gödel / Mark van Atten and Juliette Kennedy -- Platonism and mathematical intuition in Kurt Gödel's thought / Charles Parsons -- Gödel's conceptual realism / Donald A. Martin.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85078115</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logique symbolique et mathématique.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">History & Philosophy.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="0"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gödel, Kurt.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n79007770</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Feferman, Solomon.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n81134818</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Parsons, Charles,</subfield><subfield code="d">1933-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJrCgq7fjGJCvmvTJM7mBP</subfield><subfield code="0">http://id.loc.gov/authorities/names/n83146630</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Simpson, Stephen G.</subfield><subfield code="q">(Stephen George),</subfield><subfield code="d">1945-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJxRypbYYxyT4BCrjjwt8C</subfield><subfield code="0">http://id.loc.gov/authorities/names/n85298999</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Kurt Gödel (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCFC3dtVgYDK3PVtCrKdjkC</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="t">Kurt Gödel.</subfield><subfield code="d">New York : Cambridge University Press ; Ithaca, NY : Association for Symbolic Logic, 2010</subfield><subfield code="z">9780521115148</subfield><subfield code="w">(DLC) 2010007117</subfield><subfield code="w">(OCoLC)551196620</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in logic ;</subfield><subfield code="v">33.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n93082404</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=320440</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10394691</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">320440</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3330887</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3322657</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3371105</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3583498</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | Electronic books. |
| genre_facet | Electronic books. |
| id | ZDB-4-EBA-ocn646069180 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:17:16Z |
| institution | BVB |
| isbn | 9780511750021 0511750021 9780511743474 0511743475 9786612630767 6612630760 |
| language | English |
| oclc_num | 646069180 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (x, 373 pages) : illustrations. |
| psigel | ZDB-4-EBA |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Association for Symbolic Logic ; Cambridge University Press, |
| record_format | marc |
| series | Lecture notes in logic ; |
| series2 | Lecture notes in logic ; |
| spelling | Kurt Gödel : essays for his centennial / edited by Solomon Feferman, Charles Parsons, Stephen G. Simpson. [Ithaca, NY] : Association for Symbolic Logic ; Cambridge ; New York : Cambridge University Press, ©2010. 1 online resource (x, 373 pages) : illustrations. text txt rdacontent computer c rdamedia online resource cr 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. Includes bibliographical references. General. The Gödel editorial project : a synopsis / Solomon Feferman -- Future tasks for Gödel scholars / John W. Dawson, Jr. and Cheryl A. Dawson -- Proof theory. Gödel and the metamathematical tradition / Jeremy Avigad -- Only two letters : the correspondence between Herbrand and Gödel / Wilfried Sieg -- Gödel's reformulation of Gentzen's first consistency proof for arithmetic : the no-counterexample interpretation / W.W. Tait -- Gödel on intuition and on Hilbert's finitism / W.W. Tait -- The Gödel hierarchy and reverse mathematics / Stephen G. Simpson -- On the outside looking in : a caution about conservativeness / John P. Burgess -- Set theory. Gödel and set theory / Akihiro Kanamori -- Generalizations of Gödel's universe of constructible sets / Sy-David Friedman -- On the question of absolute undecidability / Peter Koellner -- Philosophy of mathematics. What did Gödel believe and when did he believe it? / Martin Davis -- On Gödel's way in : the influence of Rudolf Carnap / Warren Goldfarb -- Gödel and Carnap / Steve Awodey and A.W. Carus -- On the philosophical development of Kurt Gödel / Mark van Atten and Juliette Kennedy -- Platonism and mathematical intuition in Kurt Gödel's thought / Charles Parsons -- Gödel's conceptual realism / Donald A. Martin. Print version record. Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Logique symbolique et mathématique. MATHEMATICS History & Philosophy. bisacsh Logic, Symbolic and mathematical fast Electronic books. Gödel, Kurt. http://id.loc.gov/authorities/names/n79007770 Feferman, Solomon. http://id.loc.gov/authorities/names/n81134818 Parsons, Charles, 1933- https://id.oclc.org/worldcat/entity/E39PBJrCgq7fjGJCvmvTJM7mBP http://id.loc.gov/authorities/names/n83146630 Simpson, Stephen G. (Stephen George), 1945- https://id.oclc.org/worldcat/entity/E39PBJxRypbYYxyT4BCrjjwt8C http://id.loc.gov/authorities/names/n85298999 has work: Kurt Gödel (Text) https://id.oclc.org/worldcat/entity/E39PCFC3dtVgYDK3PVtCrKdjkC https://id.oclc.org/worldcat/ontology/hasWork Print version: Kurt Gödel. New York : Cambridge University Press ; Ithaca, NY : Association for Symbolic Logic, 2010 9780521115148 (DLC) 2010007117 (OCoLC)551196620 Lecture notes in logic ; 33. http://id.loc.gov/authorities/names/n93082404 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=320440 Volltext |
| spellingShingle | Kurt Gödel : essays for his centennial / Lecture notes in logic ; General. The Gödel editorial project : a synopsis / Solomon Feferman -- Future tasks for Gödel scholars / John W. Dawson, Jr. and Cheryl A. Dawson -- Proof theory. Gödel and the metamathematical tradition / Jeremy Avigad -- Only two letters : the correspondence between Herbrand and Gödel / Wilfried Sieg -- Gödel's reformulation of Gentzen's first consistency proof for arithmetic : the no-counterexample interpretation / W.W. Tait -- Gödel on intuition and on Hilbert's finitism / W.W. Tait -- The Gödel hierarchy and reverse mathematics / Stephen G. Simpson -- On the outside looking in : a caution about conservativeness / John P. Burgess -- Set theory. Gödel and set theory / Akihiro Kanamori -- Generalizations of Gödel's universe of constructible sets / Sy-David Friedman -- On the question of absolute undecidability / Peter Koellner -- Philosophy of mathematics. What did Gödel believe and when did he believe it? / Martin Davis -- On Gödel's way in : the influence of Rudolf Carnap / Warren Goldfarb -- Gödel and Carnap / Steve Awodey and A.W. Carus -- On the philosophical development of Kurt Gödel / Mark van Atten and Juliette Kennedy -- Platonism and mathematical intuition in Kurt Gödel's thought / Charles Parsons -- Gödel's conceptual realism / Donald A. Martin. Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Logique symbolique et mathématique. MATHEMATICS History & Philosophy. bisacsh Logic, Symbolic and mathematical fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85078115 |
| 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 / edited by Solomon Feferman, Charles Parsons, Stephen G. Simpson. |
| title_fullStr | Kurt Gödel : essays for his centennial / edited by Solomon Feferman, Charles Parsons, Stephen G. Simpson. |
| title_full_unstemmed | Kurt Gödel : essays for his centennial / edited by Solomon Feferman, Charles Parsons, Stephen G. Simpson. |
| title_short | Kurt Gödel : |
| title_sort | kurt godel essays for his centennial |
| title_sub | essays for his centennial / |
| topic | Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Logique symbolique et mathématique. MATHEMATICS History & Philosophy. bisacsh Logic, Symbolic and mathematical fast |
| topic_facet | Logic, Symbolic and mathematical. Logique symbolique et mathématique. MATHEMATICS History & Philosophy. Logic, Symbolic and mathematical Electronic books. |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=320440 |
| work_keys_str_mv | AT godelkurt kurtgodelessaysforhiscentennial AT fefermansolomon kurtgodelessaysforhiscentennial AT parsonscharles kurtgodelessaysforhiscentennial AT simpsonstepheng kurtgodelessaysforhiscentennial |