Tyuring mashinalari orqali yechish mumkinligini isbotlab bergan, mashina fikrlay oladimi, algoritmlar asosida odam bilan muloqotni amalga oshiradigan, informatsion texnologiyalar va matematik ma'lumotlarni mustaxkamlashda katta ahamiyatga ega mahsulot.