Feferman, Salomón

La versión actual de la página aún no ha sido revisada por colaboradores experimentados y puede diferir significativamente de la versión revisada el 9 de marzo de 2021; las comprobaciones requieren 2 ediciones .
Salomón Feferman
Fecha de nacimiento 13 de diciembre de 1928( 1928-12-13 )
Lugar de nacimiento
Fecha de muerte 26 de julio de 2016( 2016-07-26 ) [1] [2] (87 años)
País
Esfera científica lógica matemática
Lugar de trabajo
alma mater
Titulo academico Doctor
consejero científico Alfredo Tarski
Premios y premios Beca Guggenheim Premio Rolf Schock de Lógica y Filosofía ( 2003 ) Conferenciante de Gödel [d] ( 1997 ) Miembro de la Sociedad Matemática Americana

Solomon Feferman ( 13 de diciembre de 1928  , Nueva York  - 26 de julio de 2016  , Stanford, California | Stanford, California ) fue un lógico matemático e historiador de la lógica estadounidense. Emérito es profesor de la Universidad de Stanford y miembro de la Academia Estadounidense de las Artes y las Ciencias . Ganador del Premio Rolf Schock de Lógica y Filosofía (2003).

Biografía

Graduado del Instituto de Tecnología de California (B.S. Matemáticas, 1948). Recibió su doctorado en matemáticas en 1957 de la Universidad de California, Berkeley con Alfred Tarski .

Desde 1956, en la Universidad de Stanford, donde hacia el final de su vida ocupó dos puestos de profesor emérito (en matemáticas y filosofía, así como el titular nominal de la cátedra Patrick Suppes de Humanidades y Ciencias ), y de 1985 a 1992 dirigió el Departamento de Matemáticas. De 1958 a 1985, su colega en Stanford fue Georg Kreisel , , junto con Alfred Tarski, fue la mayor influencia de Feferman. En 1980-1982. presidente de la Asociación de Lógica Simbólica . Fue invitado al Instituto de Estudios Avanzados de Princeton, Instituto de Tecnología de Massachusetts, París, Amsterdam, Oxford, Roma y Berkeley.

Fue el editor en jefe de las obras completas de cinco volúmenes de Kurt Gödel , publicadas entre 1986 y 2003 . También editó la obra de Julia Robinson . Junto a su esposa publicó una biografía de Alfred Tarski ( Alfred Tarski: Life and Logic , 2004).

Esposa - Anita Burdman Feferman (1927-2015), dos hijas, nietas.

Enlaces

Notas

  1. Salomón Feferman (1928-2016  )
  2. Solomon Feferman // Museo Solomon Guggenheim - 1937.
  3. LIBRIS - 2016.