stringtranslate.com

Salomón Feferman

Solomon Feferman (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 prueba , teoría de la computabilidad y teoría de conjuntos , era 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 firme defensor de la filosofía de las matemáticas conocida como predicativismo , especialmente desde una postura antiplatónica .

Vida

Solomon Feferman nació en El Bronx en la ciudad de Nueva York de padres de clase trabajadora que habían emigrado a los Estados Unidos después de la Primera Guerra Mundial y se conocieron y se casaron en Nueva York. Ninguno de los padres tenía educación avanzada. La familia se mudó a Los Ángeles, donde Feferman se graduó de la escuela secundaria a los 16 años.

Recibió su licenciatura en el Instituto de Tecnología de California en 1948 y en 1957 su doctorado. en matemáticas de la Universidad de California, Berkeley , bajo la dirección de Alfred Tarski , [3] después de haber sido reclutado y haber servido en el ejército estadounidense de 1953 a 1955. En 1956 fue designado para los Departamentos de Matemáticas y Filosofía de la Universidad de Stanford , donde más tarde se convirtió en profesor Patrick Suppes de Humanidades y Ciencias. Si bien pasó la mayor parte de su carrera en Stanford, también pasó un tiempo como becario postdoctoral en el Instituto de Estudios Avanzados de Princeton , profesor visitante en el MIT y miembro visitante en la Universidad de Oxford ( Wolfson College and All) . Colegio de Almas ). [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] A su muerte, había sido miembro de la Asociación Matemática de América durante 37 años. [7]

Contribuciones

Feferman fue editor en jefe de las Obras completas de Kurt Gödel en cinco volúmenes , publicadas 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: Life and Logic . [8]

Trabajó en matemáticas predicativas , en particular introduciendo el ordinal de Feferman-Schütte como medida de la fuerza de ciertos sistemas predicativos.

Reconocimiento

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

Publicaciones

Documentos

Libros

Ver también

Referencias

  1. ^ "Sistemas estratificados enriquecidos para los fundamentos de la teoría de categorías" por Solomon Feferman (2011)
  2. ^ ab "Salomón Feferman (1928-2016)".
  3. ^ Solomon Feferman en el Proyecto de genealogía de matemáticas
  4. ^ "Página de inicio de Solomon Feferman". Archivado desde el original el 24 de octubre de 2017.
  5. ^ Lanier Anderson, R. (4 de agosto de 2016). "Un homenaje a Solomon Feferman (1928-2016)". filosofía.stanford.edu . Archivado desde el original el 11 de septiembre de 2016 . Consultado el 24 de julio de 2021 .
  6. ^ "El lógico matemático de Stanford Solomon Feferman muere a los 87 años". Noticias de Stanford . 7 de octubre de 2016 . Consultado el 24 de julio de 2021 .
  7. ^ "In Memoriam | Asociación Matemática de América". www.maa.org . Consultado el 24 de julio de 2021 .
  8. ^ ab Reseñas de Alfred Tarski :
    • Dauben, Joseph W. (2005), Reseñas matemáticas , SEÑOR  2095748{{citation}}: Mantenimiento CS1: publicación periódica sin título ( enlace )
    • Anellis, Irving H. (2005), "Review", The Review of Modern Logic , 10 (1–2): 117–130
    • Davis, Philip J. (marzo de 2005), "Una vida de lógica y lo ilógico de la vida", SIAM News
    • Davis, Martin (marzo-abril de 2005), "El hombre que definió la verdad", Científico estadounidense , 93 (2): 175–177, JSTOR  27858554
    • Shell-Gellasch, Amy (mayo de 2005), "Review", Reseñas de MAA
    • Misiuna, Krystyna (mayo de 2005), Historia y Filosofía de la Lógica , 26 (2): 166–168, doi :10.1080/01445340412331313602, S2CID  216590845{{citation}}: Mantenimiento CS1: publicación periódica sin título ( enlace )
    • Mendelson, Elliott (junio de 2005), Philosophia Mathematica , 13 (2): 231–232, doi : 10.1093/philmat/nki020{{citation}}: Mantenimiento CS1: publicación periódica sin título ( enlace )
    • Kilmister, CW (julio de 2005), The Mathematical Gazette , 89 (515): 330–331, doi :10.1017/S0025557200177988, JSTOR  3621256, S2CID  171454519{{citation}}: Mantenimiento CS1: publicación periódica sin título ( enlace )
    • Schmit, Roger (otoño de 2005), Archives de Philosophie , 68 (3): 546–547, JSTOR  43038344{{citation}}: Mantenimiento CS1: publicación periódica sin título ( enlace )
    • Maddux, Roger D. (diciembre de 2005), The Bulletin of Symbolic Logic , 11 (4): 535–540, doi :10.1017/S1079898600003000, JSTOR  3396716, S2CID  124002889{{citation}}: Mantenimiento CS1: publicación periódica sin título ( enlace )
    • Kybernetes , 35 (1/2), enero de 2006, doi :10.1108/k.2006.06735aae.002{{citation}}: Mantenimiento CS1: publicación periódica sin título ( enlace )
    • Lescanne, Pierre (marzo de 2006), ACM SIGACT News , 37 (1): 27, doi :10.1145/1122480.1122489, S2CID  9529607{{citation}}: Mantenimiento CS1: publicación periódica sin título ( enlace )
    • Carnielli, Walter (marzo de 2006), Lógica y filosofía lógica , 15 (1), doi : 10.12775/llp.2006.005{{citation}}: Mantenimiento CS1: publicación periódica sin título ( enlace )
    • Wood, Carol (abril de 2006), The American Mathematical Monthly , 113 (4): 377–379, doi :10.2307/27641942, JSTOR  27641942{{citation}}: Mantenimiento CS1: publicación periódica sin título ( enlace )
    • Oberdan, Thomas (junio de 2006), Isis , 97 (2): 362–363, doi :10.1086/507375, JSTOR  10.1086/507375{{citation}}: Mantenimiento CS1: publicación periódica sin título ( enlace )
    • Grattan-Guinness, Ivor (septiembre de 2006), The British Journal for the History of Science , 39 (3): 469–470, doi :10.1017/S0007087406438681, JSTOR  4028507{{citation}}: Mantenimiento CS1: publicación periódica sin título ( enlace )
    • Apt, Krzysztof R. (marzo de 2007), "Alfred Tarski: vida y lógica", The Mathematical Intelligencer , 29 (2): 78–80, doi :10.1007/bf02986214, S2CID  189883846
    • Sinaceur, Hourya Benis (septiembre de 2007), "Review" (PDF) , Avisos de la Sociedad Estadounidense de Matemáticas , 54 (8): 986–989
    • Bassols, Alejandro Tomasini (abril de 2006), Crítica: Revista Hispanoamericana de Filosofía , 38 (112): 105–111, JSTOR  40104969{{citation}}: Mantenimiento CS1: publicación periódica sin título ( enlace )
    • Brown, Scott H. (marzo de 2009), The Mathematics Teacher , 102 (7): 558, JSTOR  20876430{{citation}}: Mantenimiento CS1: publicación periódica sin título ( enlace )
    • Bremer, Manuel (diciembre de 2009), "Review", Filosofía en revisión , 29 (6): 404
    • Nerode, Anil (marzo de 2010), The American Mathematical Monthly , 117 (3): 286–288, doi :10.4169/000298910x480144, JSTOR  10.4169/000298910x480144, S2CID  218549336{{citation}}: Mantenimiento CS1: publicación periódica sin título ( enlace )
    • Czernecka-Rej, Bożena (2011), Roczniki Filozoficzne , 59 (1): 79–84, JSTOR  43408916{{citation}}: Mantenimiento CS1: publicación periódica sin título ( enlace )
  9. ^ "Fundación John Simon Guggenheim | Solomon Feferman".
  10. ^ "Feferman recibió el premio Rolf Schock de lógica y filosofía".
  11. ^ "Profesores de Gödel - Asociación de Lógica Simbólica". Archivado desde el original el 8 de noviembre de 2021 . Consultado el 8 de noviembre de 2021 .
  12. ^ "Las Conferencias Tarski | Departamento de Matemáticas de la Universidad de California Berkeley". math.berkeley.edu . Consultado el 8 de noviembre de 2021 .
  13. ^ Lista de miembros de la Sociedad Estadounidense de Matemáticas, consultado el 2 de diciembre de 2012.
  14. ^ Reseñas de A la luz de la lógica :

enlaces externos