This work, along with Gödel's work on general recursive functions, established that there are sets of simple instructions, which, when put together, are able to produce any computation.
این کار همراه با کار گودل دربارهٔ توابع بازگشتی، بیان کرد که مجموعه‌هایی از دستورالعمل‌های ساده وجود دارند که وقتی باهم قرار می‌گیرند، می‌توانند هر محاسبه‌ای را تولید کنند.