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. C'est vous qui n'avez pas votre place sur fsm.
Le logicien ne sait à proprement parler rien.
Chez nous on dit que le mathématicien ne sait pas parler.
L'apport de la logique aux mathématiques est NUL. A part redémontrer
des théorèmes évidents avec des machines et se branler avec, les
logiciens ne savent rien faire.
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 moins évidemment que vous pouviez nous
prouver que c'est impossible, mieux avec une preuve validable par
Coq. Alors je m'inclinerai. Vous avez cette preuve peut-être ? Cela
nous ferait le premier apport mathématique de Joe Cool à fsm. Y a-t-il
encore de l'espoir ?
Revenons à vos brebis:
FU fr.soc.religion
Vous vous répétez. Un début de sénilité ?
David Hilbert.
