Закон Доньды: «То, что может сделать малый компьютер, имея большую программу, может также сделать большой компьютер с программой малой; отсюда логический вывод, что бесконечно большая программа может выполняться сама, то есть без какого-либо компьютера».