Posted by on April 05, 2001 at 05:38:23 PM 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 09:02:08 AM EDT: