But the limits of practical computation are set by physics, not by theoretical computer science: "Turing did not show that his machines can solve any problem that can be solved 'by instructions, explicitly stated rules, or procedures', nor did he prove that the universal Turing machine 'can compute any function that any computer, with any architecture, can compute'.
Али границе практичног рачунања су постављени од стране физике, а не теоријске компјутерске науке: "Тјуринг није показао да његове машине могу да реше сваки проблем који се може решити 'упутствима, изричито наведеним правилима, или процедурама", нити је доказао да универзална Тјурингова машина "може израчунати било коју функцију коју било који компјутер, са било којом архитектуром, може израчунати ".