Le problème d'arrêt est-il décidable pour les programmes purs sur un ordinateur idéal?
Il est assez simple de comprendre pourquoi le problème d'arrêt est indécidable pour les programmes impurs (c'est-à-dire ceux dont les E / S et / ou les états dépendent de l'état global de la machine); mais intuitivement, il semble que l'arrêt d'un programme pur sur un ordinateur idéal serait...