Solomon Feferman

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda
Solomon Feferman
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)
Causa de muerte Accidente cerebrovascular Ver y modificar los datos en Wikidata
Nacionalidad Estadounidense Ver y modificar los datos en Wikidata
Educación
Alma máter
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 Ver y modificar los datos en Wikidata
Empleador
  • Departamento de Filosofía de la Universidad Stanford Ver y modificar los datos en Wikidata
Miembro de
Distinciones
  • Beca Guggenheim
  • Gödel Lecturer (1997)
  • Rolf Schock Prize in Logic and Philosophy (2003) Ver y modificar los datos en Wikidata
[editar datos en Wikidata]

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. Fue profesor emérito de la Universidad de Stanford.

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 en jefe de Collected Works de Kurt Gödel. Junto a su mujer, Anita Feferman, es también el autor de una briografía de Alfred Tarski.

Lista parcial de publicaciones[editar]

  • In the Light of Logic (Oxford University Press, 1998, ISBN 0-19-508030-0, Logic and Computation in Philosophy series) review.

Enlaces externos[editar]