Publisher Description

Kurt Gödel (1906-1978) was the most outstanding logician of the twentieth century, noted for Gödel's theorem, a hallmark of modern mathematics. The Collected Works will include both published and unpublished writings, in three or more volumes. The first two volumes will consist essentially of Gödel's published works (both in the original and translation), and the third volume will feature unpublished articles, lectures, and selections fromhis lecture courses, correspondence, and scientific notebooks. All volumes will contain extensive introductory notes to the work as a whole and to individual articles and other material, commenting upon their contents andplacing them within a historical framework. This long-awaited project is of great significance to logicians, mathematicians, philosophers and historians.

Table of Contents

Gödel's life and workSolomon Feferman:A Gödel chronologyJohn W. Dawson, Jr.:Gödel 1929: Introductory note to 1929, 1930 and 1930aBurton Dreben and Jean van Heijenoort:Über die Vollständigkeit des LogikkalkülsOn the completeness of the calculus of logicGödel 1930: (See introductory note under Gödel 1929.)Die Vollständigkeit der Axiome des logischen FunktionenkalkülsThe completeness of the axioms of the functional calculus of logicGödel 1930a: (See introductory note under Gödel 1929.)Über die Vollständigkeit des LogikkalkülsOn the completeness of the calculus of logicGödel 1930b: Introductory note to 1930b, 1931 and 1932bStephen C. Kleene:Einige metamathematische Resultate über Entscheidungs-definitheit und WiderspruchsfreiheitSome metamathematical results on completeness and consistencyGödel 1931: (See introductory note under Gödel 1930b.)Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme IOn formally undecidable propositions of Principia mathematica and related systems IGödel 1931a: Introductory note to 1931a, 1932e, f and gJohn W. Dawson, Jr.:Diskussion zur Grundlegung der MathematikDiscussion on providing a foundation for mathematicsGödel 1931b: Review of Neder 1931Gödel 1931c: Introductory note to 1931cSolomon Feferman:Review of Hilbert 1931Gödel 1931d: Review of Betsch 1926Gödel 1931e: Review of Becker 1930Gödel 1931f: Review of Hasse and Scholz 1928Gödel 1931g: Review of von Juhos 1930Gödel 1932: Introductory note to 1932A. S. Troelstra:Zum intuitionistischen aussagenkalkülOn the intuitionistic propositional calculusGödel 1932a: Introductory note to 1932a, 1933i and lWarren D. Goldfarb:Ein Spezialfall des Enscheidungsproblems der theoretischen LogikA special case of the decision problem for theoretical logicGödel 1932b: (See introductory note under Gödel 1930b.)Über Vollständigkeit und WiderspruchsfreiheitOn completeness and consistencyGödel 1932c: Introductory note to 1932cW. V. Quine:Eine Eigenschaft der Realisierungen des AussagenkalkülsA property of the realizations of the propositional calculusGödel 1932d: Review of Skolem 1931Gödel 1932e: (See introductory note under Gödel 1931a.)Review of Carnap 1931Gödel 1932f: (See introductory note under Gödel 1931a.)Review of Heyting 1931Gödel 1932g: (See introductory note under Gödel 1931a.)Review of von Neumann 1931Gödel 1932h: Review of Klein 1931Gödel 1932i: Review of Hoensbroech 1931Gödel 1932j: Review of Klein 1932Gödel 1932k: Introductory note to 1932k, 1934e and 1936bStephen C. Kleene:Review of Church 1932Gödel 1932l: Review of Kalmár 1932Gödel 1932m: Review of Huntington 1932Gödel 1932n: Review of Skolem 1932Gödel 1932o: Review of Dingler 1931Gödel 1933: Introductory note to 1933W. V. Quine:[[Über die Parryschen Axiome]][[On Parry's axioms]]Gödel 1933a: Introductory note to 1933aW. V. Quine:Über Unabhängigkeitsbeweise im AussagenkalkülOn independence proofs in the propositional calculusGödel 1933b: Introductory note to 1933b, c, d, g and hJudson Webb:Über die metrische Einbettbarkeit der Quadrupel des R[3 in KugelflächenOn the isometric embeddability of quadruples of points of R[3 in the surface of a sphereGödel 1933c: (See introductory note under Gödel 1933b.)Über die Waldsche Axiomatik des ZwichenbegriffesOn Wald's axiomization of the notion of betweennessGödel 1933d: (See introductory note under Gödel 1933b.)Zur Axiomatik der elementargeometrischen Verknüpfungs-relationenOn the axiomatization of the relations of connection in elementary geometryGödel 1933e: Introductory note to 1933eA. S. Troelstra:Zur institutionistischen Arithmetik und ZahlentheorieOn intuitionistic arithmetic and number theoryGödel 1933f: Introductory note to 1933fA. S. Troelstra:Eine Interpretation des institutionistischen AussagenkalkülsAn interpretation of the intuitionistic propositional calculusGödel 1933g: (See introductory note under Gödel 1933b.)Bemerkung über projektive AbbildungenRemark concerning projective mappingsGödel 1933h: (See introductory note under Gödel 1933b.)Diskussion über koordinatenlose DifferentialgeometrieDiscussion concerning coordinate-free differential geometryGödel 1933i: (See introductory note under Gödel 1932a.)Zum Enscheidungsproblem des logischen FunktionenkalkülsOn the decision probelm for the functional calculus of logicGödel 1933j: Review of Kaczmarz 1932Gödel 1933k: Review of Lewis 1932Gödel 1933l: (See introductory note under Gödel 1932a.)Review of Kalmár 1933Gödel 1933m: Review of Hahn 1932Gödel 1934: Introductory note to 1934Stephen C. Kleene:On undecidable propositions of formal mathematical systemsGödel 1934a: Review of Skolem 1933Gödel 1934b: Introductory note to 1934bW. V. Quine:Review of Quine 1933Gödel 1934c: Introductory note to 1934c and 1935Robert L. Vaught:Review of Skolem 1933aGödel 1934d: Review of Chen 1933Gödel 1934e: (See introductory note under Gödel 1932k.)Review of Church 1933Gödel 1934f: Review of Notcutt 1934Gödel 1935: (See introductory note under Gödel 1934c.)Review of Skolem 1934Gödel 1935a: Introductory note to 1935aW. V. Quine:Review of Huntington 1934Gödel 1935b: Review of Carnap 1934Gödel 1935c: Review of Kalmár 1934Gödel 1936: Introductory note to 1936John W. Dawson, Jr.:DiskussionsbemerkungDiscussion remarkGödel 1936a: Introductory note to 1936aRohit Parikh:Über die Länge von BeweisenOn the length of proofsGödel 1936b: (See introductory note under Gödel 1932k.)Review of Church 1935Textual notesReferencesIndex

Review

"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 PublicLibrary"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 onthis 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 accuracywith 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 andcontributors 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...itis 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"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 PublicLibrary"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 onthis 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 accuracywith 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 andcontributors 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...itis 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"A comprehensive edition of the 20th-century logician's work, in facing pages of German and English. This first volume covers published writings in the period 1929-36, beginning with his dissertation, which was previously only available through the University of Vienna. Each selection or group of selections is introduced. In addition, mathematician and philosopher Solomon Feferman contributes a biographical essay on Gödel's life and work."--SciTechBook News

Long Description

Kurt Gödel (1906-1978) was the most outstanding logician of the twentieth century, noted for Gödel's theorem, a hallmark of modern mathematics. The Collected Works will include both published and unpublished writings, in three or more volumes. The first two volumes will consist essentially of Gödel's published works (both in the original and translation), and the third volume will feature unpublished articles, lectures, and selections from
his lecture courses, correspondence, and scientific notebooks. All volumes will contain extensive introductory notes to the work as a whole and to individual articles and other material, commenting upon their contents and placing them within a historical framework. This long-awaited project is of great significance to
logicians, mathematicians, philosophers and historians.

Review Text

"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
"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
"A comprehensive edition of the 20th-century logician's work, in facing pages of German and English. This first volume covers published writings in the period 1929-36, beginning with his dissertation, which was previously only available through the University of Vienna. Each selection or group of selections is introduced. In addition, mathematician and philosopher Solomon Feferman contributes a biographical essay on Gödel's life and work."--SciTech
Book News

Review Quote

This book is unique, and every philosopher or historian of logic will be determined to possess it.

Details