Two Ways to Prove a Theorem According to Grothendieck
Two Ways to Prove a Theorem According to Grothendieck
Prenons par exemple la tâche de démontrer un théorème qui reste hypothétique (à quoi, pour certains, semblerait se réduire le travail mathématique). Je vois deux approches extrêmes pour s’y prendre. L’une est celle du marteau et du burin, quand le problème posé est vu comme une grosse noix, dure et lisse, dont il s’agit d’atteindre l’intérieur, la chair nourricière protégée par la coque. Le principe est simple : on pose le tranchant du burin contre la coque, et on tape fort. Au besoin, on recommence en plusieurs endroits différents, jusqu’à ce que la coque se casse - et on est content. Cette approche est surtout tentante quand la coque présente des aspérités ou protubérances, par où "la prendre". Dans certains cas, de tels "bouts" par où prendre la noix sautent aux yeux, dans d’autres cas, il faut la retourner attentivement dans tous les sens, la prospecter avec soin, avant de trouver un point d’attaque. Le cas le plus difficile est celui où la coque est d’une rotondité et d’une dureté parfaite et uniforme. On a beau taper fort, le tranchant du burin patine et égratigne à peine la surface - on finit par se lasser à la tâche. Parfois quand même on finit par y arriver, à force de muscle et d’endurance. Je pourrais illustrer la deuxième approche, en gardant l’image de la noix qu’il s’agit d’ouvrir. La première parabole qui m’est venue à l’esprit tantôt, c’est qu’on plonge la noix dans un liquide émollient, de l’eau simplement pourquoi pas, de temps en temps on frotte pour qu’elle pénètre mieux, pour le reste on laisse faire le temps. La coque s’assouplit au fil des semaines et des mois - quand le temps est mûr, une pression de la main suffit, la coque s’ouvre comme celle d’un avocat mûr à point ! Ou encore, on laisse mûrir la noix sous le soleil et sous la pluie et peut-être aussi sous les gelées de l’hiver. Quand le temps est mûr c’est une pousse délicate sortie de la substantifique chair qui aura percé la coque, comme en se jouant - ou pour mieux dire, la coque se sera ouverte d’elle-même, pour lui laisser passage.
Récoltes et Semailles
- XII La Cérémonie Funèbre
18.2. LA CLEF DU YIN ET DU YANG
18.2.6.4. (d) La mer qui monte
Take, for example, the task of proving a theorem that remains hypothetical (to which, for some, mathematical work would seem to boil down). I see two extreme approaches. One is the hammer-and-chisel approach, where the problem at hand is seen as a large, hard, smooth walnut, whose interior needs to be reached, the nourishing flesh protected by the shell. The principle is simple: place the cutting edge of the chisel against the shell, and strike hard. If necessary, repeat the process in several different places, until the shell breaks - and you're happy. This approach is especially tempting when the hull has asperities or protuberances, through which to “take it”. In some cases, such “bits” are obvious, in other cases, you have to carefully turn the nut over in all directions, prospecting carefully, before finding a point of attack. The most difficult case is when the shell is perfectly round and uniformly hard. No matter how hard you tap, the chisel's cutting edge skates and barely scratches the surface - you end up getting bored with the task. Sometimes, though, you manage to do it, by dint of muscle and endurance. I could illustrate the second approach, using the image of the walnut that has to be opened. The first parable that came to mind earlier is that you dip the nut in an emollient liquid - why not just water? From time to time, you rub it in so that it penetrates better, and for the rest, you let time do its work. The shell will soften over weeks and months - when the time is ripe, a touch of your hand is all it takes, and the shell opens like that of a ripe avocado! Or let the nut ripen in the sun and rain, and maybe even in the winter frosts. When the time is ripe, a delicate sprout emerges from the flesh and pierces the shell, as if playing with itself - or to put it another way, the shell opens up on its own, allowing it to pass through.
(Translated with DeepL.com)