Dans la théorie de la calculabilité, le problème de l'arrêt est un problème de décision qui peut être énoncé comme suit : compte tenu de la description d'un programme, décider si celui-ci est terminé ou s'il continue de fonctionner, et s'il se poursuit pour toujours.
- False : poursuivre ;