David Hilbert a écrit :
Joe Cool <zierouhli@free.fr> writes:
On avait compris qu'il s'agit de croyance.
La géométrie riemannienne et la théorie des ondelettes ne sont pas des
croyances.
La pomme de terre non plus. Et après?
C'est déjà arrivé, en supposant que ce que vous dites à un sens (cela
n'en a pas, mais il faut bien fait quelques efforts de temps en
temps).
Le jour où on démontrera 0=1 (ou autre chose du même tonneau) en Coq,
ce jour là , on rira bien.
Ça ne me ferait ni chaud, ni froid. Vous, en revanche...
A moins évidemment que vous pouviez nous
prouver que c'est impossible, mieux avec une preuve validable par
Coq. Alors je m'inclinerai.
Ce qui montre bien que vous n'avez rien compris. Qu'espérez-vous, une preuve de la cohérence de coc dans coc? Vous atteignez les sommets du ridicule. Ça me rappelle une discussion entre deux grosses légumes:
Hilbert: «Nous devons savoir! Et nous saurons!»
Gödel: «Hep...»
--
Joe Cool
