Conclusion
[ Follow Ups ] [ Post Followup ] [ debord of directors ] [ FAQ ]
Posted by on April 05, 2001 at 03:06:51 PM EDT:
In Reply to: Bavard macaronique : tu essayes de noyer le poisson. posted by on April 04, 2001 at 04:40:33 PM EDT:
Je n'ai rien contre le fait que l'on appelle théorème toute proposition arithmétique mais c'est la définition même fournie par FG qui l'interdit : "MATH, LOG Proposition démontrable qui découle de propositions précédemment établies." Or comme la proposition g de Gödel qui sert à la démonstration de son théorème d'incomplétude n'est pas démontrable (de même que sa négation), elle n'est donc pas un théorème selon cette définition fournie, je le répète, par FG lui-même. Il a fourni la corde pour se faire pendre.
Follow Ups:
Post a Followup