Theodore A. Slaman

Theodore Slaman Bild in der Infobox. Biografie
Geburt 17. April 1954
Staatsangehörigkeit amerikanisch
Ausbildung Harvard Universität
Aktivitäten Mathematiker , Logiker , Universitätsprofessor
Andere Informationen
Arbeitete für Universität von Kalifornien in Berkeley , Universität von Chicago
Supervisor Gerald Sacks
Auszeichnungen Gödel Dozent (2001)
Humboldt-Forschungspreis (2002)

Theodore Allen Slaman (geb.17. April 1954) Ist ein amerikanischer Mathematiker Logiker , die in arbeitet Rekursionstheorie .

Slaman studierte zunächst Physik an der Pennsylvania State University , entschied sich dann für mathematische Logik und promovierte 1981 an der Harvard University unter der Aufsicht von Gerald E. Sacks ( "  Aspekte der E-Rekursionstheorie  " ). Von 1983 bis 1996 war er Professor an der University of Chicago , dann Professor an der University of California in Berkeley . Von 2003 bis 2009 war er dort Direktor der mathematischen Abteilung. Slaman war 1993-94 Gastwissenschaftler oder Professor als SERC Visiting Fellows in England, 2002-03 an der Universität Heidelberg, von 2007 bis 2012 jeden Sommer für zwei Monate an der National University of Singapore, sechs Monate 2013 an der Universität von Buenos Aires.

Slaman arbeitet in der Rekursionstheorie . Mit W. Hugh Woodin formulierte er die Vermutung der doppelten Interpretierbarkeit für Turing-Grade , eine Vermutung, die besagt, dass die Teilordnung der Turing-Grade logisch der Arithmetik zweiter Ordnung entspricht . Sie zeigten, dass die Vermutung der Doppelinterpretierbarkeit der Nichtexistenz eines nicht trivialen Automorphismus für die Ordnung der Turing-Grade entspricht. Sie zeigten auch Grenzwerteigenschaften für die möglichen Automorphismen von Turing-Graden, indem sie zeigten, dass jeder Automorphismus notwendigerweise arithmetisch definierbar ist. Er interessiert sich auch für normale Zahlen .

Slaman erhielt 1985 den President Young Investigator Award  (in) und 2002 den Humboldt Research Award . 1990 war er Gastredner beim Internationalen Kongress der Mathematiker (ICM) in Kyoto ( Degree Structures ). 2001 war er Gödel-Dozent ( Rekursionstheorie ).

Anmerkungen und Referenzen

  1. (in) "  Theodore Slaman Allen  " auf der Website des Mathematics Genealogy Project .
  2. Theodore A. Slaman und W. Hugh Woodin , „  Definierbarkeit in den Aufzählungsgraden  “, Archive for Mathematical Logic , vol.  36, n Knochen  4-5,1997, p.  255–267 ( ISSN  0933-5846 , DOI  10.1007 / s001530050064 ).
  3. Theodore A. Slaman und W. Hugh Woodin , „  Erweiterung von Teilordnungen auf dichte lineare Ordnungen  “, Annals of Pure and Applied Logic , vol.  94, n Knochen  1-3,1998, p.  253–261 ( ISSN  0168-0072 , DOI  10.1016 / S0168-0072 (97) 00075-4 ).
  4. Verónica Becher , Yann Bugeaud und Theodore A. Slaman , „  Auf einfach normalen Zahlen zu verschiedenen Grundlagen  “, Mathematische Annalen , vol.  364, n Knochen  1-2, 2015, p.  125–150 ( ISSN  0025-5831 , DOI  10.1007 / s00208-015-1209-9 , arXiv  1311.0332 ).
  5. .
  6. Theodore A. Slaman, "Gradstrukturen" , in Proceedings of the International Congress of Mathematicians, Vol. I, II (Kyoto, 1990) , Math. Soc. Japan, 1991( Math Reviews  1159219 ) , p.  303–316

Externe Links