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.

Pour les articles homonymes, voir Morley.

Michael Morley
Michael Morley à Berkeley
Biographie
Naissance
Décès
(à 90 ans)
Sayre
Nom dans la langue maternelle
Michael Darwin Morley
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Dir. de thèse
Distinction

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, Math Reviews 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
  2. Comme Vaught était d'une autre université (Berkeley), il ne pouvait en être directeur. Administrativement, son directeur de thèse était Saunders Mac Lane.
  3. (en) « Michael Darwin Morley », sur le site du Mathematics Genealogy Project.
  4. 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).
  5. Une théorie est catégorique si tous ses modèles sont isomorphes.
  6. « 2003 Steele Prizes », Notices of the AMS, vol. 50, no 4,‎ , p. 464-465 (lire en ligne).

Liens externes
  • Portail des mathématiques
  • Portail de la logique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.