Jack Copeland (2004) attributes the introduction of the term halting problem to the work of Martin Davis in the 1950s.
Ο Jack Copeland (2004) προσδίδει τον όρο πρόβλημα τερματισμού στον Martin Davis.