Тьюринг дәлелі Алонзо Черчтің Ламбда есептеулерін қолданған баламалы дәлелінен кейін көп ұзамай жарияланғанымен, Тьюрингтің өзі онымен таныс емес еді (). Алан Тьюрингтің тәсілі көбірек түсінікті және интуитивті деп саналады. Универсалды машинаның идеясы, кез келген басқа машинаның функциясын орындай алады, яғни, басқаша айтқанда, барлық есептеулерді жасай алады, бұл өте ерекше болды. Фон Нейман қазіргі заманғы компьютердің тұжырымдамасы Алан Тьюрингтің осы жұмысына негізделгенін мойындады. Тьюринг машиналары әлі күнге дейін алгоритмдер теориясының негізгі зерттеу объектісі болып табылады.
Қазіргі заманғы компьютердің тұжырымдамасы Алан Тьюрингтің жұмысына негізделгенін кім мойындады?
Фон Нейман