Donald A. Martin schloss sein Bachelorstudium der Naturwissenschaften 1962 am Massachusetts Institute of Technology ab, bevor er das Gebiet der Mengenlehre durch seine Forschung zur Bestimmtheit voranbrachte. Seine Karriere als Mathematiker, Philosoph und Universitätshilfe erstreckte sich über Jahrzehnte an Institutionen wie der The Rockefeller University und der University of California, Los Angeles, wo er nach wie vor als emeritierter Professor tätig ist.
Beiträge zur Logik und Mengenlehre
Die von Martin durchgeführten mathematischen Forschungen umfassen den Beweis der Borel-Bestimmtheit unter Verwendung von ZFC-Axiomen sowie den Beweis der analytischen Bestimmtheit, die die Existenz einer messbaren Kardinalzahl erfordert. In Zusammenarbeit mit John R. Steel legte er einen Beweis für die projektive Bestimmtheit vor, basierend auf geeigneten Großkardinalaxiomen. Seine Arbeit zur Mengenlehre umfasst darüber hinaus die Entwicklung des Martin-Axioms.
Turing-invariante Funktionen und Vermutungen
Innerhalb des spezifischen Fachgebiets der Rekursionstheorie formulierte Martin Ende der 1970er Jahre eine Vermutung über nichttriviale definierbare Turing-invariante Funktionen. Diese Hypothese, die besagt, dass solche Funktionen auf den Turing-Sprung und dessen transfinite Iterationen beschränkt sind, erschien als Eintrag in den Victoria Delfino-Problemen, einem Anhang innerhalb des Berichtsbandes des Caltech-UCLA Logic Seminar. Sein umfassenderes Gesamtwerk umfasst das Martin-Maß auf Turing-Graden und die Martin-Vermutung.
Akademische Ämter und Anerkennung
Seine berufliche Laufbahn war nach seiner Zeit an der The Rockefeller University hauptsächlich mit der University of California, Los Angeles, verbunden. Seine Beiträge zur mathematischen Gemeinschaft wurden durch mehrere Ehrungen gewürdigt, darunter den Carol-Karp-Preis im Jahr 1988, ein Guggenheim-Stipendium im Jahr 1989 sowie Berufungen als Tarski-Lecturer 1992 und Gödel-Lecturer 1994. Er ist Mitglied der American Mathematical Society und der American Academy of Arts and Sciences und wurde 2014 zum Fellow der American Mathematical Society ernannt.
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Kurzübersicht
- Geboren: 1940 - Nationalität: Vereinigte Staaten - Ausbildung: Massachusetts Institute of Technology - Hauptarbeitsgebiete: Mengenlehre, mathematische Logik - Bedeutende Ehrung: Carol-Karp-Preis (1988) - Beruflicher Status: Emeritierter Professor
Häufig gestellte Fragen von Lesern
### Worauf konzentriert sich die Martin-Vermutung?
Sie betrifft die Rekursionstheorie und besagt, dass die einzigen nichttrivialen definierbaren Turing-invarianten Funktionen der Turing-Sprung und dessen Iterationen sind.
### Für welche bedeutenden Beweise ist Donald A. Martin bekannt?
Er ist bekannt für Beweise zur Borel-Bestimmtheit, zur analytischen Bestimmtheit sowie gemeinsam mit John R. Steel zur projektiven Bestimmtheit.
