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.
Carrière
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 VaughtComme Vaught était d'une autre université (Berkeley), il ne pouvait en être directeur. Administrativement, son directeur de thèse était Saunders Mac Lane. (titre de la thèse : ).. 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.
Recherche 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égoriqueUne théorie est catégorique si tous ses modèles sont isomorphes. 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.
Publications (sélection)
— Récension : .
.
Notes et références
Liens externes
Page de Morley à l'université Cornell
Catégorie:Naissance en septembre 1930 Catégorie:Naissance à Youngstown (Ohio) Catégorie:Mathématicien américain du XXe siècle Catégorie:Personnalité en logique mathématique Catégorie:Personnalité en théorie des modèles Catégorie:Lauréat du prix Leroy P. Steele Catégorie:Décès à 90 ans Catégorie:Décès en octobre 2020 Catégorie:Décès en Pennsylvanie