Signaler un abus
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.
Articles les plus lus
- Le derviche tourneur de l’Elysée a encore frappé
- Une visite du pape surdimensionnée, au risque d’un retour de flamme du religieux
- Primaire 2026 du PS : un débat télévisé qui fera date
- L’empreinte allemande : les armes de Berlin dans une guerre qu’il condamne publiquement
- J’ai reçu un faux appel téléphonique de la gendarmerie...
- L’Horizon 2027 : et si le prix du pétrole était porté à 160 dollars et plus, avec un krach boursier et la fin des guerres ?
- Belmondo : « Je ne fais pas de politique car je suis acteur pour tous les Français ! » À bon entendeur
- Brun viré, le coupable puni !
- La Poste : démolition programmée
- Marina Vlady (1938-2026), deux ou trois choses que je sais d’elle
Agoravox utilise les technologies du logiciel libre : SPIP, Apache, Ubuntu, PHP, MySQL, CKEditor.
Site hébergé par la Fondation Agoravox
A propos / Contact / Mentions légales / Cookies et données personnelles / Charte de modération