Solomon Feferman

Solomon Feferman ( / ˈ f ɛ f ər m ən / ; 13 de diciembre de 1928 – 26 de julio de 2016) ^{[ 2 ]} fue un filósofo y matemático estadounidense que trabajó en lógica matemática . Además de su prolífico trabajo técnico en teoría de la demostración , teoría de la computabilidad y teoría de conjuntos , fue conocido por sus contribuciones a la historia de la lógica (por ejemplo, a través de escritos biográficos sobre figuras como Kurt Gödel , Alfred Tarski y Jean van Heijenoort ) y como un defensor abierto de la filosofía de las matemáticas conocida como predicativismo , notablemente desde una postura antiplatónica . 

Solomon Feferman nació en el Bronx, Nueva York, en el seno de una familia obrera que había emigrado a Estados Unidos tras la Primera Guerra Mundial y se había conocido y casado en Nueva York. Ninguno de sus padres tenía estudios superiores. La familia se mudó a Los Ángeles, donde Feferman se graduó de la escuela secundaria a los 16 años.

Obtuvo su licenciatura en el Instituto Tecnológico de California en 1948 y, en 1957, su doctorado en matemáticas en la Universidad de California, Berkeley , bajo la dirección de Alfred Tarski , ^{[ 3 ]} tras haber sido reclutado y haber servido en el Ejército de los Estados Unidos de 1953 a 1955. En 1956 fue nombrado miembro de los Departamentos de Matemáticas y Filosofía de la Universidad de Stanford , donde posteriormente se convirtió en el Profesor Patrick Suppes de Humanidades y Ciencias. Si bien la mayor parte de su carrera la desarrolló en Stanford, también trabajó como investigador postdoctoral en el Instituto de Estudios Avanzados de Princeton , como profesor visitante en el MIT y como investigador visitante en la Universidad de Oxford ( Wolfson College y All Souls College ). ^{[ 4 ]}

Feferman falleció el 26 de julio de 2016 en su casa de Stanford , tras una enfermedad que duró tres meses y un derrame cerebral . ^{[ 2 ] [ 5 ] [ 6 ]} Al momento de su muerte, había sido miembro de la Asociación Matemática de América durante 37 años. ^{[ 7 ]}

Feferman fue editor jefe de las Obras Completas de Kurt Gödel , una obra en cinco volúmenes publicada por Oxford University Press entre 2001 y 2013.

En 2004, junto con su esposa Anita Burdman Feferman , publicó una biografía de Alfred Tarski , Alfred Tarski: Vida y lógica . ^{[ 8 ]}

Influenciado por los escritos de Hermann Weyl , trabajó en matemáticas predicativas . En particular, introdujo el ordinal de Feferman-Schütte como medida de la solidez de ciertos sistemas predicativos.

Feferman recibió becas Guggenheim en 1972 y 1986 ^{[ 9 ]} y el Premio Rolf Schock de lógica y filosofía en 2003. ^{[ 10 ]} Fue invitado a impartir la Conferencia Gödel en 1997 ^{[ 11 ]} y las Conferencias Tarski en 2006. ^{[ 12 ]} En 2012, se convirtió en miembro de la Sociedad Matemática Estadounidense . ^{[ 13 ]}

• Crítica al análisis no estándar

• "Sitio web oficial" . Universidad de Stanford . Archivado del original el 24 de octubre de 2017. Consultado el 15 de febrero de 2026 .