Nous entendons souvent dire que les mathématiques consistent à "prouver des théorèmes". Le travail d'un écrivain serait-il "d'écrire des phrases" ? L'œuvre d'un mathématicien est surtout un enchevêtrement de conjectures, d'analogies, de souhaits et de frustrations ; la démonstration, loin d'être le noyau de la découverte, n'est souvent que le moyen de s'assurer que notre esprit ne nous joue pas des tours.

Gian-Carlo Rota (1932-1999)