Dasturiy ta'minotga oid birinchi nazariya ingliz matematik Alon Tyoring tomonidan 1936 yilda On computable numbers with an application to the Entscheidungsproblem (Hesablab chiqiladigan raqamlar haqida qaror berish muammosiga ilova bilan) deb nomlangan essasida taklif etilgan. U Turing mashinasi deb nomlangan mavhum mashinaning matematik modelini yaratdi, u mashinani bir holatdan boshqasiga o'tkazadigan rudimentar operatsiyalar ketma-ketligini bajarishga qodir. Asosiy g'oya, tizimning har qanday oldindan berilgan holatiga har doim buyruqlarning qat'iy to'plamidan elementar buyruqlarning (dasturning) yakuniy to'plamini ketma-ket bajarish orqali erishish mumkinligini matematik isbotlashdan iborat edi.
Alon Turingning "Hisoblanadigan sonlar to'g'risida"gi essai-si, yechim topish muammosiga ilova bilan qaysi yilda paydo bo'lgan?
1936 yilda