Andreas Blass
| Naissance | |
|---|---|
| Nationalité | |
| Domicile | |
| Formation | |
| Activité |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeur de thèse |
Frank Arvey Wattenberg (d) |
| Distinction |
Andreas Raphael Blass (né le ) est un mathématicien, actuellement professeur à l'Université du Michigan. Il travaille en logique mathématique, en particulier en théorie des ensembles, et en informatique théorique.
Biographie
Blass est diplômé de l'Université de Détroit, où il est boursier Putnam en 1965[1] et 1966, obtenant un BS en physique. Il obtient son doctorat en 1970 de l'Université Harvard, avec une thèse sur les ordres des ultrafiltres écrite sous la direction de Frank Wattenberg[2]. Depuis 1970, il est employé par l'Université du Michigan, d'abord comme instructeur de recherche TH Hildebrandt (1970-1972), puis professeur adjoint (1972-1976), professeur associé (1976-1984) et depuis 1984, il y est professeur titulaire.
En 2014, il devient membre de l'American Mathematical Society.
Recherches
En 1984, Blass prouve que l'existence d'une base pour tout espace vectoriel équivaut à l'axiome du choix. Il apporte d'importantes contributions au développement de la théorie des ensembles des réels et des forçages.
Blass est le premier à souligner les liens entre la sémantique du jeu et la logique linéaire.
Il est l'auteur de plus de 200 articles de recherche en logique mathématique et en informatique théorique.
Références
- ↑ « Putnam Competition Individual and Team Winners », Mathematical Association of America (consulté le )
- ↑ (en) « Andreas Blass », sur le site du Mathematics Genealogy Project
Liens externes
- Ressources relatives à la recherche :
Portail des mathématiques