Collected Works
Volume I: Publications 1929-1936
Kurt Godel
Edited by Solomon Feferman, John W. Dawson, Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort
Reviews and Awards
"Gödel would probably have been pleased with the systematic and neat presentation. The set should be of interest to professionals and students in the areas of logic, mathematics, [and] philosophy....For all university level libraries and for large public and college library collections....Will also be a treasure in the hands of the individual who can afford and understand a good part of the contents." --New Technical Books, The New York Public Library
"The editors are to be wholeheartedly congratulated on bringing to the public work which deserves careful study and which ought to do something to revitalise the philosophy of mathematics by presenting a point of view that, unusually, combines intellectual rigour with a willingness to make bold and sweeping metaphysical claims." --The Times Higher Education Supplement
"Should find a place in all academic libraries where mathematical logic is taught....The editors deserve the highest praise for the design of the edition."--Choice
"Anyone interested in the life and work of Kurt Gödel, or in the history of mathematical logic in this century, is indebted to all of the contributors to this volume for the care with which they have presented Gödel's work. They have succeeded in using their own expertise to elucidate both the nature and significance of what Gödel and, in turn, mathematical logic have accomplished in this century."--Isis
"A marvel of selfless scholarly teamwork. Under the leadership of Solomon Feferman, many of the world's most eminent logicians and historians of logic have pooled their talents to produce lucid and informative introductions, helpful notes, and clear facing-page translations. It is no small tribute to Gödel to recognize that he deserves this coordination of patient work by brilliant scholars. Equally, it is no small tribute to those who have worked on this volume to say that their efforts are worthy of their subject." --Times Literary Supplement
"From the example of this first volume, the edition promises to be a model of its kind; virtually nothing could be bettered....The whole is beautifully produced...the translations are clear and accurate....Anyone interested in mathematical logic must...wish to own this first volume of [Gödel's] collected works, which is a worthy tribute to a great man. Feferman and his team are to be congratulated on the care, sureness of touch, and scholarly accuracy with which they have carried out their task, and we must look forward to the appearance of the subsequent volumes."--Mind
"Beautifully prepared, meticulously edited collection." --The Journal of Symbolic Logic
"The publication of this book is a significant scientific event not only in mathematical logic...but also in formal computing systems, recursive computing theory, and the possibility and limits of mechanical theorem proving...This volume is a splendid text. The original German and an excellent English translation are printed on facing pages. 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. The bibliographic references are extensive and worth explaining in themselves; they probably constitute a guide to the subject in their own right...it is an opportunity to experience firsthand the complexity, elegance, and rigor of one of the great minds of the twentieth century. I look forward to coming volumes."--Computing Reviews
"Both books are models of what scholarly editions of this kind should be like. . .no one working in logic or in the philosophy of mathematics should be without their own copies." --Philosophia Mathematica
"The writing throughout exemplifies the clarity, care and incisiveness for which its author is renowned. This is a stimulating book that can be read and reread with intellectual pleasure and profit."--Modern Logic