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:

In Reply to: Il y a bien onze théorèmes démontrés mais pas onze théorèmes d'incomplétude. posted by on April 05, 2001 at 05:04:39 PM EDT:

C'est pas la honte qui vous étouffe, vous dites vraiment n'importe quoi, en insultant les gens par dessus le marché. Vous êtes une sacrée ordure. J'aurai bien voulu vous voir citer les onze propositions démontrées, impudent imbécile, gardien de camp au chômage. La rééducation ça vous connaît : dire de grosse conneries avec aplomb en insultant les gens. Vous êtes un vrai finologue.

Follow Ups:

Post a Followup