Le lecteur de ma génération a peut-être gardé un souvenir confus, voire post-traumatique, de l’infâme preuve par neuf si mal nommée. Le plus jeune pourrait exprimer une certaine incrédulité à l’idée que nous dussions non seulement apprendre à multiplier de grands nombres à la main, mais aussi appliquer une procédure proche de l’incantation magique pour en vérifier le résultat. Il n’est pourtant pas sans intérêt de regarder de plus près ces trucs et astuces divers, mis au point par des générations de mathématiciens et de physiciens, pour nous simplifier la vie et nous éviter les erreurs les plus grossières – car c’est de cela qu’il s’agit. (Lire l'article)

Avez-vous jamais remarqué comment, quand le programme informatique que vous utilisez rencontre une difficulté, il s’arrange le plus souvent pour suggérer que c’est de votre faute ? Il existe cependant des cas où le logiciel fautif se retrouve dans une situation telle qu’il doive abandonner toute ligne de défense de ce type, reconnaître son incapacité à continuer quoi que ce soit, et abandonner immédiatement la partie en faisant seppuku. C’est ce qui se passe quand ses instructions lui commandent de faire quelque chose d’impossible, par exemple de lire le contenu d’une case de mémoire qui n’existe pas.  Il se retrouve alors tellement mal en point qu’il ne peut même pas vous prévenir avant de s’arrêter. (Lire l'article)

Comment reconnaît-on un logicien ? C’est celui qui, quand on lui demande s’il prendra du fromage ou un dessert, répond oui. C’est aussi celui qui croit fermement – non, qui sait en toute certitude – que s’il gelait en enfer les poules auraient des dents. Car le logicien, ironiquement, parle une langue bien différente de la nôtre (et qu’il considère souvent comme seule langue des dieux), alors même que sa science a pour objet la description du monde et le raisonnement sur le monde par le langage, la parole : le logos. (Lire l'article)