Theodore Allen Slaman (nacido el 17 de abril de 1954) es un profesor de matemáticas en la Universidad de California, Berkeley que trabaja en la teoría de la recursión .
Slaman y W. Hugh Woodin formularon la conjetura de biinterpretabilidad 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 biinterpretabilidad es equivalente a que no haya ningún automorfismo no trivial de los grados de Turing. También exhibieron límites a los posibles automorfismos de los grados de Turing al mostrar que cualquier automorfismo será definible aritméticamente .