Table of Contents

1: Robert M. Solovay: Introductory Note to 1938, 1939 and 1940 2: The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis 3: Consistency Proof for the Generalized Continuum Hypothesis 4: The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory 5: Charles Parsons: Introductory Note to 1946 6: Remarks Before the Princeton Bicentennial Conference on Problems in Mathematics 7: Gregory H. Moore: Introductory Note to 1947 and 1964 8: What is Cantor's Continuum Problem? 9: S.W. Hawking: Introductory Note to 1949 and 1952 10: An Example of a New Type of Cosmological Solutions of Einstein's Field Equations of Gravitation 11: A Remark About the Relationship Between Relativity Theory and Idealistic Philosophy 12: Rotating Universes in General Relativity Theory 13: A.S. Troelstra: Introductory Note to 1958 and 1972 14: On a Hiterto Unutilized Extension of the Finitary Standpoint 16: What is Cantor's Continuum problem? 17: On an Extension of Finitary Mathematics Which has not Yet Been Used 18: Some Remarks on the Undecidability Results 19: Jens E. Fenstad: Introductory Note to 1974 20: Remark on Non-Standard Analysis

About the Author

The Editor-in-Chief
Solomon Feferman is Professor of Mathematics and Philosophy, and Chairman of the Department of Mathematics at Stanford University. He is past president of the Association of Symbolic Logic. The Editors
John W. Dawson, Jr., is Professor of Mathematics at Pennsylvania State University, York. Steven C. Kleene is Emeritus Dean of Letters and Science, and Emeritus Professor of Mathematics and Computer Science at the University of Wisconsin, Madison. Gregory H. Moore is Associate Professor of Mathematics at McMaster University, Hamilton, Ontario, Canada. Robert M. Solovay is Professor of Mathematics at the University of California, Berkeley. The late Jean van Heijenoort was Emeritus Professor of Philosophy at Brandeis University until his death in 1986.

Reviews

"I was initially inspired for this review when I happened to pick up Volume 2 of Kurt Godel's Collected Works: anyone with a serious interest in the intellectual history of the 20th century should do the same. Godel's famous proof of the incompleteness of arithmetic is arguably the most famous theorem of our century . . . . These volumes are intended for the mainstream and they succeed admirably; Solomon Feferman and his distinguished board of editors
have produced a collected works that is a model for all such endeavors. The collection is beautifully designed; I congratulate Oxford University Press on the high quality with which every detail is executed.
Papers originally written in German are translated on facing pages, and it really is "complete" . . . . The introductory material is profuse and worth the price on its own . . . . Godel was a meticulous writer, and with some excellent editorial handling, the proof is a pleasure to read." --A.I. Expert
"The volumes are meticulously edited and are a pleasure to consult. Original page numbers are clearly shown; papers written in German are printed with facing translations; there is a comprehensive bibliography ...and there are good indexes; and there are some revealing photographs." --Bulletin of the London Mathematical Society
"The publication of this book is a significant scientific event ....a splendid text ....excellent English translation. The introductory notes add much to the reader's understanding of the primary material, and the list of editors and contributors reads like a Who's Who of modern Logic." --Theory of Computation
"A comprehensive edition of the 20th-century logician's work, in facing pages of German and English. Volume two covers published writings in the period 1938-1974, including newly typeset versions of papers on his continuum hypothesis, Russell's mathematical logic, Cantor's continuum problem, the relationship between relativity and idealistic philosophy, and rotating universes in general relativity theory. Each selection or group of selections is introduced, and
extensive notes and references are included."--SciTech Book News
"I was initially inspired for this review when I happened to pick up Volume 2 of Kurt Godel's Collected Works: anyone with a serious interest in the intellectual history of the 20th century should do the same. Godel's famous proof of the incompleteness of arithmetic is arguably the most famous theorem of our century . . . . These volumes are intended for the mainstream and they succeed admirably; Solomon Feferman and his distinguished board of editors
have produced a collected works that is a model for all such endeavors. The collection is beautifully designed; I congratulate Oxford University Press on the high quality with which every detail is executed.
Papers originally written in German are translated on facing pages, and it really is "complete" . . . . The introductory material is profuse and worth the price on its own . . . . Godel was a meticulous writer, and with some excellent editorial handling, the proof is a pleasure to read." --A.I. Expert
"The volumes are meticulously edited and are a pleasure to consult. Original page numbers are clearly shown; papers written in German are printed with facing translations; there is a comprehensive bibliography ...and there are good indexes; and there are some revealing photographs." --Bulletin of the London Mathematical Society
"The publication of this book is a significant scientific event ....a splendid text ....excellent English translation. The introductory notes add much to the reader's understanding of the primary material, and the list of editors and contributors reads like a Who's Who of modern Logic." --Theory of Computation
"A comprehensive edition of the 20th-century logician's work, in facing pages of German and English. Volume two covers published writings in the period 1938-1974, including newly typeset versions of papers on his continuum hypothesis, Russell's mathematical logic, Cantor's continuum problem, the relationship between relativity and idealistic philosophy, and rotating universes in general relativity theory. Each selection or group of selections is introduced, and
extensive notes and references are included."--SciTech Book News