Salomon Feferman - Solomon Feferman
Salomon Feferman | |
---|---|
Née |
Le Bronx, New York , États-Unis
|
13 décembre 1928
Décédés | 26 juillet 2016
Stanford, Californie , États-Unis
|
(87 ans)
mère nourricière |
California Institute of Technology Université de Californie, Berkeley |
Ère | Philosophie contemporaine |
Région | Philosophie occidentale |
L'école |
Prédicativisme analytique |
Thèse | Preuves de cohérence formelle et interprétabilité des théories (1957) |
Conseiller de doctorat | Alfred Tarski |
Doctorants | |
Principaux intérêts |
Philosophie des mathématiques |
Idées notables |
Systèmes stratifiés pour les fondements de la théorie des catégories ordinal de Feferman-Schütte Fonction d'effondrement ordinal Mathématiques explicites |
Influences | |
Influencé |
Solomon Feferman (13 décembre 1928 - 26 juillet 2016) était un philosophe et mathématicien américain qui travaillait dans la logique mathématique .
La vie
Solomon Feferman est né dans le Bronx à New York de parents issus de la classe ouvrière qui avaient immigré aux États-Unis après la Première Guerre mondiale et s'étaient rencontrés et mariés à New York. Aucun des parents n'avait fait d'études supérieures. La famille a déménagé à Los Angeles, où Feferman a obtenu son diplôme d'études secondaires à l'âge de 16 ans.
Il a obtenu son BS du California Institute of Technology en 1948, et en 1957 son Ph.D. en mathématiques de l' Université de Californie, Berkeley , sous Alfred Tarski , après avoir été enrôlé et avoir servi dans l'armée américaine de 1953 à 1955. En 1956, il a été nommé aux départements de mathématiques et de philosophie de l'Université de Stanford , où il est devenu plus tard le professeur Patrick Suppes de lettres et sciences humaines.
Feferman est décédé le 26 juillet 2016 à son domicile de Stanford , des suites d'une maladie qui a duré trois mois et d'un accident vasculaire cérébral . À sa mort, il était membre du MAA depuis 37 ans.
Contributions
Feferman a été rédacteur en chef des cinq volumes Collected Works of Kurt Gödel , publiés par Oxford University Press entre 2001 et 2013.
En 2004, avec sa femme Anita Burdman Feferman , il publie une biographie d' Alfred Tarski : Alfred Tarski : Life and Logic .
Il a travaillé sur les mathématiques prédicatives , en introduisant notamment l' ordinal de Feferman-Schütte comme mesure de la force de certains systèmes prédicatifs.
Reconnaissance
Feferman a reçu une bourse Guggenheim en 1972 et 1986 et le prix Rolf Schock en logique et philosophie en 2003. En 2006, il a été invité à prononcer les conférences Tarski . En 2012, il est devenu membre de l' American Mathematical Society .
Publications
Papiers
- Feferman, Salomon ; Vaught, Robert L. (1959), "Les propriétés de premier ordre des produits des systèmes algébriques", Fund. Math. 47, 57-103.
- Feferman, Solomon (1975), "Une langue et des axiomes pour les mathématiques explicites", Algèbre et logique (Fourteenth Summer Res. Inst., Austral. Math. Soc., Monash Univ., Clayton, 1974), pp. 87-139, Notes de cours en mathématiques, vol. 450, Berlin, Springer.
- Feferman, Solomon (1979), "Théories constructives des fonctions et des classes", Logic Colloquium '78 (Mons, 1978) , pp. 159-224, Stud. Logic Foundations Math., 97, Amsterdam, New York, Hollande du Nord.
- Buchholz, Wilfried; Feferman, Salomon ; Pohlers, Wolfram ; Sieg, Wilfried (1981), "Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies", Notes de cours en mathématiques , 897, Berlin, New York, Springer-Verlag.
- Feferman, Salomon ; Hellman, Geoffrey (1995), "Fondements prédicatifs de l'arithmétique", J. Philos. Logique 24 (1), 1-17.
- Avigad, Jérémie ; Feferman, Solomon (1998), " Interprétation fonctionnelle ( Dialectica ) de Gödel ", Manuel de la théorie de la preuve , 337-405, Stud. Logique trouvée. Math., 137, Amsterdam, Hollande du Nord.
Livres
- Feferman, Salomon. (1998). À la lumière de la logique . Presses de l'Université d'Oxford. ISBN 0-19-508030-0 , série Logique et calcul en philosophie.
- Feferman, Anita Burdman; Feferman, Salomon (2004). Alfred Tarski : Vie et logique . Presse de l'Université de Cambridge . ISBN 978-0-521-80240-6. OCLC 54691904 .