In the Light of Logic
Inbunden, Engelska, 1999
Av Solomon Feferman, Stanford University) Feferman, Solomon (Professor of Philosophy and Mathematics, Professor of Philosophy and Mathematics
1 669 kr
Produktinformation
- Utgivningsdatum1999-01-07
- Mått155 x 241 x 27 mm
- Vikt649 g
- FormatInbunden
- SpråkEngelska
- SerieLogic and Computation in Philosophy Series
- Antal sidor352
- FörlagOUP USA
- ISBN9780195080308
Tillhör följande kategorier
- I: FOUNDATIONAL PROBLEMS ; 1. Declining the undecidable: Wrestling with Hilbert's Problems ; 2. Infinity in Mathematics: Is Cantor necessary? ; 3. The logic of mathematical discovery vs. the logical structure of mathematics ; II: FOUNDATIONAL WAYS ; 4. Foundational Ways ; 5. Working Foundations ; III: GODEL ; 6. Godel's life and work ; 7. Kurt Godel: conviction and caution ; 8. Introductory note to Godel's 1993 lecture ; IV: PROOF THEORY ; 9. What does logic have to tell us about mathematical proofs? ; 10. What rests on what? The proof-theoretic analysis of mathematics ; 11. Godel's Dialectica interpretation and its two-way stretch ; V: COUNTABLY REDUCIBLE MATHEMATICS ; 12. Infinity in mathematics: Is Cantor necessary? (Conclusion) ; 13. Weyl vindicated: Das Kontinuum 70 years later ; 14. Why a little bit goes a long way: Logical Foundations of scientifically applicable mathematics
an outstanding collection, highly informative, sometimes provocative, often insightful, and throughout displaying the great clarity and command which are hallmarks of the author's writing.
Mer från samma författare
Kurt Gödel: Collected Works: Volume I
Kurt Gödel, Kurt Godel, S. Feferman, John W. Dawson, Jr., Stephen C. Kleene, G. Moore, R. Solovay, Jean van Heijenoort, USA) Feferman, S. (Professor of Mathematics, Professor of Mathematics, Stanford University, USA) Dawson, Jr., John W. (Professor of Mathematics, Professor of Mathematics, Pennsylvania State University, Canada) Kleene, Stephen C. (Emeritus Professor of Mathematics and Computer Science, Emeritus Professor of Mathematics and Computer Science, University of Wisconsin, Canada) Moore, G. (, McMaster University, Ontario, USA) Solovay, R. (Professor of Mathematics, Professor of Mathematics, University of California, Berkeley, Solomon Feferman, John W. Dawson
4 359 kr
Kurt Gödel: Collected Works: Volume II
Kurt Gödel, Kurt Godel, S. Feferman, John W. Dawson, Jr., Stephen C. Kleene, G. Moore, R. Solovay, Jean van Heijenoort, USA) Feferman, S. (Professor of Mathematics, Professor of Mathematics, Stanford University, USA) Dawson, Jr., John W. (Professor of Mathematics, Professor of Mathematics, Pennsylvania State University, Canada) Kleene, Stephen C. (Emeritus Professor of Mathematics and Computer Science, Emeritus Professor of Mathematics and Computer Science, University of Wisconsin, Canada) Moore, G. (, McMaster University, Ontario, USA) Solovay, R. (Professor of Mathematics, Professor of Mathematics, University of California, Berkeley, Solomon Feferman, Jr. John W. Dawson
4 359 kr
Kurt Gödel: Collected Works: Volume III
Kurt Gödel, Kurt Godel, Solomon Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, Robert M. Solovay, USA) Feferman, Solomon (Professor of Mathematics, Professor of Mathematics, Stanford University, USA) Dawson, Jr., John W. (Professor of Mathematics, Professor of Mathematics, Pennsylvania State University, USA) Goldfarb, Warren (Professor, Professor, Harvard University, USA) Parsons, Charles (Professor, Professor, Harvard University, USA) Solovay, Robert M. (Professor of Mathematics, Professor of Mathematics, University of California, Berkeley, Charles D. Parsons
5 659 kr
Kurt Gödel: Collected Works
Kurt Gödel, Kurt Godel, Kurt G. del, Kurt G. Del, S. Feferman, John W. Dawson, Jr., Stephen C. Kleene, G. Moore, R. Solovay, Jean van Heijenoort, USA) Feferman, S. (Professor of Mathematics, Professor of Mathematics, Stanford University, USA) Dawson, Jr., John W. (Professor of Mathematics, Professor of Mathematics, Pennsylvania State University, Canada) Kleene, Stephen C. (Emeritus Professor of Mathematics and Computer Science, Emeritus Professor of Mathematics and Computer Science, University of Wisconsin, Canada) Moore, G. (, McMaster University, Ontario, USA) Solovay, R. (Professor of Mathematics, Professor of Mathematics, University of California, Berkeley, Solomon Feferman
1 159 kr
Kurt Gödel: Collected Works: Volume II
Kurt Gödel, Kurt Godel, Kurt G?del, Solomon Feferman, John W. Dawson, Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort, Stanford University) Feferman, Solomon (Professor of Math and Philosophy, Professor of Math and Philosophy, Pennsylvania State University) Dawson, Jr., John W., Jr. (, Madison (Emeritus)) Kleene, Stephen C. (, University of Wisconson, New Brunswick) Moore, Gregory H. (, Mount Allison University, Berkeley) Solovay, Robert M. (, University of California, Brandeis University) Heijenoort, Jean van (
1 539 kr
Kurt Gödel: Collected Works: Volume III
Kurt Gödel, Kurt Godel, Kurt G?del, S. Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, R. Solovay, Stanford University) Feferman, S. (Professor of Mathematics and Philosophy and the Patrick Suppes Family Professor of Humanities and Sciences, Professor of Mathematics and Philosophy and the Patrick Suppes Family Professor of Humanities and Sciences, Pennsylvania State University) Dawson, Jr., John W. (Professor of Mathematics, Professor of Mathematics, Professor of Philosophy) Goldfarb, Warren (Professor of Philosophy, both of Harvard University) Parsons, Charles (Edgar Pierce Professor of Philosophy, Edgar Pierce Professor of Philosophy, Berkeley) Solovay, R. (Emeritus Professor of Mathematics, Emeritus Professor of Mathematics, University of California, Solomon Feferman
1 159 kr
Kurt Gödel: Collected Works: Volume V
Kurt Gödel, Kurt Godel, Kurt G?del, S. Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, Wilfried Sieg, USA) Feferman, S. (Professor of Mathematics, Professor of Mathematics, Stanford University, USA) Dawson, Jr., John W. (Professor of Mathematics, Professor of Mathematics, Pennsylvania State University, Solomon Feferman
5 249 kr
Kurt Gödel: Collected Works: Volume IV
Kurt Gödel, Kurt Godel, Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons, Wilfried Sieg, Solomon (Stanford University) Feferman, Jr. (Penn State York University) Dawson, John W., Warren (Harvard University) Goldfarb, Charles (Harvard University) Parsons, Wilfried (Carnegie Mellon University) Sieg
1 349 kr
Du kanske också är intresserad av
Kurt Gödel: Collected Works
Kurt Gödel, Kurt Godel, Kurt G. del, Kurt G. Del, S. Feferman, John W. Dawson, Jr., Stephen C. Kleene, G. Moore, R. Solovay, Jean van Heijenoort, USA) Feferman, S. (Professor of Mathematics, Professor of Mathematics, Stanford University, USA) Dawson, Jr., John W. (Professor of Mathematics, Professor of Mathematics, Pennsylvania State University, Canada) Kleene, Stephen C. (Emeritus Professor of Mathematics and Computer Science, Emeritus Professor of Mathematics and Computer Science, University of Wisconsin, Canada) Moore, G. (, McMaster University, Ontario, USA) Solovay, R. (Professor of Mathematics, Professor of Mathematics, University of California, Berkeley, Solomon Feferman
1 159 kr
Kurt Gödel: Collected Works: Volume IV
Kurt Gödel, Kurt Godel, Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons, Wilfried Sieg, Solomon (Stanford University) Feferman, Jr. (Penn State York University) Dawson, John W., Warren (Harvard University) Goldfarb, Charles (Harvard University) Parsons, Wilfried (Carnegie Mellon University) Sieg
1 349 kr
Kurt Gödel: Collected Works: Volume II
Kurt Gödel, Kurt Godel, S. Feferman, John W. Dawson, Jr., Stephen C. Kleene, G. Moore, R. Solovay, Jean van Heijenoort, USA) Feferman, S. (Professor of Mathematics, Professor of Mathematics, Stanford University, USA) Dawson, Jr., John W. (Professor of Mathematics, Professor of Mathematics, Pennsylvania State University, Canada) Kleene, Stephen C. (Emeritus Professor of Mathematics and Computer Science, Emeritus Professor of Mathematics and Computer Science, University of Wisconsin, Canada) Moore, G. (, McMaster University, Ontario, USA) Solovay, R. (Professor of Mathematics, Professor of Mathematics, University of California, Berkeley, Solomon Feferman, Jr. John W. Dawson
4 359 kr
Kurt Gödel: Collected Works: Volume II
Kurt Gödel, Kurt Godel, Kurt G?del, Solomon Feferman, John W. Dawson, Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort, Stanford University) Feferman, Solomon (Professor of Math and Philosophy, Professor of Math and Philosophy, Pennsylvania State University) Dawson, Jr., John W., Jr. (, Madison (Emeritus)) Kleene, Stephen C. (, University of Wisconson, New Brunswick) Moore, Gregory H. (, Mount Allison University, Berkeley) Solovay, Robert M. (, University of California, Brandeis University) Heijenoort, Jean van (
1 539 kr