Solomon Feferman

Solomon Feferman (December 13, 1928 – July 26, 2016) was an American mathematical logician and philosopher renowned for his foundational contributions to proof theory, set theory, recursion theory, model theory, and the philosophy of mathematics. A professor emeritus at Stanford University, he shaped modern mathematical logic through rigorous analyses of formal systems' limitations, including extensions of Kurt Gödel's incompleteness theorems and developments in predicative analysis.

Born in New York City, Feferman earned his B.S. in mathematics from the California Institute of Technology in 1948 and his Ph.D. from the University of California, Berkeley, in 1957 under the supervision of Alfred Tarski. He joined the Stanford faculty in 1956, where he taught for 48 years, chaired the Mathematics Department from 1985 to 1992, and served as the Patrick Suppes Family Professor of Humanities and Sciences. Feferman held visiting positions at institutions including Princeton University, MIT, the University of Oxford, and the University of Amsterdam, and he was president of the Association for Symbolic Logic from 1980 to 1982.

Solomon Feferman was born on December 13, 1928, in the Bronx borough of New York City, to immigrant working-class parents of Jewish descent. His family relocated to Los Angeles in 1938, when he was nine years old.