Solomon FefermanSolomon Feferman has been a Professor of Mathematics and Philosophy at Stanford University since 1956, from which he retired in 2004. He is a Fellow of the American Academy of Arts and Sciences, was President of the Association for Symbolic Logic in 980-2, and was the recipient of the Rolf Schock Prize for Logic and Philosophy in 2003. Feferman was editor-in-chief of the Collected Works of Kurt Gödel (1986-2003). Read More Read Less