Sy David Friedman
Sy David Friedman (né le  à Chicago) est un mathématicien logicien américain qui travaille en logique mathématique et en théorie des ensembles.

Biographie 
Friedman étudie à l'université Northwestern et à partir de 1970 au Massachusetts Institute of Technology (MIT), où il obtient en 1976 un Ph. D. sous la direction de Gerald E. Sacks (titre de la thèse : ). En 1979 il rejoint le corps enseignant du MIT ; à partir de 1990 il y est professeur titulaire. Depuis 1999 il est professeur de logique mathématique à l’université de Vienne et directeur du Kurt Gödel Forschungszentrums de logique mathématique à cette université. 

Sy Friedman travaille en théorie de la récursion, théorie axiomatique des ensembles (en relation avec la théorie des modèles) et théorie descriptive des ensembles. Un projet phare du centre est le Hyperuniverse Programme.

Sy Friedman est le frère de Harvey Friedman, également mathématicien logicien.

Publications  (sélection) 

Monographie

Notes et références

Liens externes 

 
 Page personnelle  au Kurt Gödel Forschungszentrum de l'université de Vienne
 Evidence for Set-Theoretic Truth and the Hyperuniverse Programme par Sy-David Friedman

Mathématicien américain du XXe siècle
Mathématicien américain du XXIe siècle
Personnalité en théorie des ensembles
Professeur au Massachusetts Institute of Technology
Naissance en mai 1953
Naissance à Chicago
Sy David Friedman ( né le à Chicago ) est un mathématicien logicien américain qui travaille en logique mathématique et en théorie de les ensembles . Biographie Friedman étudie à l' université Northwestern et à partir deau Massachusetts Institute of Technology ( MIT ) , où il obtient enun Ph . D. sous la direction de Gerald E. Sacks ( titre de la thèse \ : ) . Enil rejoint le corps enseignant de le MIT ; à partir deil y est professeur titulaire . Depuisil est professeur de logique mathématique à l’ université de Vienne et directeur de le Kurt Gödel Forschungszentrums de logique mathématique à cette université . Sy Friedman travaille en théorie de la récursion , théorie axiomatique de les ensembles ( en relation avec la théorie de les modèles ) et théorie descriptive de les ensembles . Un projet phare de le centre est le Hyperuniverse Programme . Sy Friedman est le frère de Harvey Friedman , également mathématicien logicien . Publications ( sélection ) Monographie Notes et références Liens externes Page personnelle à le Kurt Gödel Forschungszentrum de l' université de Vienne Evidence for Set-Theoretic Truth and the Hyperuniverse Programme par Sy-David Friedman Mathématicien américain de le XXe siècle Mathématicien américain de le XXIe siècle Personnalité en théorie de les ensembles Professeur à le Massachusetts Institute of Technology Naissance en mai Naissance à Chicago