Feferman, Solomon

Overview

Works:	81 works in 162 publications in 7 languages and 4,313 library holdings
Roles:	Editor, Honoree
Classifications:	qa9.2, 511.3

Publication Timeline

1950 |

|2020

Key

Publications about Solomon Feferman

Publications by Solomon Feferman

Most widely held works by Solomon Feferman

In the light of logic by Solomon Feferman ( Book )
9 editions published between 1998 and 1999 in English and held by 871 libraries worldwide
This volume brings together a revised and annotated selection of Solomon Feferman's most important writings, covering the relation between logic and mathematics, proof theory, objectivity and intentionality in mathematics, and key issues in the work of Godel, Hilbert and Turing.

The number systems; foundations of algebra and analysis by Solomon Feferman ( Book )
12 editions published between 1964 and 2003 in English and held by 800 libraries worldwide

Collected works by Kurt Gödel ( Book )
6 editions published in 2003 in English and held by 645 libraries worldwide

Alfred Tarski : life and logic by Anita Burdman Feferman ( Book )
10 editions published between 2004 and 2008 in English and held by 611 libraries worldwide

Model-theoretic logics ( Book )
5 editions published in 1985 in English and held by 254 libraries worldwide

The collected works of Julia Robinson by Julia Robinson ( Book )
2 editions published in 1996 in English and held by 158 libraries worldwide

Kurt Gödel : essays for his centennial ( Book )
8 editions published in 2010 in English and Undetermined and held by 141 libraries worldwide
"Kurt Gö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 Gödel's centennial as well as papers from a 2004 symposium. Proof theory, set theory, philosophy of mathematics, and the editing of Gö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"--Provided by publisher.

Collected works by Kurt Gödel ( Book )
10 editions published between 1986 and 2001 in English and held by 120 libraries worldwide
Kurt Godel (1906-1978) was the most outstanding logician of the 20th century. This second volume of Godel's works collects the remainder of his published work, covering the period 1938-1974. Each article or closely related group of articles is preceded by an introductory note that elucidates it and places it in its historical context.

Reflections on the foundations of mathematics : essays in honor of Solomon Feferman ( Book )
6 editions published in 2002 in English and held by 118 libraries worldwide

Publications 1929-1936 by Kurt Gödel ( Book )
3 editions published in 1986 in English and held by 85 libraries worldwide

Collected works. Vol. 2, Publications 1938-1974 by Kurt Gödel ( Book )
5 editions published between 1990 and 2001 in English and Multiple languages and held by 34 libraries worldwide

Collected works 2 Publications 1938 - 1974 by Kurt Gödel ( Book )
2 editions published between 1990 and 2001 in Undetermined and English and held by 27 libraries worldwide

Collected works 1 Publications 1929 - 1936 by Kurt Gödel ( Book )
2 editions published in 1986 in Undetermined and English and held by 27 libraries worldwide

Proofs, categories and computations : essays in honor of Grigori Mints ( Book )
1 edition published in 2010 in English and held by 20 libraries worldwide

Collected works. Vol. 1, Publications 1929-1936 by Kurt Gödel ( Book )
2 editions published in 1986 in English and held by 19 libraries worldwide

Collected works. Vol.3, Unpublished essays and lectures by Kurt Gödel ( Book )
2 editions published between 1995 and 2001 in English and held by 18 libraries worldwide

Unpublished essays and lectures by Kurt Gödel ( Book )
1 edition published in 1995 in English and held by 18 libraries worldwide

Collected works Volume 1, Publications 1929-1936 by Kurt Gödel ( Book )
1 edition published in 1986 in English and held by 9 libraries worldwide

Collected works. 3, Unpublished essays and lectures by Kurt Gödel ( Book )
2 editions published between 1995 and 2001 in English and held by 9 libraries worldwide

Collected works. Volume II, Publications 1938-1974 by Kurt Gödel ( Book )
2 editions published in 1990 in English and held by 9 libraries worldwide