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.
Овај рад, заједно са Геделовим радом на општим рекурзивним функцијама, утврдио да постоје скупови једноставних упутстава, која, када се ставе заједно, су у стању да производе било које рачунање.