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