Michael D. Morley
Michael Darwin Morley, né le à Youngstown (Ohio) et mort le à Sayre (Pennsylvanie)[1], est un mathématicien américain qui travaille en logique mathématique, plus particulièrement en théorie des modèles.
.jpg.webp)
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 Vaught[2] (titre de la thèse : « Categoricity in Power »)[3]. 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[4] 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[5] 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[6]. De 1986 à 1989 il était président de l’Association for Symbolic Logic.
Publications (sélection)
- Michael Morley, « Categoricity in Power », Transactions of the American Mathematical Society, vol. 114, no 2,‎ , p. 514–538 (ISSN 0002-9947, DOI 10.2307/1994188, JSTOR 1994188)
- Michael Morley, « Partitions and models », dans M. H. Löb (éditeur), Proceedings of the summer school in logic, Leeds, 1967, Springer-Verlag, coll. « Lecture Notes in Mathematics » (no 70), , p. 109-158 — Récension : Wilfrid Hodges, « Morley Michael. Partitions and models. Proceedings of the summer school in logic, Leeds, 1967 », The Journal of Symbolic Logic, vol. 39, no 01,‎ , p. 182–183 (ISSN 0022-4812, DOI 10.2307/2272373).
- Michael Morley, « Decidable models », Israel Journal of Mathematics, vol. 25, nos 3-4,‎ , p. 233–240 (DOI 10.1007/BF02757002, MR 457190)
- (en) Michael Morley (éditeur), Studies in model theory, Englewood Cliffs (N.J.), The Mathematical Association of America, coll. « Studies in mathematics » (no 8), , vii+197 (ISBN 0-88385-100-8 et 0-88385-108-3, BNF 37366351).
Notes et références
- (de) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en allemand intitulé « Michael D. Morley » (voir la liste des auteurs).
- Comme Vaught était d'une autre université (Berkeley), il ne pouvait en être directeur. Administrativement, son directeur de thèse était Saunders Mac Lane.
- (en) « Michael Darwin Morley », sur le site du Mathematics Genealogy Project.
- Michael Morley, « Categoricity in Power », Transactions of the American Mathematical Society, vol. 114, no 2,‎ , p. 514–538 (ISSN 0002-9947, DOI 10.2307/1994188, JSTOR 1994188).
- Une théorie est catégorique si tous ses modèles sont isomorphes.
- « 2003 Steele Prizes », Notices of the AMS, vol. 50, no 4,‎ , p. 464-465 (lire en ligne).
Liens externes
- Ressources relatives à la recherche :
- Notice dans un dictionnaire ou une encyclopédie généraliste :
- Page de Morley à l'université Cornell