Feferman, SolomonOverview
Publication Timeline
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 Gö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 Gödel : essays for his centennial
(
Book
)
8 editions published in 2010 in English and Undetermined and held by 141 libraries worldwide "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"--Provided by publisher.
Collected works
by Kurt Gö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 Gödel
(
Book
)
3 editions published in 1986 in English and held by 85 libraries worldwide
Collected works. Vol. 2, Publications 1938-1974
by Kurt Gö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 Gö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 Gö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 Gö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 Gödel
(
Book
)
2 editions published between 1995 and 2001 in English and held by 18 libraries worldwide
Unpublished essays and lectures
by Kurt Gödel
(
Book
)
1 edition published in 1995 in English and held by 18 libraries worldwide
Collected works Volume 1, Publications 1929-1936
by Kurt Gödel
(
Book
)
1 edition published in 1986 in English and held by 9 libraries worldwide
Collected works. 3, Unpublished essays and lectures
by Kurt Gö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 Gödel
(
Book
)
2 editions published in 1990 in English and held by 9 libraries worldwide more
fewer
Audience Level
Related IdentitiesAssociated Subjects
Association for Symbolic Logic Biography Computer science--Mathematics Conference proceedings Functional analysis Gödel, Kurt Logic, Symbolic and mathematical Logicians Mathematicians Mathematics Mathematics--Philosophy Metamathematics Model theory Number theory Proof theory Stanford University Tarski, Alfred Transfinite numbers United States Universities and colleges--Faculty
|
Alternative Names
Feferman, S.
Feferman, S. 1928-
Feferman, S. (Solomon)
Feferman, S. (Solomon), 1928- Феферман, СоломонLanguages
Covers
|
|||||||||||||||||||
Related Identities