• [^] # Re: prouveur automatique/assistant de preuve

    Posté par (site web personnel) . En réponse au journal La preuve de programme : où en est-on ?. Évalué à 2.

    Je ne pense pas qu'on puisse avoir deux fois strictement la même situation, ça demanderais à ce que tout l'univers retrouve la même configuration identique, ce qui n'est pas à la porté de l'être humain. Le fait est que même en supposant l'esprit humain déterminable (déterministe?), les paramètres contextuels me paraissent trop vaste pour qu'on puisse déterminer précisément la moindre de tes réactions. Après pour faire de la manipulation des esprits, les super ordinateurs n'ont pas été attendu pour développer des méthodes qui rende des personnes enclines à croire/choisir certaines choses plutôt que d'autre.

    Cela étant, avec un ordinateur quantique j'imagine qu'on doit pouvoir sortir du cadre déterministe, la physique quantique étant non-déterministe. Remarque qu'on peu tout à fait faire de même avec un ordinateur classique en insérant des données aléatoires; et non pseudo-aléatoire, par exemple random.org fournie des nombres aléatoires en utilisant les interférances atmosphérique il me semble).