Commentaire de Forest Ent
sur La fiabilité des machines à voter
Voir l'intégralité des commentaires de cet article
« il est impossible de dire qu’un logiciel ne comporte aucun bug »
Pour les amateurs d’algèbre, ceci découle directement du théorème de Gödel. Si l’on définit un « bug » comme une différence de résultat entre le programme écrit et celui qui aurait dû l’être, on constate que l’équivalence fonctionnelle de deux programmes est indécidable.
Derniers commentaires
-
10/04 18:18 - Chantal Enguehard
Je suis étonnée de votre témoignage. Vous ne semblez pas au courant de ce qui se passe dans (...)
-
10/04 17:48 - Chantal Enguehard
Les résulats des dernières élections ont été très serrées (non je ne pense pas au second tour (...)
-
10/04 17:43 - Chantal Enguehard
-
10/04 17:41 - Chantal Enguehard
Ces chiffres sont vrais pour la Belgique. En France le coût du vote élecronique n’a (...)
-
10/04 17:23 - Chantal Enguehard
-
10/04 17:19 - Chantal Enguehard
votre suggestion est une bonne idée. Elle gène la fraude mais ne l’interdit pas (...)
Articles les plus lus
- Un rayon chaud d’uranium traverse le ciel… FIN !
- Il y a 100 ans : la révolte des Penn Sardin
- La dette de 3000 milliards ! On nous fait peur mais...
- Le soutien à l’Ukraine est la plus grande arnaque visant à diviser le pays entre entreprises
- Nicolas Sarkozy en agent de recrutement des enseignants
- « Gladiator 2 », daube ou grand film ?
- Ukraine : l’essentiel est de maintenir le pouvoir et de sauver sa peau
- La BIBLE : USURPATIONS et Emprunts - (Partie II)
- Contre la rebaptisation de la place Stalingrad en place de l’Ukraine à Bordeaux
- L’antisionisme : un outil au service de l’antisémitisme
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