Michael D. Morley

Pour les articles homonymes, voir Morley.

Michael Morley

Michael Morley à Berkeley

Biographie

Naissance	29 septembre 1930 Youngstown
Décès	11 octobre 2020 (à 90 ans) Sayre
Nom dans la langue maternelle	Michael Darwin Morley
Nationalité	américaine
Formation	Université Case Western Reserve Université de Chicago Université de Californie à Berkeley
Activités	Mathématicien, professeur d'université
Conjoint	Vivienne Esta Morley (d)

Autres informations

A travaillé pour	Université Cornell Université de Californie à Berkeley
Directeurs de thèse	Saunders Mac Lane, Robert Vaught
Distinction	Prix Leroy P. ​​Steele pour contribution fondamentale à la recherche (2003)

modifier - modifier le code - modifier Wikidata

Michael Darwin Morley, né le 29 septembre 1930 à Youngstown (Ohio) et mort le 11 octobre 2020 à Sayre (Pennsylvanie)^[1], 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^[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.

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.

• Michael Morley, « Categoricity in Power », Transactions of the American Mathematical Society, vol. 114, n^o 2,‎ 1965, 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 » (n^o 70), 1968, 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, n^o 01,‎ 2014, p. 182–183 (ISSN 0022-4812, DOI 10.2307/2272373).
• Michael Morley, « Decidable models », Israel Journal of Mathematics, vol. 25, n^os 3-4,‎ 1976, 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 » (n^o 8), 1973, vii+197 (ISBN 0-88385-100-8 et 0-88385-108-3, BNF 37366351).

• (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).

• Notices d'autorité :

  • VIAF
  • ISNI
  • BnF (données)
  • LCCN
  • CiNii
  • Pays-Bas
  • NUKAT
  • Australie
  • Norvège
  • WorldCat
• Ressources relatives à la recherche :
  • Digital Bibliography & Library Project
  • Mathematics Genealogy Project
• Notice dans un dictionnaire ou une encyclopédie généraliste :

  • Britannica
• Page de Morley à l'université Cornell

• Portail des mathématiques
• Portail de la logique