Copeland (2004, p 40) states that: "The halting problem was so named (and it appears, first stated) by Martin Davis ...
Copeland (2004.) veli da: "Problem je zaustavljanja tako imenovan (i kako se čini, po prvi put iskazan) od strane Martina Davisa ...