réfutation du théorème de godel

[Médiat]

Je dois dire que j'apprécie tout particuièrement le style de J.-Y. Girard et recommande de faire un tour sur sa page d'articles. Ses piques contre l'obsession des Fondements (sans jeu de mot freudien...) sont assez réjouissantes.

Personnellement je trouve ridicule, et sans fondement ses attaques contre les logiques modales (dont je ne suis pourtant pas un zélateur), de l'ironie là où l'on attend des arguments scientifiques, c'est pathétique et sans doute un aveu d'impuissance.
Par exemple :

[FONT=SFRM1000]

[FONT=SFRM1000]On peut légitimement parier que les fabriquants de logiques modales à la chaîne ne croient pas trop à ce qu’il font, sinon ils ne changeraient pas de système tous les quarts d’heure.[/FONT]

[/FONT]
Et j'avoue que son style extrêmement auto-suffisant me dérange considérablement (comparé à la simplicité, la modestie d'un Krivine, par exemple)