Existe una tesis relativizada de Church-Turing que depende de los grados de Turing definidos por máquinas de Turing con oráculos.