« 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.