Las especulaciones que se realicen sobre la posibilidad de que existan procesos físicos cuyo comportamiento se parezca a funciones no computables por la máquina de Turing se remonta al menos a las últimas cinco décadas; algunos ejemplos son: Doyle, Geroch y Hartle, Hogarth, Kreisel, etc.