Donald A. Martin ha conseguito la laurea in scienze presso il Massachusetts Institute of Technology nel 1962, prima di far progredire il campo della teoria degli insiemi attraverso la sua ricerca sulla determinabilità. La sua carriera di matematico, filosofo e docente universitario è durata decenni presso istituzioni tra cui The Rockefeller University e la University of California, Los Angeles, dove rimane professore emerito.
Contributi alla logica e alla teoria degli insiemi
La ricerca matematica condotta da Martin comprende la dimostrazione della determinabilità di Borel utilizzando gli assiomi ZFC e la dimostrazione della determinabilità analitica, che richiede l'esistenza di un cardinale misurabile. Lavorando insieme a John R. Steel, ha fornito una dimostrazione della determinabilità proiettiva basata su opportuni assiomi di grandi cardinali. Il suo impegno nella teoria degli insiemi comprende inoltre lo sviluppo dell'assioma di Martin.
Funzioni invarianti di Turing e congetture
All'interno del campo specifico della teoria della ricorsione, Martin ha formulato una congettura alla fine degli anni '70 riguardante funzioni invarianti di Turing definibili non banali. Questa ipotesi, che suggerisce che tali funzioni siano limitate al salto di Turing e ai suoi iterati transfiniti, è apparsa come voce nei problemi di Victoria Delfino, un'appendice all'interno degli atti del Caltech-UCLA Logic Seminar. Il corpo più ampio del suo lavoro include la misura di Martin sui gradi di Turing e la congettura di Martin.
Incarichi accademici e riconoscimenti
La sua attività professionale è stata principalmente legata alla University of California, Los Angeles, dopo il suo periodo presso The Rockefeller University. I suoi contributi alla comunità matematica sono stati riconosciuti attraverso numerosi onori, tra cui il Premio Carol Karp nel 1988, una Borsa Guggenheim nel 1989 e le nomine come conferenziante Tarski nel 1992 e conferenziante Gödel nel 1994. È membro dell'American Mathematical Society e dell'American Academy of Arts and Sciences, ed è diventato Fellow dell'American Mathematical Society nel 2014.
Venti domande, otto minuti di orologio e un percentile misurato su tutti quelli che l’hanno fatto. Senza registrazione.
Fai il test del QI →Informazioni sintetiche
- Nato: 1940 - Nazionalità: Stati Uniti - Formazione: Massachusetts Institute of Technology - Campi principali: Teoria degli insiemi, logica matematica - Onorificenza di rilievo: Premio Carol Karp (1988) - Stato professionale: Professore emerito
Domande frequenti dei lettori
### Qual è il focus della congettura di Martin?
Riguarda la teoria della ricorsione e postula che le uniche funzioni invarianti di Turing definibili non banali siano il salto di Turing e i suoi iterati.
### Per quali importanti dimostrazioni è noto Donald A. Martin?
È riconosciuto per le dimostrazioni della determinabilità di Borel, della determinabilità analitica e, insieme a John R. Steel, della determinabilità proiettiva.
