• AgoraVox sur Twitter
  • RSS
  • Agoravox TV
  • Agoravox Mobile


En réponse à :


Macaque 10 août 2014 10:22

Désolé mais il existe bien des preuves formelles sur des algorithmes ou des automates à état finis.
On ne peut pas prouver qu’un programme complexe ne contient pas de « bug », mais on peut prouver qu’un algorithme respecte certaines propriétés.
Par exemple l’algorithme d’euclide qui permet de calculer le PGCD est un algorithme dont il est prouvé qu’il termine et qu’il est exact.
Pour le problème des subprimes, le problème n’était pas les algorithmes que les hypothèses sur lesquels se basaient ces algorithmes.
Votre compte en banque est géré par une algorithme qui fait des opération de retraits ou de dépots et je crois qu’il est évident qu’il y a beaucoup moins d’erreur que si c’était des personnes humaines qui faisait tous les calculs sans calculette dans un registre papier.
Comme le dit Plilipe, « des algorithmes » en soit ça ne veut rien dire.


Ajouter une réaction

Pour réagir, identifiez-vous avec votre login / mot de passe, en haut à droite de cette page

Si vous n'avez pas de login / mot de passe, vous devez vous inscrire ici.


FAIRE UN DON


Palmarès