Solomon Feferman (December 13, 1928 – July 26, 2016)[2] was an American philosopher and mathematician who worked in mathematical logic.
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.
While the majority of his career was spent at Stanford, he also spent time as a post-doctoral fellow at the Institute for Advanced Study in Princeton, a visiting professor at MIT, and a visiting fellow at the University of Oxford (Wolfson College and All Souls College).
[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.
Feferman was awarded Guggenheim Fellowships in 1972 and 1986[9] and the Rolf Schock Prize in logic and philosophy in 2003.