Citation Envoyé par exciton Voir le message
Ça ne permet pas un libre-arbitre total mais c'est mieux que rien.
Dans la mesure où rien dans l'univers n'est prouvé comme ayant le "libre arbitre total", ça place ces programmes au même niveau que le reste.

Et beaucoup de questions sur les programmes sont indécidables, probabilités ou pas. Va-t-il s'arrêter, donner une réponse originale ? On n'en sait rien. Faut l'exécuter pour savoir.
Je profite de cette phrase pour rappeler que les programmes s'arrêtant ne sont qu'une catégorie restreinte des programmes existants.
De manière générale, Turing n'est pas utilisable pour tout ce qui concerne la robotique et les traitements continus: dans ces situations, il n'y a pas de fin, et il n'y a pas de résultat.
Il n'y a qu'une continuité de positions.