"Cette phrase est vraie" est vraie parce qu'elle ne peut pas être fausse.
"Cette phrase est fausse" ne peut-être ni vraie ni fausse.
Le problème "découvert" par Gödel est lié à la démontrabilité des propositions, mais pas à leur vérité. Il a montré que dans tout système formel suffisamment puissant et cohérent, il existe des phrases vraies que l'on ne peut peut pas démontrer.
Je dis des conneries ? (c'est pas mon domaine mais c'est quand même un domaine qui m'intéresse beaucoup)
[^] # Re: Codé en Brainfuck [0]...
Posté par Yusei (Mastodon) . En réponse au journal [Blogs] Maitre Eolas vs José Bové, deuxième épisode. Évalué à 4.
"Cette phrase est fausse" ne peut-être ni vraie ni fausse.
Le problème "découvert" par Gödel est lié à la démontrabilité des propositions, mais pas à leur vérité. Il a montré que dans tout système formel suffisamment puissant et cohérent, il existe des phrases vraies que l'on ne peut peut pas démontrer.
Je dis des conneries ? (c'est pas mon domaine mais c'est quand même un domaine qui m'intéresse beaucoup)