Theodore A. Slaman

Theodore Slaman Bilde i infoboks. Biografi
Fødsel 17. april 1954
Nasjonalitet amerikansk
Opplæring Harvard University
Aktiviteter Matematiker , logiker , universitetsprofessor
Annen informasjon
Jobbet for University of California i Berkeley , University of Chicago
Veileder Gerald Sacks
Utmerkelser Gödel-foreleser (2001)
Humboldt Research Prize (2002)

Theodore Allen Slaman (født17. april 1954) Er en amerikansk matematiker logician som jobber i rekursjon teori .

Slaman studerte først fysikk ved Pennsylvania State University , valgte deretter matematisk logikk og oppnådde en doktorgrad i 1981 ved Harvard University under veiledning av Gerald E. Sacks ( "  Aspects of E-recursion theory  " ). Fra 1983 til 1996 var han professor ved University of Chicago , deretter professor ved University of California i Berkeley . Fra 2003 til 2009 var han direktør for matematikkavdelingen der. Slaman var gjesteforsker eller professor i 1993-94 som SERC Visiting Fellows i England, i 2002-03 ved University of Heidelberg, fra 2007 til 2012 hver sommer i to måneder ved National University of Singapore, seks måneder i 2013 på Universitetet i Buenos Aires.

Slaman jobber i rekursjonsteori . Med W. Hugh Woodin formulerte han antagelsen dobbelt tolkbarhet for Turing-grader , antagelser som hevder at den delvise rekkefølgen til Turing-gradene er logisk ekvivalent med aritmetikken til andre orden . De viste at antydningen med to tolkninger tilsvarer at det ikke eksisterer en ikke-triviell automorfisme i rekkefølgen av Turing-grader. De viste også begrensningsegenskaper for mulige automorfismer av Turing-grader ved å vise at enhver automorfisme nødvendigvis er aritmetisk definierbar. Han er også interessert i normale tall .

Slaman fikk President Young Investigator Award  (i) i 1985 og Humboldt Research Award i 2002. I 1990 var han gjestetaler ved International Congress of Mathematicians (ICM) i Kyoto ( Degree Structures ). I 2001 var han Gödel-lektor ( Rekursjonsteori ).

Merknader og referanser

  1. (in) "  Theodore Slaman Allen  " på nettstedet til Mathematics Genealogy Project .
  2. Theodore A. Slaman og W. Hugh Woodin , “  Definability in the enumeration degrees  ”, Archive for Mathematical Logic , vol.  36, n bein  4-5,1997, s.  255–267 ( ISSN  0933-5846 , DOI  10.1007 / s001530050064 ).
  3. Theodore A. Slaman og W. Hugh Woodin , “  Utvide delordrer til tette lineære ordrer  ”, Annals of Pure and Applied Logic , vol.  94, n bein  1-3,1998, s.  253–261 ( ISSN  0168-0072 , DOI  10.1016 / S0168-0072 (97) 00075-4 ).
  4. Verónica Becher , Yann Bugeaud og Theodore A. Slaman , “  On simply normal numbers to different bases  ”, Mathematische Annalen , vol.  364, n bein  1-2, 2015, s.  125–150 ( ISSN  0025-5831 , DOI  10.1007 / s00208-015-1209-9 , arXiv  1311.0332 ).
  5. .
  6. Theodore A. Slaman, "Grad strukturer" , i Proceedings of the International Congress of Mathematicians, Vol. I, II (Kyoto, 1990) , Matematikk. Soc. Japan, 1991( Matematikkanmeldelser  1159219 ) , s.  303–316

Eksterne linker