Posté par
1 Schumi 1 1 Schumi 1Moi, je suis partant pour les démos.
De toute façon ca ne devrait pas poser de problème.
Si on a vraiment trouvé la solution, c'est qu'on a démontré. Sinon, ca s'appelle de l'empirisme et ca veut dire que soit on a répondu a pif (aucune raison d'avoir bon à l'énigme) soit qu'on la fait à la Fermat: "J'ai la démo, mais ca rentre pas dans la marge".
(Mon oeil, oui.) (Là encore aucune raison d'avoir bon).
Le seul inconvénient, c'est le LaTex. Certaine démo sont longues, très longues,comme celle du 128 ou encore celle sur les rationnels, et en LaTex, ca prends pas mal de temps. (Ca m'a pris 1h30 pour chacune, la galère).
Mais bon, à part ca, je suis tout à fait d'accord pour instaurer le principe des justifications : Notre cerveau travaillera peut être plus que notre calculatrice.
Dans l'absolu, pour les démos assez longue et assez barbante car répétitive, ce qu'on peut faire, c imposer le plan de la démo. C'est à dire qu'on doit poster les différentes étapes de notre démo, sans pour autant la re-écrire entièrement.
Mais de là, à imposer une méthode particulière, non, je ne suis pas d'accord, pour les mêmes raisons que Manpower.

Ayoub.