stringtranslate.com

Theodore Slaman

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 la 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 biinterpretabilidad equivale a que no exista un automorfismo no trivial de los grados de Turing. También mostraron límites a los posibles automorfismos de los grados de Turing al mostrar que cualquier automorfismo será aritméticamente definible .

Referencias

enlaces externos