Biography:Solomon Feferman
Solomon Feferman  

Solomon Feferman at the Association of Symbolic Logic, Pittsburgh, May 2004  
Born  The Bronx, New York City, US  December 13, 1928
Died  July 26, 2016 Stanford, California, US  (aged 87)
Alma mater  California Institute of Technology University of California, Berkeley 
Era  Contemporary philosophy 
Region  Western philosophy 
School  Analytic Predicativism 
Thesis  Formal Consistency Proofs and Interpretability of Theories (1957) 
Doctoral advisor  Alfred Tarski 
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 
Influences
 
Influenced

Solomon Feferman (December 13, 1928 – July 26, 2016)^{[2]} was an American philosopher and mathematician who worked in mathematical logic.
Life
Solomon Feferman was born in The Bronx in New York City to workingclass 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]}
Contributions
Feferman was editorinchief of the fivevolume 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.
Recognition
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]}
Publications
Papers
 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, NorthHolland.
 Buchholz, Wilfried; Feferman, Solomon; Pohlers, Wolfram; Sieg, Wilfried (1981), "Iterated inductive definitions and subsystems of analysis: recent prooftheoretical studies", Lecture Notes in Mathematics, 897, Berlin, New York, SpringerVerlag.
 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, NorthHolland.
Books
 Feferman, Solomon. (1998). In the Light of Logic. Oxford University Press. ISBN:0195080300, Logic and Computation in Philosophy series.^{[14]}
 Feferman, Anita Burdman; Feferman, Solomon (2004). Alfred Tarski: Life and Logic. Cambridge University Press. ISBN 9780521802406. OCLC 54691904. https://archive.org/details/alfredtarskilife0000fefe.^{[8]}
See also
References
 ↑ "Enriched Stratified systems for the Foundations of Category Theory" by Solomon Feferman (2011)
 ↑ ^{2.0} ^{2.1} "Solomon Feferman (19282016)". http://www.illc.uva.nl/LogicList/newsitem.php?id=7645.
 ↑ Solomon Feferman at the Mathematics Genealogy Project
 ↑ "Solomon Feferman's homepage". http://math.stanford.edu/~feferman.
 ↑ Lanier Anderson, R. (4 August 2016). "A tribute to Solomon Feferman (1928–2016)". https://philosophy.stanford.edu/news/tributesolomonfeferman1928–2016.
 ↑ "Stanford mathematical logician Solomon Feferman dies at 87" (in en). 7 October 2016. https://news.stanford.edu/2016/10/07/mathematicallogiciansolomonfefermandies/.
 ↑ "In Memoriam  Mathematical Association of America". https://www.maa.org/news/memoriam.
 ↑ ^{8.0} ^{8.1} Reviews of Alfred Tarski:
 Dauben, Joseph W. (2005), "none", Mathematical Reviews
 Anellis, Irving H. (2005), "Review", The Review of Modern Logic 10 (1–2): 117–130, https://projecteuclid.org/euclid.rml/1203432186
 Davis, Philip J. (March 2005), "A life of logic and the illogic of life", SIAM News, https://archive.siam.org/news/news.php?id=35
 Davis, Martin (March–April 2005), "The Man Who Defined Truth", American Scientist 93 (2): 175–177
 ShellGellasch, Amy (May 2005), "Review", MAA Reviews, https://www.maa.org/press/maareviews/alfredtarskilifeandlogic
 Misiuna, Krystyna (May 2005), "none", History and Philosophy of Logic 26 (2): 166–168, doi:10.1080/01445340412331313602
 Mendelson, Elliott (June 2005), "none", Philosophia Mathematica 13 (2): 231–232, doi:10.1093/philmat/nki020
 Kilmister, C. W. (July 2005), "none", The Mathematical Gazette 89 (515): 330–331, doi:10.1017/S0025557200177988
 Schmit, Roger (Fall 2005), "none", Archives de Philosophie 68 (3): 546–547
 Maddux, Roger D. (December 2005), "none", The Bulletin of Symbolic Logic 11 (4): 535–540, doi:10.1017/S1079898600003000
 "none", Kybernetes 35 (1/2), January 2006, doi:10.1108/k.2006.06735aae.002
 Lescanne, Pierre (March 2006), "none", ACM SIGACT News 37 (1): 27, doi:10.1145/1122480.1122489
 Carnielli, Walter (March 2006), "none", Logic and Logical Philosophy 15 (1), doi:10.12775/llp.2006.005
 Wood, Carol (April 2006), "none", The American Mathematical Monthly 113 (4): 377–379, doi:10.2307/27641942
 Oberdan, Thomas (June 2006), "none", Isis 97 (2): 362–363, doi:10.1086/507375
 GrattanGuinness, Ivor (September 2006), "none", The British Journal for the History of Science 39 (3): 469–470, doi:10.1017/S0007087406438681
 Apt, Krzysztof R. (March 2007), "Alfred Tarski: life and logic", The Mathematical Intelligencer 29 (2): 78–80, doi:10.1007/bf02986214
 Sinaceur, Hourya Benis (September 2007), "Review", Notices of the American Mathematical Society 54 (8): 986–989, https://www.ams.org/journals/notices/200708/tx070800986p.pdf
 Bassols, Alejandro Tomasini (April 2006), "none", Crítica: Revista Hispanoamericana de Filosofía 38 (112): 105–111
 Brown, Scott H. (March 2009), "none", The Mathematics Teacher 102 (7): 558
 Bremer, Manuel (December 2009), "Review", Philosophy in Review 29 (6): 404, https://go.galegroup.com/ps/anonymous?id=GALE%7CA387953546
 Nerode, Anil (March 2010), "none", The American Mathematical Monthly 117 (3): 286–288, doi:10.4169/000298910x480144
 CzerneckaRej, Bożena (2011), "none", Roczniki Filozoficzne 59 (1): 79–84
 ↑ "John Simon Guggenheim Foundation  Solomon Feferman". http://www.gf.org/fellows/allfellows/solomonfeferman/.
 ↑ "Feferman awarded Rolf Schock Prize in logic and philosophy". http://news.stanford.edu/news/2003/june4/feferman64.html.
 ↑ "Gödel Lecturers – Association for Symbolic Logic" (in enUS). https://aslonline.org/otherinformation/prizesandawards/godellecturers/.
 ↑ "The Tarski Lectures  Department of Mathematics at University of California Berkeley". https://math.berkeley.edu/about/events/lectures/tarski.
 ↑ List of Fellows of the American Mathematical Society, retrieved December 2, 2012.
 ↑ Reviews of In the Light of Logic:
 Avigad, Jeremy (December 1999), "[Untitled"], The Journal of Philosophy 96 (12): 638–642, doi:10.2307/2564698, https://semanticscholar.org/paper/08b0919ef041a5a92a8093f5f6b3f5f8a5ecd78e
 Antonelli, G. Aldo (June 2001), "none", The Bulletin of Symbolic Logic 7 (2): 270–277, doi:10.2307/2687778
 Mendelson, E. (2001), "none", Mathematical Reviews
External links
Original source: https://en.wikipedia.org/wiki/Solomon Feferman.
Read more 