Цепь событий в наикратчайшем изложении такова. Метод, принятый в Principia Mathematica, не давал гарантии от ошибок, подобных той, на которую Рассел обратил внимание в работе Фреге. Программа «метаматематики» Гильберта ставила целью объять и логику, и математику в единый четкий формализм. Это послужило мотивировкой исследований Курта Геделя и Алана Тьюринга. Гедель доказал ряд важных теорем путем построения соответствия между символами типа гильбертовых и числами; Тьюринг закодировал и инструкции, и данные в виде чисел в своей идее «машины Тьюринга». Ухватившись за эту идею, Джон фон Нейман развил концепцию хранящейся в памяти программы — концепцию, на которой основано все современное программное обеспечение и согласно которой и код, и данные можно единообразно представить в памяти компьютера…
