"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
"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
"The edition promises July 2001 del of its kind; virtually nothing could be Paperback, 0-19-514720-0, £26.50ully 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
Les mer