Bonjour,
Je viens de me réconciler avec cette émission (après le multivers) : aujourd'hui il est question de mathématique (avec Stella Baruk, Sylvie Benzoni et Robin Jamet), et je viens d'entendre une phrase que j'ai (à peu près) écrite plusieurs fois ici : "Personne n'a jamais vu 27, ni même 3".
Et en plus sur le blog de Robin Jamet, je vois :
Et il a aussi témoigné que, pour lui, une démonstration "concrète" est parfois moins parlante que la démonstration formelle, et j'ai exactement vécu cela quand un ami logicien m'a montré une démonstration du théorème de Cantor-Bernstein à l'aide d'un stade de foot : je n'ai rien compris ! et j'ai dû convoquer la démonstration formelle pour comprendre l'analogie.Histoire de lancer la discussion, une question stupide : Est-ce que vous voyez bien ce que veut dire « 27 » ? (j’ai fait exprès de ne pas prendre 42, l’exemple n’aurait pas été probant…)
-----