Esta idea proviene del hecho de que dicha tesis describe el subconjunto de las matemáticas que puede ser computado; por el contrario, la Tesis Extendida de Church-Turing define el subconjunto de las matemáticas que puede ser automatizado incuestionablemente.