Salomón Feferman | |
---|---|
Fecha de nacimiento | 13 de diciembre de 1928 |
Lugar de nacimiento | |
Fecha de muerte | 26 de julio de 2016 [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).
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.
sitios temáticos | ||||
---|---|---|---|---|
diccionarios y enciclopedias | ||||
|