Discussion Utilisateur:Proz/Gödel
Un article de Wikipédia, l'encyclopédie libre.
Je peux me tromper, mais j'ai l'impression que toutes les allusions à l'intuitionnisme devraient être abandonnées : ce texte doit servir d'intro à l'article sur le théorème de Gödel, et j'ai l'impression que l'intuitionnisme n'a pas de lien direct avec ce théorème, le schéma étant le théorème de Gödel a un lien avec le programme de Hilbert, et ah oui, il y aussi un lien entre le programme de Hilbert et l'intuitionnisme ; pour moi, cela délaie l'information. En définitive, cette intro telle quelle me semblerait plus adaptée à un article Programme de Hilbert. Mais je peux me tromper.
Un autre détail : je ne suis pas convaincu par la formulation des théorèmes ; j'ai l'impression qu'il y a eu tentative d'explication avec les mains, mais qu'en définitive, c'est fait à moitié en langage simplifié, mais pas complètement : il faudrait trouver une vraie formulation en langage simplifié - je sais, c'est dur, et là, je n'ai pas d'idée.Salle 31 août 2006 à 18:20 (CEST)
- Je préfère reporter la discussion dans celle sur l'article, je recopie. Proz 31 août 2006 à 18:26 (CEST)