Solomon Feferman

matemático estadounidense

Solomon Feferman (13 de diciembre de 1928-26 de julio de 2016) fue un filósofo y matemático estadounidense cuyo mayor trabajo ha sido en lógica matemática, en particular en teoría de la demostración. Nació en Nueva York, y recibió su Ph.D. en 1957 de la Universidad de California, Berkeley bajo la dirección de Alfred Tarski.

Solomon Feferman

Solomon Feferman en 2004
Información personal
Nacimiento 13 de diciembre de 1928 Ver y modificar los datos en Wikidata
Nueva York (Estados Unidos) Ver y modificar los datos en Wikidata
Fallecimiento 26 de julio de 2016 Ver y modificar los datos en Wikidata (87 años)
Stanford (Estados Unidos) Ver y modificar los datos en Wikidata
Causa de muerte Accidente cerebrovascular Ver y modificar los datos en Wikidata
Nacionalidad Estadounidense
Educación
Educación doctor en Filosofía Ver y modificar los datos en Wikidata
Educado en Universidad de California en Berkeley Ver y modificar los datos en Wikidata
Supervisor doctoral Alfred Tarski Ver y modificar los datos en Wikidata
Información profesional
Ocupación Matemático, historiador de la matemática, filósofo y profesor universitario Ver y modificar los datos en Wikidata
Área Lógica matemática, matemáticas, filosofía, filosofía de la matemática e historia de la lógica Ver y modificar los datos en Wikidata
Empleador
Estudiantes doctorales Bienvenido Nebres Ver y modificar los datos en Wikidata
Miembro de
Distinciones
  • Beca Guggenheim
  • Gödel Lecturer (1997)
  • Rolf Schock Prize in Logic and Philosophy (2003)
  • Miembro de la Sociedad Estadounidense de Matemática (2013) Ver y modificar los datos en Wikidata

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. Tras pasar por el ejército, donde sirvió dos años, un encargo de revisión de A. Church para el Journal of Symbolic Logic le puso en la pista de un nuevo tema bastante alejado de los intereses de Tarski; esto 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 (proof theory).

Feferman fue galardonado con el Premio Schock en lógica y filosofía en 2003 y con las Tarski Lectures en 2006. 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). 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, es también el autor de una magnífica biografía de Alfred Tarski.

Lista parcial de publicaciones

editar

Enlaces externos

editar