Davis casts the proof in this manner: "Invent whose solution would lead to a solution to the halting problem."
Davis dokaz izvodi na ovaj način: "izmisli čije bi rješenje vodilo ka rješenju problema zaustavljanja."