Godel a demontre qu'un postulat ne pouvait pas se demontrer lui meme avec son theoreme de l'incompletude.
Par exemple la phrase "Cette phrase est vraie" n'a aucun sens. Pour le montrer voyons la phrase "contraire"(mauvais terme vu qu'une phrse sans aucun sens ne peut pas avoir de contraire) : "Cette phrase est fausse".
Si la deuxieme phrase est vraie, alors elle est fausse. Mais si elle est fausse, elle est vraie etc... En fait cette phrase est illogique (au sens ou elle echappe a la logique).
Pour savoir si le mot "mot" dans le dictionnaire est valable au sens de Godel il faut que l'ensemble des postulats et definitons sur lequel il s'appuie soient valables aussi. En l'occurence ici meme si les termes caracteres, objects et images ne devraient pas poser de problemes (ils existent de facon autonome et prouvable je pense) les mots concept, pensee designer, et ensemble vont etre soumis a plus rude epreuve...
[^] # Re: Pour les experts en logique
Posté par Jerome Herman . En réponse au journal Pour les experts en logique. Évalué à 2.
Par exemple la phrase "Cette phrase est vraie" n'a aucun sens. Pour le montrer voyons la phrase "contraire"(mauvais terme vu qu'une phrse sans aucun sens ne peut pas avoir de contraire) : "Cette phrase est fausse".
Si la deuxieme phrase est vraie, alors elle est fausse. Mais si elle est fausse, elle est vraie etc... En fait cette phrase est illogique (au sens ou elle echappe a la logique).
Pour savoir si le mot "mot" dans le dictionnaire est valable au sens de Godel il faut que l'ensemble des postulats et definitons sur lequel il s'appuie soient valables aussi. En l'occurence ici meme si les termes caracteres, objects et images ne devraient pas poser de problemes (ils existent de facon autonome et prouvable je pense) les mots concept, pensee designer, et ensemble vont etre soumis a plus rude epreuve...
Kha