J'ai jamais été convaincu par la démonstration du problème d'arret. (celle par l'absurde).
La démonstration que l'on m'avait présenté revient pour moi à démontrer qu'un logiciel A de calcul d'arret d'un autre logiciel B ne peut pas décider de l'arret de B en ayant aucune entrée (donc B également exclus). Ce que je trouve d'un interet discutable...
Beaucoups de cas pratiques peuvent souvent se résoudre par backpropagation. Je suis d'accord qu'il n'existe pas d'algo pour le cas général, mais je suis persuadé que l'on peut en trouver plein pour des problèmes courant.
[^] # Re: qques questions sur Lissac et... Ruby, Java, Caml...
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche 23 mars: Conférence au LORIA sur Lisaac, un nouveau langage. Évalué à 1.
La démonstration que l'on m'avait présenté revient pour moi à démontrer qu'un logiciel A de calcul d'arret d'un autre logiciel B ne peut pas décider de l'arret de B en ayant aucune entrée (donc B également exclus). Ce que je trouve d'un interet discutable...
Beaucoups de cas pratiques peuvent souvent se résoudre par backpropagation. Je suis d'accord qu'il n'existe pas d'algo pour le cas général, mais je suis persuadé que l'on peut en trouver plein pour des problèmes courant.
"La première sécurité est la liberté"