Por otro lado, una sentencia puede ser verdadera para un oráculo al azar y en cambio falsa para una máquina de Turing.