Worldlex Wiki Solomon Feferman ( / ; 13 décembre 1928 26 juillet 2016) un philosophe et américain qui travaillait en logique mathématique . Outre son œuvre technique prolifique en théorie de la démonstration en de la calculabilité en théorie des ensembles , il était connu pour ses contributions à l' histoire de la logique (par exemple, à travers des écrits biographiques sur des figures telles que Kurt Gödel , Alfred Tarski et Jean van Heijenoort ) et comme un fervent défenseur de la philosophie des mathématiques connue sous le nom de prédicativisme , notamment d'un point de vue antiplatonicien .
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 deux parents n'avait fait d'études supérieures. La famille a ensuite déménagé à Los Angeles, où Feferman a obtenu son diplôme d'études secondaires à l'âge de 16 ans.
He received his B.S. from the California Institute of Technology in 1948, and in 1957 his Ph.D. in mathematics from the University of California, Berkeley, under Alfred Tarski, after having been drafted and having served in the U.S. Army from 1953 to 1955. In 1956 he was appointed to the Departments of Mathematics and Philosophy at Stanford University, where he later became the Patrick Suppes Professor of Humanities and Sciences. While the majority of his career was spent at Stanford, he also spent time as a post-doctoral fellow at the Institute for Advanced Study in Princeton, a visiting professor at MIT, and a visiting fellow at the University of Oxford (Wolfson College and All Souls College).
Feferman died on 26 July 2016 at his home in Stanford, following an illness that lasted three months and a stroke. At his death, he had been a member of the Mathematical Association of America for 37 years.
Contributions
Feferman was editor-in-chief of the five-volume Collected Works of Kurt Gödel, published by Oxford University Press between 2001 and 2013.
In 2004, together with his wife Anita Burdman Feferman, he published a biography of Alfred Tarski, Alfred Tarski: Life and Logic.
Influenced by the writings of Hermann Weyl, he worked on predicative mathematics. In particular, he introduced the Feferman–Schütte ordinal as a measure of the strength of certain predicative systems.
Recognition
Feferman was awarded Guggenheim Fellowships in 1972 and 1986 and the Rolf Schock Prize in logic and philosophy in 2003. He was invited to give the Gödel Lecture in 1997 and the Tarski Lectures in 2006. In 2012, he became a fellow of the American Mathematical Society.
Publications
Papers
- Feferman, Solomon; Vaught, Robert L. (1959), « Les propriétés du premier ordre des produits de systèmes algébriques », Fund. Math. 47, 57–103.
- Feferman, Solomon (1975), « Un langage et des axiomes pour les mathématiques explicites », Algèbre et logique (Quatorzième Summer Res. Inst., Austral. Math. Soc., Monash Univ., Clayton, 1974), pp. 87–139, Lecture Notes in Math., 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, North-Holland.
- Buchholz, Wilfried; Feferman, Solomon; Pohlers, Wolfram; Sieg, Wilfried (1981), « Définitions inductives itérées et sous-systèmes d'analyse : études récentes sur la théorie de la preuve », Lecture Notes in Mathematics , 897, Berlin, New York, Springer-Verlag.
- Feferman, Solomon; Hellman, Geoffrey (1995), « Fondements prédicatifs de l'arithmétique », J. Philos. Logic 24 (1), 1–17.
- Avigad, Jeremy ; Feferman, Solomon (1998), « L'interprétation fonctionnelle ( dialectique ) de Gödel », Handbook of proof theory , 337–405, Stud. Logic Found. Math., 137, Amsterdam, North-Holland.
Livres
- Feferman, Solomon (1964) Les systèmes numériques, fondements de l'algèbre et de l'analyse. Addison Wesley. Numéro de catalogue de la Bibliothèque du Congrès : 63-12470
- Feferman, Solomon. (1998). À la lumière de la logique . Oxford University Press. ISBN0-19-508030-0, série Logique et calcul en philosophie.
- Feferman, Anita Burdman ; Feferman, Solomon (2004). Alfred Tarski : Vie et logique . Cambridge University Press . ISBN978-0-521-80240-6. OCLC 54691904 .