Solomon Feferman

Solomon Feferman is one of the leading figures in logic and the foundations of mathematics. This volume brings together a selection of his most important essays dealing with the light which results in modern logic cast on significant problems in the foundations of mathematics. It is essential reading for anyone interested in these subjects. Feferman presents key issues in the work of Cantor, Hilbert, Weyl, and Godel among others, and explains how they are dealtwith by proof theory and other parts of logic. A number of the papers appeared originally in obscure places and are not well-known, and others are published here for the first time. All of the material has been revised and annotated to bring it up to date.

In the Light of Logic

S. Feferman

J. Barwise

This book brings together several directions of work in model theory between the late 1950s and early 1980s.

Model-Theoretic Logics

Anita Burdman Feferman

życie i logika

Alfred Tarski

Kurt Gödel

Publications 1929-1936

Charles Parsons

Wilfried Sieg

John W. Dawson Jr

Warren Goldfarb

Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computability theory, as well as for the strong individuality of his writings on the philosophy of mathematics. He is less well known for his discovery of unusual cosmological models for Einstein's equations, in theory permitting time travel into the past. The Collected Works is a landmark resource that draws together a lifetime of creative thought and accomplishment. The first two volumes were devoted to Gödel's publications in full (both in original and translation), and the third volume featured a wide selection of unpublished articles and lecture texts found in Gödel's Nachlass. These long-awaited final two volumes contain Gödel's correspondence of logical, philosophical, and scientific interest. Volume V, published for the first time in paperback, includes H to Z as well as a full inventory of Gödel's Nachlass, while Volume IV covers A to G. All volumes include introductory notes that provide extensive explanatory and historical commentary on each body of work, English translations of material originally written in German (some transcribed from the Gabelsberger shorthand), and a complete bibliography of all works cited. Kurt Gödel: Collected Works is designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy. The only comprehensive edition of Gödel's work available, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science and all others who wish to be acquainted with one of the great minds of the twentieth century.

Kurt Gödel: Collected Works:

Alan Mathison Turing

Though less well known than his other work, Turings 1938 Princeton Thesis, this title which includes his notion of an oracle machine, has had a lasting influence on computer science and mathematics. It presents a facsimile of the original typescript of the thesis along with essays by Appel and Feferman that explain its still-unfolding significance.

The Princeton Thesis

Alan Turing's Systems of Logic

Kurt G?del

Kurt Gödel was the most outstanding logician of the 20th century and a giant in the field. This book is part of a five volume set that makes available all of Gödel's writings. The first three volumes, already published, consist of the papers and essays of Gödel. The final two volumes of the set deal with Gödel's correspondence with his contemporary mathematicians, this fourth volume consists of material from correspondents from A-G.

Selected Correspondence, A-G

Kurt Gödel: Collected Works: Volume IV

Stephen G. Simpson

Kurt Gödel (1906-1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of formalized arithmetic. This book on different aspects of his work and on subjects in which his ideas have contemporary resonance includes papers from a May 2006 symposium celebrating Gödel's centennial as well as papers from a 2004 symposium. Proof theory, set theory, philosophy of mathematics, and the editing of Gödel's writings are among the topics covered. Several chapters discuss his intellectual development and his relation to predecessors and contemporaries such as Hilbert, Carnap, and Herbrand. Others consider his views on justification in set theory in light of more recent work and contemporary echoes of his incompleteness theorems and the concept of constructible set.

Essays for his Centennial

Kurt Gödel was the greatest logician of this century. This third volume of his collected works consists of previously unpublished material, both essays and lectures.

Solomon Feferman

About

Books

Join the club