Theodore Slaman - Theodore Slaman
Theodore Allen Slaman | |
---|---|
Nació | 17 de abril de 1954 (edad | 67)
Ciudadanía | americano |
alma mater | Universidad Harvard |
Carrera científica | |
Campos | Matemáticas |
Instituciones | Universidad de California, Berkeley |
Asesor de doctorado | Gerald E. Sacks |
Theodore Allen Slaman (nacido el 17 de abril de 1954) es profesor de matemáticas en la Universidad de California, Berkeley, que trabaja en la teoría de la recursividad .
Slaman y W. Hugh Woodin formularon la Conjetura de bi-interpretabilidad para los grados de Turing , que conjetura 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 que no haya un automorfismo no trivial de los grados de Turing. También exhibieron límites en los posibles automorfismos de los grados de Turing al mostrar que cualquier automorfismo será definible aritméticamente .
Referencias
- Slaman, Theodore A. (1991). "Estructuras de titulación". Actas del Congreso Internacional de Matemáticos, vol. I, II (Kioto, 1990) . págs. 303–316. Señor 1159219 .
enlaces externos