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:

In Reply to: De l'incomplétude... posted by fd on April 03, 2001 at 06:31:12 AM EDT:

D'ailleurs ces théorèmes sont nommés par Gödel "propositions" !
Il y a 92 occurence des mots proposition, propositions, propositional dans l'article de Gödel.
Les mots propositions indécidables figurent dans le titre.
C'est pratique internet.

Follow Ups:

• 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. 05:56:51 PM 04/05/01 (0)
• occurrences, pardon. 05:21:12 PM 04/05/01 (0)

Post a Followup