Posted by Téléologue SM on April 05, 2001 at 09:50:19 AM EDT:
In Reply to: Le mémoire de 1930 de Kurt Gödel où l'on peut lire de sa main "the undecidable proposition 17 Gen r asserts its own unprovability" (troisième ligne avant la fin du mémoire, note 67). La proposition 17 Gen r est non c-prouvable. Proposition, vétilleux, sournois et prétentieux imbécile. Pas théorème. Internet est encore mieux que le livre de poche. posted by on April 05, 2001 at 08:56:23 AM EDT: