Apakah masalah penghentian dapat diputuskan untuk program murni pada komputer yang ideal?
Cukup sederhana untuk memahami mengapa masalah penghentian tidak dapat diputuskan untuk program tidak murni (yaitu, yang memiliki I / O dan / atau negara bagian bergantung pada negara mesin-global); tetapi secara intuitif, tampaknya program murni berhenti pada komputer yang ideal akan dapat...