Donald A. Martin completó su licenciatura en ciencias en el Instituto Tecnológico de Massachusetts en 1962 antes de hacer avanzar el campo de la teoría de conjuntos mediante su investigación sobre la determinación. Su carrera como matemático, filósofo y profesor universitario ha abarcado décadas en instituciones como la Universidad Rockefeller y la Universidad de California en Los Ángeles, donde sigue siendo profesor emérito.
Contribuciones a la lógica y la teoría de conjuntos
La investigación matemática realizada por Martin incluye la demostración de la determinación de Borel utilizando los axiomas ZFC y la demostración de la determinación analítica, lo cual requiere la existencia de un cardinal medible. Trabajando junto a John R. Steel, proporcionó una demostración de la determinación proyectiva basada en axiomas de cardinales grandes adecuados. Su participación en la teoría de conjuntos también abarca el desarrollo del axioma de Martin.
Funciones invariantes de Turing y conjeturas
Dentro del campo específico de la teoría de la recursión, Martin formuló una conjetura a finales de la década de 1970 sobre las funciones invariantes de Turing definibles no triviales. Esta hipótesis, que sugiere que tales funciones se limitan al salto de Turing y a sus iterados transfinitos, apareció como una entrada en los problemas de Victoria Delfino, un apéndice dentro de las actas del Seminario de Lógica de Caltech-UCLA. El conjunto más amplio de su trabajo incluye la medida de Martin en los grados de Turing y la conjetura de Martin.
Nombramientos académicos y reconocimiento
Su trayectoria profesional ha estado vinculada principalmente a la Universidad de California en Los Ángeles, tras su paso por la Universidad Rockefeller. Sus contribuciones a la comunidad matemática han sido reconocidas a través de varios honores, incluido el Premio Carol Karp en 1988, una beca Guggenheim en 1989 y nombramientos como conferenciante Tarski en 1992 y conferenciante Gödel en 1994. Es miembro de la Sociedad Matemática Estadounidense y de la Academia Estadounidense de Artes y Ciencias, y se convirtió en miembro de la Sociedad Matemática Estadounidense en 2014.
Veinte preguntas, ocho minutos de reloj y un percentil medido frente a todos los que la han hecho. Sin registro.
Hacer la prueba de CI →Datos clave
- Nacimiento: 1940 - Nacionalidad: Estados Unidos - Educación: Instituto Tecnológico de Massachusetts - Campos principales: Teoría de conjuntos, lógica matemática - Honor notable: Premio Carol Karp (1988) - Estatus profesional: Profesor emérito
Preguntas frecuentes de los lectores
### ¿Cuál es el enfoque de la conjetura de Martin?
Se relaciona con la teoría de la recursión y postula que las únicas funciones invariantes de Turing definibles no triviales son el salto de Turing y sus iterados.
### ¿Por cuáles demostraciones importantes se conoce a Donald A. Martin?
Es reconocido por las demostraciones de la determinación de Borel, la determinación analítica y, junto con John R. Steel, la determinación proyectiva.
