Solomon Feferman

El proceso de su doctorado fue especialmente largo: comenzó trabajando sobre dos problemas propuestos por Tarski, en los que logró resultados, pero no totalmente del gusto de su director, que se negó a aceptar el resultado como tesis.En Stanford colaboró con colegas importantes, tales como Paul Cohen, Georg Kreisel, Dana Scott, y William Tait, convirtió a esa universidad en un centro relevante de la teoría de la demostración (proof theory).En 2008 decía de sí mismo: "I’m a philosopher by temperament but not by training, and a philosopher of logic and mathematics in part... by accidents of study and career.Yet it seems to me that if I was destined to be anything it was to be a logician primarily motivated by philosophical concerns."Durante muchos años desarrolló ideas relacionadas con la matemática predicativista, que no acepta todos los principios habituales de la teoría de conjuntos, sino que impone restricciones (relacionadas con el rechazo de las llamadas definiciones impredicativas).