Theodore A. Slaman

Theodore Slaman Imagen en Infobox. Biografía
Nacimiento 17 de abril de 1954
Nacionalidad americano
Capacitación Universidad Harvard
Ocupaciones Matemático , lógico , profesor universitario
Otras informaciones
Trabajé para Universidad de California en Berkeley , Universidad de Chicago
Director de tesis Gerald Sacks
Premios Profesor de Gödel (2001)
Premio de Investigación Humboldt (2002)

Theodore Allen Slaman (nacido17 de abril de 1954) es un lógico matemático estadounidense que trabaja en la teoría de la recursividad .

Slaman primero estudió física en la Universidad Estatal de Pensilvania , luego optó por la lógica matemática y obtuvo un doctorado en 1981 en la Universidad de Harvard bajo la supervisión de Gerald E. Sacks ( "  Aspectos de la teoría de la recursividad electrónica  " ). De 1983 a 1996 fue profesor en la Universidad de Chicago , luego profesor en la Universidad de California en Berkeley . De 2003 a 2009 fue director del departamento de matemáticas allí. Slaman fue académico visitante o profesor en 1993-94 como becarios visitantes SERC en Inglaterra, en 2002-03 en la Universidad de Heidelberg, de 2007 a 2012 cada verano durante dos meses en la Universidad Nacional de Singapur, seis meses en 2013 en el Universidad de Buenos Aires.

Slaman trabaja en la teoría de la recursividad . Con W. Hugh Woodin , formuló la conjetura de interpretabilidad dual para los grados de Turing , conjetura que afirma que el orden parcial de los grados de Turing es lógicamente equivalente a la aritmética de segundo orden . Demostraron que la conjetura de la bi-interpretabilidad es equivalente a la inexistencia de un automorfismo no trivial para el orden de los grados de Turing. También exhibieron propiedades límite sobre los posibles automorfismos de los grados de Turing al mostrar que cualquier automorfismo es necesariamente definible aritméticamente. También le interesan los números normales .

Slaman obtuvo el premio President Young Investigator Award  (en) en 1985 y el premio Humboldt Research Award en 2002. En 1990 fue orador invitado en el Congreso Internacional de Matemáticos (ICM) en Kyoto ( Estructuras de grado ). En 2001 fue Lecturer de Gödel ( Teoría de la Recursividad ).

Notas y referencias

  1. (en) "  Theodore Slaman Allen  " en el sitio web del Proyecto de Genealogía de Matemáticas .
  2. Theodore A. Slaman y W. Hugh Woodin , "  Definibilidad en los grados de enumeración  ", Archivo de lógica matemática , vol.  36, n hueso  4-5,1997, p.  255–267 ( ISSN  0933-5846 , DOI  10.1007 / s001530050064 ).
  3. Theodore A. Slaman y W. Hugh Woodin , "  Extendiendo órdenes parciales a órdenes lineales densos  ", Annals of Pure and Applied Logic , vol.  94, n hueso  1-3,1998, p.  253–261 ( ISSN  0168-0072 , DOI  10.1016 / S0168-0072 (97) 00075-4 ).
  4. Verónica Becher , Yann Bugeaud y Theodore A. Slaman , “  Sobre números simplemente normales a diferentes bases  ”, Mathematische Annalen , vol.  364, n hueso  1-2, 2015, p.  125–150 ( ISSN  0025-5831 , DOI  10.1007 / s00208-015-1209-9 , arXiv  1311.0332 ).
  5. .
  6. Theodore A. Slaman, “Estructuras de grado” , en Actas del Congreso Internacional de Matemáticos, vol. I, II (Kioto, 1990) , Matemáticas. Soc. Japón, 1991( Revisiones de matemáticas  1159219 ) , pág.  303–316

enlaces externos