Solomon Feferman

EEUU | 1928-2016

Filósofo y matemático estadounidense nacido en Nueva York, cuyo mayor trabajo ha sido en lógica matemática, en particular en teoría de la demostración. Tras pasar por el ejército, inició su obra sobre progresiones de teorías en primer orden y le condujo al doctorado. Fue profesor de la Universidad de Stanford desde 1958, ocupando la cátedra Patrick Suppes desde 1993. 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. Feferman fue galardonado con el Premio Schock en lógica y filosofía en 2003 y con las Tarski Lectures en 2006. 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. Su libro In the Light of Logic ofrece una exposición de los motivos que subyacen a dicho punto de vista, y de cómo toda la matemática empleada en teorías científicas consolidadas es reducible a sistemas de matemática predicativa. Feferman fue el editor jefe de Collected Works de Kurt Gödel. Junto a su mujer, Anita Feferman (1927-2015), es también el autor de una magnífica biografía del también filósofo y matemático Alfred Tarski. © WK

Textos:

La tesis de Turing (fragmento)

Galardones:

Rolf Schock (2003)