Garchi Turingning isboti Alonzo Cherchning Lambda hisoblashidan foydalangan ekvivalent isbotidan ko'p o'tmay e'lon qilingan bo'lsa-da, Turingning o'zi unga notanish edi (25. Alan Tyoringning yondashuvi ko'proq tushunarli va intuitiv deb tan olingan. Har qanday boshqa mashinaning vazifasini bajarishi mumkin bo'lgan Universal Mashina g'oyasi, yoki boshqa so'zlar bilan aytganda, hisoblash mumkin bo'lgan hamma narsani hisoblash, juda g'ayrioddiy edi. Von Neyman zamonaviy kompyuter konsepsiyasi Alan Tyoringning ushbu ishiga asoslanganligini tan oldi ((26). Turing mashinalari algoritmlar nazariyasining asosiy tadqiqot obʼekti boʻlib qolmoqda.
Alan Turingning yondashuvi qanday deb qabul qilinadi?
ko'proq tushunarli va intuitiv