Je pense qu'il est temps de recentrer un peu le débat, car on s'éloigne un peu. Tu disais que du moment qu'on a un langage Turing complet, on peut prouver ses programmes. Or, tout langage Turing complet permet de produire des programmes dont on ne peut pas prouver la terminaison avec quelque chose de la même puissance qu'une MT.
C'est, il me semble, une application du théorème d'incomplétude de Godël.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: C'est trop compliqué !
Posté par Ontologia (site web personnel) . En réponse au journal Des langages de haut niveau. Évalué à 2.
C'est, il me semble, une application du théorème d'incomplétude de Godël.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker