Я рассматриваю Бога, как первого программиста, хорошего программиста, который написал первую программу и запустил её. Но в этой программе есть ошибки, приведённые в действие.
Глубоко ошибается тот, кто думает, что изделиями программистов являются программы, которые они пишут. Программист обязан создавать заслуживающие доверия решения и представлять их в форме убедительных доводов, а текст написанной программы является лишь сопроводительным материалом, к которому эти доказательства применимы.
Закон Доньды: «То, что может сделать малый компьютер, имея большую программу, может также сделать большой компьютер с программой малой; отсюда логический вывод, что бесконечно большая программа может выполняться сама, то есть без какого-либо компьютера».