Donald A. Martin a obtenu sa licence ès sciences au Massachusetts Institute of Technology en 1962 avant de faire progresser le domaine de la théorie des ensembles grâce à ses recherches sur la déterminabilité. Sa carrière de mathématicien, de philosophe et de professeur d'université s'est ét étendue sur des décennies dans des institutions telles que The Rockefeller University et l'Université de Californie à Los Angeles, où il demeure professeur émérite.
Contributions à la logique et à la théorie des ensembles
La recherche mathématique menée par Martin comprend la preuve de la déterminabilité borélienne utilisant les axiomes ZFC et la preuve de la déterminabilité analytique, qui nécessite l'existence d'un cardinal mesurable. Travaillant aux côtés de John R. Steel, il a fourni une preuve de la déterminabilité projective reposant sur des axiomes de grands cardinaux appropriés. Son implication dans la théorie des ensembles englobe en outre le développement de l'axiome de Martin.
Fonctions invariantes de Turing et conjectures
Dans le domaine spécifique de la théorie de la récursion, Martin a formulé une conjecture à la fin des années 1970 concernant les fonctions invariantes de Turing définissables non triviales. Cette hypothèse, qui suggère que de telles fonctions se limitent au saut de Turing et à ses itérés transfinis, est apparue comme une entrée dans les problèmes de Victoria Delfino, un appendice des actes du séminaire de logique Caltech-UCLA. L'ensemble plus large de son œuvre comprend la mesure de Martin sur les degrés de Turing et la conjecture de Martin.
Nominations académiques et reconnaissance
Son parcours professionnel a été principalement lié à l'Université de Californie à Los Angeles, après son passage à The Rockefeller University. Ses contributions à la communauté mathématique ont été saluées par plusieurs distinctions, notamment le prix Carol Karp en 1988, une bourse Guggenheim en 1989, ainsi que des nominations en tant que conférencier Tarski en 1992 et conférencier Gödel en 1994. Il est membre de l'American Mathematical Society et de l'American Academy of Arts and Sciences, et il est devenu membre de l'American Mathematical Society en 2014.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →Faits en bref
- Né en : 1940 - Nationalité : États-Unis - Formé à : Massachusetts Institute of Technology - Domaines principaux : Théorie des ensembles, logique mathématique - Distinctions notables : Prix Carol Karp (1988) - Statut professionnel : Professeur émérite
Questions posées par les lecteurs
### Quel est le sujet de la conjecture de Martin ?
Elle concerne la théorie de la récursion et avance que les seules fonctions invariantes de Turing définissables non triviales sont le saut de Turing et ses itérés.
### Pour quelles démonstrations majeures Donald A. Martin est-il connu ?
Il est reconnu pour ses preuves de la déterminabilité borélienne, de la déterminabilité analytique et, avec John R. Steel, de la déterminabilité projective.
