Solomon Feferman
Pour les articles homonymes, voir Feferman.
Solomon Feferman
| Naissance |  New York |
|---|---|
| Décès | (à 87 ans) Stanford |
| Nationalité | américaine |
| Formation | |
| Activités | Mathématicien, philosophe, historien des mathématiques, professeur d'université |
| A travaillé pour | Département de philosophie de l'université Stanford (d) Université Stanford |
|---|---|
| Membre de | American Mathematical Society () Académie américaine des arts et des sciences |
| Directeur de thèse | Alfred Tarski |
| Distinctions |
modifier - modifier le code - modifier Wikidata
Solomon Feferman (-[1]) est un philosophe et mathématicien américain actif en logique mathématique. Né à New York, il obtient son Ph.D. en 1957 de l'université de Californie à Berkeley sous la direction d'Alfred Tarski. Il est professeur émérite Patrick Suppes (en) de sciences et humanité, avec des nominations aux départements de mathématiques et philosophie à l'université Stanford[2].
En 2003, Feferman est lauréat du prix Schock en logique et philosophie[3]. En 2012, il est élu fellow de l'American Mathematical Society[4].
Feferman a été rédacteur en chef des Collected Works de Kurt Gödel.
Publications (sélection)
- In the Light of Logic (Oxford University Press, 1998, (ISBN 0-19-508030-0), Logic and Computation in Philosophy series).
- Avigad, J. ; Feferman, S. (1998), Gödel's functional (Dialectica) interpretation. Handbook of proof theory, 337–405, Stud. Logic Found. Math., 137, North-Holland, Amsterdam.
- Feferman, S. ; Vaught, R. L. (1959), The first order properties of products of algebraic systems, Fund. Math. 47, 57–103.
- Feferman, Solomon (1979), Constructive theories of functions and classes, Logic Colloquium 78 (Mons, 1978), pp. 159–224, Stud. Logic Foundations Math., 97, North-Holland, Amsterdam-New York.
- Feferman, Solomon (1975), A language and axioms for explicit mathematics. Algebra and logic (Fourteenth Summer Res. Inst., Austral. Math. Soc., Monash Univ., Clayton, 1974), pp. 87–139. Lecture Notes in Math., Vol. 450, Springer, Berlin.
- Buchholz, Wilfried ; Feferman, Solomon ; Pohlers, Wolfram ; Sieg, Wilfried (1981), Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, Lecture Notes in Mathematics, 897. Springer-Verlag, Berlin-New York.
- Feferman, Solomon; Hellman, Geoffrey (1995), Predicative foundations of arithmetic, J. Philos. Logic 24, no. 1, 1--17.
- avec Anita Burdman Feferman : Alfred Tarski: Life and Logic (Cambridge University Press, 2004).
Notes et références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Solomon Feferman » (voir la liste des auteurs).
- ↑ (en) « Solomon Feferman (1928-2016) », sur illc.uva.nl (consulté le )
- ↑ (en) « Solomon Feferman's homepage », sur math.stanford.edu
- ↑ (en) « Feferman awarded Rolf Schock Prize in logic and philosophy », sur news.stanford.edu,
- ↑ List of Fellows of the American Mathematical Society, consulté le 12 janvier 2012.
Liens externes
- Site officiel de Solomon Feferman à l'université Stanford
- Ressources relatives à la recherche
: - Digital Bibliography & Library Project
- Mathematics Genealogy Project
- Persée
- Ressource relative à la littérature :
- London Review of Books
- Notices dans des dictionnaires ou encyclopédies généralistes :
- Britannica
- Deutsche Biographie
- Notices d'autorité :
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- Italie
- CiNii
- Pays-Bas
- Pologne
- Israël
- NUKAT
- Catalogne
- Suède
- Norvège
- Tchéquie
- WorldCat
Portail de la philosophie analytique 
Portail des mathématiques 
Portail des États-Unis
