“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 editorshave 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, andextensive 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 editorshave 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, andextensive notes and references are included.“–SciTech Book News

Solomon Feferman

Professor of Mathematics and Philosophy, and Chairman of the Department of Mathematics at Stanford University. Past president of the Association of Symbolic Logic.

Editors

John W. Dawson, Jr.

Professor of Mathematics at Pennsylvania State University, York.

Steven C. Kleene

Emeritus Dean of Letters and Science, and Emeritus Professor of Mathematics and Computer Science at the University of Wisconsin, Madison.

Gregory H. Moore

Associate Professor of Mathematics at McMaster University, Hamilton, Ontario, Canada.

Robert M. Solovay

Professor of Mathematics at the University of California, Berkeley.

Jean van Heijenoort (deceased 1986)

Emeritus Professor of Philosophy at Brandeis University.

This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.