Signaler un abus
Forest Ent
4 avril 2007 17:49
« 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.
7 derniers jours
Articles les plus lus
- Ce dimanche 25 octobre 2026 à 3 heures du matin : changement d’heure !
- Trump va-t-il frapper à nouveau l’Iran ?
- Rien ne vient de rien, encore faut-il être capable de son analyse et ne pas se cacher derrière les casseurs
- Automobile : la haute trahison de l’UE sur la Chine
- Condamnez-vous les violences ?
- Le piège du temps pour Trump. Quand les guerres en Ukraine et en Iran échappent à Washington et fragilisent l’Europe
- Chronique d’une mort annoncée pour les malheureux soldats offerts à la fureur allemande, du côté de Sedan, en mai 1940… (131)
- La France de Macron veut couper les réseaux sociaux sur un claquement de doigts
- Aide à l’Ukraine : l’UE à court de moyens frappe à toutes les portes
- Intelligence artificielle : enquête sur les enjeux d’un outil de pouvoir et de domination
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