Joe Cool <zierouhli@free.fr> writes:
Il faut en effet être idiot pour «savoir» cela. Le jour où quelqu'un
prouvera la cohérence de coc en coc, vous cumulerez des mandats: idiot
et ridicule.
En effet, cela peut arriver et Gödel nous dit ce qui se passerait
alors. Merci d'avoir corriger mon inexactitude. La doc de Coq est
d'ailleurs fort drôle sur ce point : si vous démontrez False, vérifier
votre matériel informatique nous explique-t-on.
Je suppose que les mathématiciens sont vérifiés... C'est pas beau de
se mettre au dessus de son propre discours.
Les mathématiques sont vérifiées car elles sont
intuitives. Evidemment, quand on n'a pas d'intuition et qu'on a besoin
d'un tas de silicium pour "penser", on ne peut pas comprendre. On ne
peut pas demander à un manchot de jouer au ping-pong. Ni à un laideron
de concourir au concours Miss France.
Au moins les logiciens servent à quelque chose. Il servent par exemple Ã
apporter un peu de sérieux en mathématiques, un peu de rigueur.
Les mathématiques n'ont pas besoin de branleurs comme les logiciens
pour développer leur discipline. Ils n'en ont jamais eu besoin : la
preuve, les enseignements des deux disciplines qui sont totalement
séparés dans les universités.
David Hilbert.
