Pour les articles homonymes, voir Morley.
.jpg)
| Naissance | |
|---|---|
| Décès | |
| Nom dans la langue maternelle |
Michael Darwin Morley |
| Nationalité | |
| Formation | |
| Activités | |
| Conjoint |
Vivienne Esta Morley (en) |
| A travaillé pour | |
|---|---|
| Directeurs de thèse | |
| Distinction |
Michael Darwin Morley, né le à Youngstown (Ohio) et mort le à Sayre (Pennsylvanie), est un mathématicien américain qui travaille en logique mathématique, plus particulièrement en théorie des modèles.
Morley étudie à l'université Case Western Reserve (bachelor en 1951) et travaille ensuite, de 1955 à 1961 au Laboratory for Applied Sciences de l'université de Chicago. Il obtient un Ph.D. en 1962 à l'université de Chicago sous la supervision effective de Robert Lawson Vaught (titre de la thèse : « Categoricity in Power »). Morley est ensuite instructeur à l'université de Californie à Berkeley, en 1963 professeur assistant à l'université du Wisconsin. À partir de 1966, il travaille à l'université Cornell, où il est, de 1984 à 1995, Director of Undergraduate Studies en mathématiques et devient professeur émérite en 2002.
Dans sa thèse, Morley démontre un théorème important de la théorie des modèles, le théorème de catégoricité de Morley : une théorie dénombrable qui est catégorique pour une cardinalité non dénombrable est catégorique pour toute autre cardinalité non dénombrable. Saharon Shelah a étendu en 1974 ce théorème aux théories non dénombrables. Pour ce résultat, Morley obtient en 2003 le Prix Leroy P. Steele. De 1986 à 1989 il était président de l’Association for Symbolic Logic.
