Wikipédia

Michael D. Morley

mathématicien américain
Page d’aide sur l’homonymie

Pour les articles homonymes, voir Morley.

Michael Morley
Michael Morley à Berkeley
Biographie
Naissance
Décès
Voir et modifier les données sur Wikidata (à 90 ans)
SayreVoir et modifier les données sur Wikidata
Nom dans la langue maternelle
Michael Darwin MorleyVoir et modifier les données sur Wikidata
Nationalité
Formation
Activités
Conjoint
Vivienne Esta Morley (d)Voir et modifier les données sur Wikidata
Autres informations
A travaillé pour
Directeurs de thèse
Distinction

modifier - modifier le code - modifier WikidataDocumentation du modèle

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.

Carrière modifier

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 modifier

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) modifier

  • 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 modifier

  1. ↑ [1]
  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 modifier

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Michael_D._Morley&oldid=192390686 ».