Алгоритм төшөнсәһен өлөшләтә формалләштереү, Давид Гильберт 1928 йылда формулировкалаған хәл итеү проблемаһын хәл итергә маташыуҙарҙан башлана (). Формалләштереүҙең артабанғы этаптары эффектив иҫәпләүҙәрҙе йәки «эффектив ысулдарҙы» билдәләү өсөн кәрәк була; шундай формалләштереүҙәр араһындаxa0— Гёдельxa0— Эрбранxa0— Клиниҙың рекурсив функциялары 1930, 1934 һәм 1935 йй., Алонзо Чёрчтың λ-иҫәпләмәһе 1936 й., Эмиль Посттың 1936 йылдағы «формулировка 1-е» һәм Тьюринг машинаһы.