To, co mały komputer może z wielkim programem, może też wielki komputer z programem małym; stąd wniosek logiczny, iż program nieskończenie duży może działać sam, tj. bez jakiegokolwiek komputera.