Le problème de l'arrêt dit simplement qu'on ne peut pas écrire un programme qui calcule si tous les programmes vont s'arrêter, pas qu'on ne peut pas prouver qu'un programme particulier va s'arrêter ou non.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: Me reproduire
Posté par 2PetitsVerres (Mastodon) . En réponse au sondage Votre métier. Évalué à 3.
Le problème de l'arrêt dit simplement qu'on ne peut pas écrire un programme qui calcule si tous les programmes vont s'arrêter, pas qu'on ne peut pas prouver qu'un programme particulier va s'arrêter ou non.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.