L’erreur humaine en informatique

Au micro d’Étienne Ghys, Gérard Berry aborde la question des erreurs en informatique, c’est-à-dire des bugs qui ne sont pas des erreurs du programme ou de la machine, mais des erreurs humaines. Il y en a beaucoup, beaucoup trop, en raison de l’immense distance entre nous les hommes, intelligents, inventifs, lents et qui nous trompons souvent, et l’ordinateur physique qui est exactement à l’opposé : totalement stupide, absolument idiot mais hyper-rapide. C’est précisément pour lutter contre cette difficulté fondamentale qu’a été créée et développée une des grandes branches de la science informatique, celle de la programmation et de la vérification des programmes.

Un podcast animé par Étienne Ghys, proposé par l'Académie des sciences.