stopprobleem oor Frans

stopprobleem

Vertalings in die woordeboek Nederlands - Frans

problème de l'arrêt

naamwoord manlike

Problème de décision qui peut s'énoncer de la manière suivante : étant donnée une description d'un programme et une entrée finie, décider si le programme va se terminer ou tournera pour toujours, pour cette entrée.

voorbeelde

Zijn diagonaalargument is ook fundamenteel in de oplossing van het stopprobleem en het bewijs van de Gödels eerste onvolledigheidsstelling.
L'argument diagonal joue un rôle fondamental dans la solution du problème de l'arrêt, et dans la preuve du premier théorème d'incomplétude de Gödel.

Conclusie: het stopprobleem is onbeslisbaar.
Par exemple, le problème de l'arrêt est indécidable.