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 .
Solomon Feferman | |
---|---|
Nació | |
Fallecido | 26 de julio de 2016 | (87 años)
alma mater | Instituto de Tecnología de California Universidad de California, Berkeley |
Era | Filosofía contemporánea |
Región | Filosofía occidental |
Colegio | Predicativismo analítico |
Tesis | Pruebas de coherencia formal e interpretabilidad de las teorías (1957) |
Asesor de doctorado | Alfred Tarski |
Estudiantes de doctorado | |
Intereses principales | Filosofía de las matemáticas |
Ideas notables | Sistemas estratificados para los fundamentos de la teoría de categorías [1] ordinal de Feferman-Schütte |
Influencias | |
Influenciado |
La vida
Solomon Feferman nació en el Bronx en la ciudad de Nueva York de padres de clase trabajadora que habían inmigrado a los Estados Unidos después de la Primera Guerra Mundial y se habían conocido y casado 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 BS del Instituto de Tecnología de California en 1948, y en 1957 su Ph.D. 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 de los Estados Unidos de 1953 a 1955. En 1956 fue nombrado para los Departamentos de Matemáticas y Filosofía de la Universidad de Stanford , donde más tarde se convirtió en el profesor Patrick Suppes de Humanidades y Ciencias. [4]
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 . [5]
Trabajó en matemáticas predicativas , en particular introduciendo el ordinal de Feferman-Schütte como una medida de la fuerza de ciertos sistemas predicativos.
Reconocimiento
Feferman fue galardonado con una beca Guggenheim en 1972 y 1986 [6] y el premio Rolf Schock en lógica y filosofía en 2003. [7] En 2006 fue invitado a pronunciar las Conferencias Tarski . En 2012 se convirtió en miembro de la American Mathematical Society . [8]
Publicaciones
Documentos
- Feferman, Solomon; Vaught, Robert L. (1959), "Las propiedades de primer orden de los productos de los sistemas algebraicos", Fund. Matemáticas. 47, 57-103.
- Feferman, Solomon (1975), "Un lenguaje y axiomas para las matemáticas explícitas", Álgebra y lógica (Fourteenth Summer Res. Inst., Austral. Math. Soc., Monash Univ., Clayton, 1974), págs. 87-139, Lecture Notes in Math., Vol. 450, Berlín, Springer.
- Feferman, Solomon (1979), "Teorías constructivas de funciones y clases", Logic Colloquium '78 (Mons, 1978) , págs. 159-224, Stud. Logic Foundations Math., 97, Amsterdam, Nueva York, Holanda Septentrional.
- Buchholz, Wilfried; Feferman, Solomon; Pohlers, Wolfram; Sieg, Wilfried (1981), "Definiciones inductivas iteradas y subsistemas de análisis: estudios teóricos de prueba recientes", Lecture Notes in Mathematics , 897, Berlín, Nueva York, Springer-Verlag.
- Feferman, Solomon; Hellman, Geoffrey (1995), "Fundamentos predicativos de la aritmética", J. Philos. Lógica 24 (1), 1-17.
- Avigad, Jeremy ; Feferman, Solomon (1998), " Interpretación funcional ( dialéctica ) de Gödel ", Manual de teoría de la prueba , 337–405, Stud. Lógica encontrada. Math., 137, Amsterdam, Holanda Septentrional.
Libros
- Feferman, Salomón. (1998). A la luz de la lógica . Prensa de la Universidad de Oxford. ISBN 0-19-508030-0 , serie Lógica y Computación en Filosofía. [9]
- Feferman, Anita Burdman; Feferman, Solomon (2004). Alfred Tarski: vida y lógica . Prensa de la Universidad de Cambridge . ISBN 978-0-521-80240-6. OCLC 54691904 .[5]
Ver también
- Críticas al análisis no estándar
Referencias
- ^ "Sistemas estratificados enriquecidos para los fundamentos de la teoría de categorías" por Solomon Feferman (2011)
- ^ "Solomon Feferman (1928-2016)" .
- ^ Solomon Feferman en el Proyecto de genealogía de matemáticas
- ^ "Página de inicio de Solomon Feferman" . Archivado desde el original el 24 de octubre de 2017.
- ^ a b Reseñas de Alfred Tarski :
- Dauben, Joseph W. (2005), Revisiones matemáticas , MR 2095748CS1 maint: 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), "The Man Who Defined Truth", American Scientist , 93 (2): 175-177, JSTOR 27858554
- Shell-Gellasch, Amy (mayo de 2005), "Review" , MAA Reviews
- Misiuna, Krystyna (mayo de 2005), History and Philosophy of Logic , 26 (2): 166–168, doi : 10.1080 / 01445340412331313602 , S2CID 216590845CS1 maint: publicación periódica sin título ( enlace )
- Mendelson, Elliott (junio de 2005), Philosophia Mathematica , 13 (2): 231–232, doi : 10.1093 / philmat / nki020CS1 maint: 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 3621256CS1 maint: publicación periódica sin título ( enlace )
- Schmit, Roger (otoño de 2005), Archives de Philosophie , 68 (3): 546–547, JSTOR 43038344CS1 maint: 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 124002889CS1 maint: publicación periódica sin título ( enlace )
- Kybernetes , 35 (1/2), enero de 2006, doi : 10.1108 / k.2006.06735aae.002CS1 maint: 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 9529607CS1 maint: 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.005CS1 maint: 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 27641942CS1 maint: 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 / 507375CS1 maint: 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 4028507CS1 maint: 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) , Notices of the American Mathematical Society , 54 (8): 986–989
- Bassols, Alejandro Tomasini (abril de 2006), Crítica: Revista Hispanoamericana de Filosofía , 38 (112): 105-111, JSTOR 40104969CS1 maint: publicación periódica sin título ( enlace )
- Brown, Scott H. (marzo de 2009), The Mathematics Teacher , 102 (7): 558, JSTOR 20876430CS1 maint: publicación periódica sin título ( enlace )
- Bremer, Manuel (diciembre de 2009), "Review" , Philosophy in Review , 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 218549336CS1 maint: publicación periódica sin título ( enlace )
- Czernecka-Rej, Bożena (2011), Roczniki Filozoficzne , 59 (1): 79–84, JSTOR 43408916CS1 maint: publicación periódica sin título ( enlace )
- ^ "Fundación John Simon Guggenheim | Solomon Feferman" .
- ^ "Feferman recibió el premio Rolf Schock de lógica y filosofía" .
- ^ Lista de miembros de la American Mathematical Society , consultado el 2 de diciembre de 2012.
- ^ Reseñas de A la luz de la lógica :
- Avigad, Jeremy (diciembre de 1999), The Journal of Philosophy , 96 (12): 638–642, doi : 10.2307 / 2564698 , JSTOR 2564698 https://semanticscholar.org/paper/08b0919ef041a5a92a8093f5f6b3f5f8a5ecd78e falta el título ( ayuda )
|url=
CS1 maint: publicación periódica sin título ( enlace ) - Antonelli, G. Aldo (junio de 2001), The Bulletin of Symbolic Logic , 7 (2): 270–277, doi : 10.2307 / 2687778 , JSTOR 2687778 , S2CID 122751203CS1 maint: publicación periódica sin título ( enlace )
- Mendelson, E. (2001), Revisiones matemáticas , MR 1661162CS1 maint: publicación periódica sin título ( enlace )
- Avigad, Jeremy (diciembre de 1999), The Journal of Philosophy , 96 (12): 638–642, doi : 10.2307 / 2564698 , JSTOR 2564698 https://semanticscholar.org/paper/08b0919ef041a5a92a8093f5f6b3f5f8a5ecd78e falta el título ( ayuda )
enlaces externos
- Sitio web oficial de Solomon Feferman (a través de Internet Archive ) en la Universidad de Stanford