Kurt Gödel
Herausgeber: Feferman, Solomon; Simpson, Stephen G.; Parsons, Charles
Kurt Gödel
Herausgeber: Feferman, Solomon; Simpson, Stephen G.; Parsons, Charles
- Gebundenes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
Papers examining aspects of Godel's work gathered from a symposium celebrating Gödel's centennial and papers from a 2004 ASL symposium.
Andere Kunden interessierten sich auch für
- Ernest NagelDer Gödelsche Beweis34,95 €
- Kurt Godel32,99 €
- The Legacy of Kurt Schütte90,99 €
- Dirk W. HoffmannGödel's Incompleteness Theorems38,99 €
- The Legacy of Kurt Schütte90,99 €
- Dirk W. HoffmannDie Gödel'schen Unvollständigkeitssätze44,99 €
- Dirk W. HoffmannGrenzen der Mathematik39,99 €
-
-
-
Papers examining aspects of Godel's work gathered from a symposium celebrating Gödel's centennial and papers from a 2004 ASL symposium.
Produktdetails
- Produktdetails
- Verlag: Cambridge University Press
- Seitenzahl: 384
- Erscheinungstermin: 26. August 2010
- Englisch
- Abmessung: 235mm x 157mm x 25mm
- Gewicht: 706g
- ISBN-13: 9780521115148
- ISBN-10: 0521115140
- Artikelnr.: 29985418
- Herstellerkennzeichnung
- Libri GmbH
- Europaallee 1
- 36244 Bad Hersfeld
- gpsr@libri.de
- Verlag: Cambridge University Press
- Seitenzahl: 384
- Erscheinungstermin: 26. August 2010
- Englisch
- Abmessung: 235mm x 157mm x 25mm
- Gewicht: 706g
- ISBN-13: 9780521115148
- ISBN-10: 0521115140
- Artikelnr.: 29985418
- Herstellerkennzeichnung
- Libri GmbH
- Europaallee 1
- 36244 Bad Hersfeld
- gpsr@libri.de
Part I. General: 1. The Gödel editorial project: a synopsis Solomon
Feferman; 2. Future tasks for Gödel scholars John W. Dawson, Jr, and Cheryl
A. Dawson; Part II. Proof Theory: 3. Kurt Gödel and the metamathematical
tradition Jeremy Avigad; 4. Only two letters: the correspondence between
Herbrand and Gödel Wilfried Sieg; 5. Gödel's reformulation of Gentzen's
first consistency proof for arithmetic: the no-counter-example
interpretation W. W. Tait; 6. Gödel on intuition and on Hilbert's finitism
W. W. Tait; 7. The Gödel 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. Gödel and set theory Akihiro
Kanamori; 10. Generalizations of Gödel'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 Gödel believe
and when did he believe it? Martin Davis; 13. On Gödel's way in: the
influence of Rudolf Carnap Warren Goldfarb; 14. Gödel and Carnap Steve
Awodey and A. W. Carus; 15. On the philosophical development of Kurt Gödel
Mark van Atten and Juliette Kennedy; 16. Platonism and mathematical
intuition in Kurt Gödel's thought Charles Parsons; 17. Gödel's conceptual
realism Donald A. Martin.
Feferman; 2. Future tasks for Gödel scholars John W. Dawson, Jr, and Cheryl
A. Dawson; Part II. Proof Theory: 3. Kurt Gödel and the metamathematical
tradition Jeremy Avigad; 4. Only two letters: the correspondence between
Herbrand and Gödel Wilfried Sieg; 5. Gödel's reformulation of Gentzen's
first consistency proof for arithmetic: the no-counter-example
interpretation W. W. Tait; 6. Gödel on intuition and on Hilbert's finitism
W. W. Tait; 7. The Gödel 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. Gödel and set theory Akihiro
Kanamori; 10. Generalizations of Gödel'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 Gödel believe
and when did he believe it? Martin Davis; 13. On Gödel's way in: the
influence of Rudolf Carnap Warren Goldfarb; 14. Gödel and Carnap Steve
Awodey and A. W. Carus; 15. On the philosophical development of Kurt Gödel
Mark van Atten and Juliette Kennedy; 16. Platonism and mathematical
intuition in Kurt Gödel's thought Charles Parsons; 17. Gödel's conceptual
realism Donald A. Martin.
Part I. General: 1. The Gödel editorial project: a synopsis Solomon
Feferman; 2. Future tasks for Gödel scholars John W. Dawson, Jr, and Cheryl
A. Dawson; Part II. Proof Theory: 3. Kurt Gödel and the metamathematical
tradition Jeremy Avigad; 4. Only two letters: the correspondence between
Herbrand and Gödel Wilfried Sieg; 5. Gödel's reformulation of Gentzen's
first consistency proof for arithmetic: the no-counter-example
interpretation W. W. Tait; 6. Gödel on intuition and on Hilbert's finitism
W. W. Tait; 7. The Gödel 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. Gödel and set theory Akihiro
Kanamori; 10. Generalizations of Gödel'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 Gödel believe
and when did he believe it? Martin Davis; 13. On Gödel's way in: the
influence of Rudolf Carnap Warren Goldfarb; 14. Gödel and Carnap Steve
Awodey and A. W. Carus; 15. On the philosophical development of Kurt Gödel
Mark van Atten and Juliette Kennedy; 16. Platonism and mathematical
intuition in Kurt Gödel's thought Charles Parsons; 17. Gödel's conceptual
realism Donald A. Martin.
Feferman; 2. Future tasks for Gödel scholars John W. Dawson, Jr, and Cheryl
A. Dawson; Part II. Proof Theory: 3. Kurt Gödel and the metamathematical
tradition Jeremy Avigad; 4. Only two letters: the correspondence between
Herbrand and Gödel Wilfried Sieg; 5. Gödel's reformulation of Gentzen's
first consistency proof for arithmetic: the no-counter-example
interpretation W. W. Tait; 6. Gödel on intuition and on Hilbert's finitism
W. W. Tait; 7. The Gödel 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. Gödel and set theory Akihiro
Kanamori; 10. Generalizations of Gödel'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 Gödel believe
and when did he believe it? Martin Davis; 13. On Gödel's way in: the
influence of Rudolf Carnap Warren Goldfarb; 14. Gödel and Carnap Steve
Awodey and A. W. Carus; 15. On the philosophical development of Kurt Gödel
Mark van Atten and Juliette Kennedy; 16. Platonism and mathematical
intuition in Kurt Gödel's thought Charles Parsons; 17. Gödel's conceptual
realism Donald A. Martin.