"Attention aux bugs dans le code ci-dessus. Je ne l'ai pas testé, j'ai seulement prouvé qu'il était correct. Beware of bugs in the above code; I have only proved it correct, not tried it."
-- Donald Ervin Knuth, pionniers de l'algorithmique.
%
La science est ce que nous comprenons suffisamment bien pour l'expliquer à un ordinateur. L'art, c'est tout ce que nous faisons d'autre. Science is what we understand well enough to explain to a computer. Art is everything else we do.
-- Donald Ervin Knuth, pionniers de l'algorithmique.
%
Je définis Unix comme «30 définitions différentes des expressions régulières vivant sous le même toit». I define UNIX as 30 definitions of regular expressions living under one roof.
-- Donald Ervin Knuth, pionniers de l'algorithmique.
%
Une formule mathématique ne devrait jamais être la « propriété » de qui que ce soit ! Les mathématiques appartiennent à Dieu. A mathematical formula should never be "owned" by anybody! Mathematics belong to God.
-- Donald Ervin Knuth, pionniers de l'algorithmique.
%