Café et théorèmes

On connait la citation de Paul Erdös : "Un mathématicien est une machine à transformer du café en théorèmes !". On peut la rapprocher de ce que Poincaré raconte sur l'invention mathématique dans "Science et méthode" :

"Depuis quinze jours, je m'efforçais de démontrer qu'il ne pouvait exister aucune fonction analogue à ce que j'ai appelé depuis les fonctions fuchsiennes ; j'étais alors fort ignorant ; tous les jours, je m'asseyais à ma table de travail, j'y passais une heure ou deux, j'essayais un grand nombre de combinaisons et je n'arrivais à aucun résultat. Un soir, je pris du café noir contrairement à mon habitude ; je ne pus m'endormir ; les idées surgissaient en foule ; je les sentais comme se heurter, jusqu'à ce que deux d'entre elles s'accrochassent pour ainsi dire pour former une combinaison stable. Le matin, j'avais établi l'existence d'une classe de fonctions fuchsiennes, celles qui dérivent de la série hypergéométrique ; je n'eus plus qu'à rédiger les résultats, ce qui ne me prit que quelques heures."

On trouve un peu plus loin dans le même texte sa célèbre histoire du marche-pied :

"A ce moment, je quittai Caen, que j'habitais alors, pour prendre part à une course géologique entreprise par l'École des Mines. Les péripéties du voyage me firent oublier mes travaux mathématiques ; arrivés à Coutances, nous montâmes dans un omnibus pour je ne sais quelle promenade ; au moment où je mettais le pied sur le marche-pied, l'idée me vint, sans que rien de mes pensées antérieures parut m'y avoir préparé, que les transformations dont j'avais fait usage pour définir les fonctions fuchsiennes sont identiques à celles de la Géométrie non-euclidienne. Je ne fis pas la vérification ; je n'en aurais pas eu le temps, puisque, à peine assis dans l'omnibus, je repris la conversation commencée, mais j'eus tout de suite une entière certitude. De retour à Caen, je vérifiai le résultat à tête reposée pour l'acquit de ma conscience."