Posted by fd on April 06, 2001 at 11:33:55 AM EDT:
In Reply to: Les deux importants sont le théorème d'incomplétude (VI) et le théorème de non c-prouvabilité de la consistance de c (XI). Il s'agissait donc bien du seul théorème d'incomplétude. posted by on April 05, 2001 at 05:56:53 PM EDT:
Tu sais lire ou quoi ????
Je n'ai JAMAIS rien dit d'autre.
Je me cite
"Il s'agit, ne l'oublions pas, du théorème d'incomplétude des systèmes formels, en fait DES théorèmes (il y en a pas moins de 11 dans l’article de Goedel, dont 2 sont important)."
Quant a citer les 11 théorèmes rien ne m'aurait été plus facile il m'aurait suffit de les recopier de l'article de Goedel que je possède et que j'ai lu depuis fort longtemps.
"Etre pris pour un idiot par un imbécile est un délice de fin gourmet"