Comment certaines affirmations mathématiques d’un obscur pasteur presbytérien en 1952 n’ont pu être vérifiées que des décennies plus tard... par ordinateur.

Lire l'article sur Images des mathématiques