Metadata
Author: WikiMatrix
Data
English[en]
Davis casts the proof in this manner: "Invent whose solution would lead to a solution to the halting problem."
Croatian[hr]
Davis dokaz izvodi na ovaj način: "izmisli čije bi rješenje vodilo ka rješenju problema zaustavljanja."