Turings bevis kom kort tid etter et tilsvarende bevis fremsatt av Alonzo Church basert på lambdakalkyle. Turing hadde ikke vært klar over arbeidene til Church. Turings tilnærming til problemet er vesentlig mer tilgjengelig og intuitivt enn Church sin fremstilling. Den var også nyskapende i sin fremstilling av en «universell maskin», nå omtalt som en universell turingmaskin, en maskin som kan beregne alt som kan beregnes. Von Neumann har erkjent det grunnleggende prinsipp for moderne datamaskiner er basert på denne artikkelen. Turingmaskiner er frem til i dag et sentralt tema innen informatikkstudiet.