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. 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.
Ben pour un gars qui pense être à sa place sur fsm, un peu de modestie ne nuirait pas. Rien que l'analyse non-standard, c'est pas vraiment évident, et ça a donné lieu à quelques jolis résultats (le canards;, par exemple)
A part redémontrer
des théorèmes évidents avec des machines et se branler avec, les
logiciens ne savent rien faire.
Et je parle même pas des résultats difficiles en théorie des ensembles (Cohen, Woodin, etc.)
