WorldCat Identities

Feferman, Solomon

Overview
Works: 67 works in 245 publications in 5 languages and 5,731 library holdings
Genres: Conference proceedings  Biography 
Roles: Contributor, Editor, Author of introduction, Honoree, Thesis advisor
Classifications: QA9.2, 511.3
Publication Timeline
Key
Publications about  Solomon Feferman Publications about Solomon Feferman
Publications by  Solomon Feferman Publications by Solomon Feferman
Most widely held works about Solomon Feferman
 
Most widely held works by Solomon Feferman
In the light of logic by Solomon Feferman ( )
20 editions published between 1998 and 1999 in English and held by 1,385 WorldCat member libraries worldwide
In this collection of essays written over a period of twenty years, Solomon Feferman explains advanced results in modern logic and employs them to cast light on significant problems in the foundations of mathematics. Most troubling among these is the revolutionary way in which Georg Cantor elaborated the nature of the infinite, and in doing so helped transform the face of twentieth-century mathematics. Feferman details the development of Cantorian concepts and the foundational difficulties they engendered. He argues that the freedom provided by Cantorian set theory was purchased at a heavy philosophical price, namely adherence to a form of mathematical platonism that is difficult to support
The number systems; foundations of algebra and analysis by Solomon Feferman ( Book )
21 editions published between 1964 and 2003 in English and Spanish and held by 841 WorldCat member libraries worldwide
Collected works by Kurt Gödel ( Book )
31 editions published between 1986 and 2003 in 3 languages and held by 822 WorldCat member 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
Alfred Tarski : life and logic by Anita Burdman Feferman ( Book )
15 editions published between 2004 and 2008 in English and held by 665 WorldCat member libraries worldwide
Alfred Tarski, one of the greatest logicians of all time, is widely thought of as "the man who defined truth." His mathematical work on the concepts of truth and logical consequence are cornerstones of modern logic, influencing developments in philosophy, linguistics and computer science. Tarski was a charismatic teacher and zealous promoter of his view of logic as the foundation of all rational thought, as well as a bon-vivant and a womanizer, who played the "great man" to the hilt. Born in Warsaw in 1901 to Jewish parents, he changed his name and converted to Catholicism, but was never able to obtain a professorship in his home country. A fortuitous trip to the United States at the outbreak of World War 1 saved his life and turned his career around, even though it separated him from his family for years. By the war's end, Tarski was established as a professor of mathematics at the University of California, Berkeley, where he started a department in logic and methodology that attracted students and distinguished researchers from all over the world. From the cafes of Warsaw and Vienna to the mountains and deserts of California, this first full- length biography places Tarski in the social, intellectual and historical context of his times. It presents a vivid picture of a personally and professionally passionate man, interlaced with an account of his major scientific achievements
Collected works by Kurt Gödel ( )
7 editions published between 1986 and 2006 in English and held by 454 WorldCat member libraries worldwide
Kurt Godel (1906-1978) was the most outstanding logician of the twentieth century, noted for Godel'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 Godel'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 individua
Model-theoretic logics ( Book )
10 editions published in 1985 in English and held by 285 WorldCat member libraries worldwide
Publications 1929-1936 by Kurt Gödel ( )
16 editions published in 1986 in English and German and held by 260 WorldCat member libraries worldwide
Kurt Gödel : essays for his centennial by Solomon Feferman ( Book )
14 editions published between 2010 and 2013 in English and held by 252 WorldCat member libraries worldwide
"Kurt G̈odel (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̈odel's centennial as well as papers from a 2004 symposium. Proof theory, set theory, philosophy of mathematics, and the editing of G̈odel'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
The collected works of Julia Robinson by Julia Robinson ( Book )
5 editions published in 1996 in English and held by 175 WorldCat member libraries worldwide
Reflections on the foundations of mathematics : essays in honor of Solomon Feferman by Reflections ( Book )
8 editions published in 2002 in English and held by 132 WorldCat member libraries worldwide
Collected works by Kurt Gödel ( Book )
13 editions published between 1990 and 2001 in English and Undetermined and held by 108 WorldCat member libraries worldwide
This second volume of a comprehensive edition of Kurt Godel's works collects the remainder of his published work, covering the period 1938-1974. (Volume I included all of his publications from 1929-1936). Each article or closely related group of articles is preceded by an introductory note that elucidates it and places it in historical context
Alan Turing's systems of logic : the Princeton thesis by Alan Mathison Turing ( Book )
1 edition published in 2012 in English and held by 101 WorldCat member libraries worldwide
Collected works by Kurt Gödel ( Book )
3 editions published between 1995 and 2001 in English and held by 27 WorldCat member libraries worldwide
Proofs, categories and computations : essays in honor of Grigori Mints by Solomon Feferman ( Book )
3 editions published in 2010 in English and held by 23 WorldCat member libraries worldwide
Collected works by Kurt Gödel ( Book )
5 editions published between 1995 and 2001 in English and held by 22 WorldCat member libraries worldwide
Collected works by Kurt Gödel ( Book )
3 editions published in 2003 in German and held by 21 WorldCat member libraries worldwide
Unpublished essays and lectures by Kurt Gödel ( Book )
2 editions published in 1995 in English and held by 20 WorldCat member libraries worldwide
Dynamical systems and turbulence, Warwick 1980 : proceedings of a symposium held at the University of Warwick 1979-80 by Bernard Angéniol ( )
1 edition published in 1981 in English and held by 18 WorldCat member libraries worldwide
Opere by Kurt Gödel ( Book )
in Italian and held by 11 WorldCat member libraries worldwide
Publications 1938 - 1974 by Kurt Gödel ( Book )
2 editions published in 1990 in English and held by 8 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.53 (from 0.00 for Opere / ... to 0.90 for Proofs, ca ...)
Alternative Names
Feferman, S.
Feferman, S. 1928-
Feferman, S. (Solomon)
Feferman, S. (Solomon), 1928-
Languages
Covers