Est-ce que cette phrase est fausse ou est-elle vraie? Si elle est fausse ce qu'elle ne l'est pas . Si elle est vrai alors elle est fausse. Ce qu'elle est affirme sa propre fausseté.
Goëdel (matheux tcheque)fait réfernece a cette paradoxe pour établir la preuve de son "théorème d'incompletude2. Il parvient à coder une forme de cette paradoxe (où la démontrabilité remplace la vérité). Il n'y a plus paradoxe, mais on montre que l'énoncé ainsi construit n'est pas prouvable (et sa négation ne l'est pas non plus).
Est-ce que cette phrase est fausse ou est-elle vraie? Si elle est fausse ce qu'elle ne l'est pas . Si elle est vrai alors elle est fausse. Ce qu'elle est affirme sa propre fausseté.
RépondreSupprimerGoëdel (matheux tcheque)fait réfernece a cette paradoxe pour établir la preuve de son "théorème d'incompletude2. Il parvient à coder une forme de cette paradoxe (où la démontrabilité remplace la vérité). Il n'y a plus paradoxe, mais on montre que l'énoncé ainsi construit n'est pas prouvable (et sa négation ne l'est pas non plus).