To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.

Solomon Feferman

From Wikipedia, the free encyclopedia

Solomon Feferman
Born(1928-12-13)December 13, 1928
DiedJuly 26, 2016(2016-07-26) (aged 87)
Alma materCalifornia Institute of Technology
University of California, Berkeley
EraContemporary philosophy
RegionWestern philosophy
ThesisFormal Consistency Proofs and Interpretability of Theories (1957)
Doctoral advisorAlfred Tarski
Doctoral students
Main interests
Philosophy of mathematics
Notable ideas
Stratified systems for the foundations of category theory[1]
Feferman–Schütte ordinal
Ordinal collapsing function
Explicit mathematics

Solomon Feferman (December 13, 1928 – July 26, 2016)[2] was an American philosopher and mathematician who worked in mathematical logic.


Solomon Feferman was born in The Bronx in New York City to working-class parents who had immigrated to the United States after World War I and had met and married in New York. Neither parent had any advanced education. The family moved to Los Angeles, where Feferman graduated from high school at age 16.

He received his B.S. from the California Institute of Technology in 1948, and in 1957 his Ph.D. in mathematics from the University of California, Berkeley, under Alfred Tarski,[3] after having been drafted and having served in the U.S. Army from 1953 to 1955. In 1956 he was appointed to the Departments of Mathematics and Philosophy at Stanford University, where he later became the Patrick Suppes Professor of Humanities and Sciences.[4]

Feferman died on 26 July 2016 at his home in Stanford, following an illness that lasted three months and a stroke.[2][5][6] At his death, he had been a member of the MAA for 37 years.[7]


Feferman was editor-in-chief of the five-volume Collected Works of Kurt Gödel, published by Oxford University Press between 2001 and 2013.

In 2004, together with his wife Anita Burdman Feferman, he published a biography of Alfred Tarski: Alfred Tarski: Life and Logic.[8]

He worked on predicative mathematics, in particular introducing the Feferman–Schütte ordinal as a measure of the strength of certain predicative systems.


Feferman was awarded a Guggenheim Fellowship in 1972 and 1986[9] and the Rolf Schock Prize in logic and philosophy in 2003.[10] He was invited to give the Gödel Lecture in 1997[11] and the Tarski Lectures in 2006.[12] In 2012 he became a fellow of the American Mathematical Society.[13]



  • Feferman, Solomon; Vaught, Robert L. (1959), "The first order properties of products of algebraic systems", Fund. Math. 47, 57–103.
  • Feferman, Solomon (1975), "A language and axioms for explicit mathematics", Algebra and logic (Fourteenth Summer Res. Inst., Austral. Math. Soc., Monash Univ., Clayton, 1974), pp. 87–139, Lecture Notes in Math., vol. 450, Berlin, Springer.
  • Feferman, Solomon (1979), "Constructive theories of functions and classes", Logic Colloquium '78 (Mons, 1978), pp. 159–224, Stud. Logic Foundations Math., 97, Amsterdam, New York, North-Holland.
  • Buchholz, Wilfried; Feferman, Solomon; Pohlers, Wolfram; Sieg, Wilfried (1981), "Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies", Lecture Notes in Mathematics, 897, Berlin, New York, Springer-Verlag.
  • Feferman, Solomon; Hellman, Geoffrey (1995), "Predicative foundations of arithmetic", J. Philos. Logic 24 (1), 1–17.
  • Avigad, Jeremy; Feferman, Solomon (1998), "Gödel's functional (Dialectica) interpretation", Handbook of proof theory, 337–405, Stud. Logic Found. Math., 137, Amsterdam, North-Holland.


  • Feferman, Solomon. (1998). In the Light of Logic. Oxford University Press. ISBN 0-19-508030-0, Logic and Computation in Philosophy series.[14]
  • Feferman, Anita Burdman; Feferman, Solomon (2004). Alfred Tarski: Life and Logic. Cambridge University Press. ISBN 978-0-521-80240-6. OCLC 54691904.[8]

See also


  1. ^ "Enriched Stratified systems for the Foundations of Category Theory" by Solomon Feferman (2011)
  2. ^ a b "Solomon Feferman (1928-2016)".
  3. ^ Solomon Feferman at the Mathematics Genealogy Project
  4. ^ "Solomon Feferman's homepage". Archived from the original on October 24, 2017.
  5. ^ Lanier Anderson, R. (August 4, 2016). "A tribute to Solomon Feferman (1928–2016)". Archived from the original on September 11, 2016. Retrieved July 24, 2021.
  6. ^ "Stanford mathematical logician Solomon Feferman dies at 87". Stanford News. October 7, 2016. Retrieved July 24, 2021.
  7. ^ "In Memoriam | Mathematical Association of America". Retrieved July 24, 2021.
  8. ^ a b Reviews of Alfred Tarski:
  9. ^ "John Simon Guggenheim Foundation | Solomon Feferman".
  10. ^ "Feferman awarded Rolf Schock Prize in logic and philosophy".
  11. ^ "Gödel Lecturers – Association for Symbolic Logic". Retrieved November 8, 2021.
  12. ^ "The Tarski Lectures | Department of Mathematics at University of California Berkeley". Retrieved November 8, 2021.
  13. ^ List of Fellows of the American Mathematical Society, retrieved December 2, 2012.
  14. ^ Reviews of In the Light of Logic:

External links

This page was last edited on 8 November 2021, at 16:32
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.