Le vendredi 19 décembre 2025 à 09:17 , Paul Aubrin, S'est exprimé :
Quelque soit le système de axiomatique adopté, la vérité de certaines
assertions est indéterminée : on ne peut pas savoir, un point c'est
tout. C'est indépendant de la personne.
on ne peux pas savoir est subjectif.
Ce n'est pas "on ne peut pas savoir" mais "on ne peut pas savoir *certaines
choses*". Et c'est tout à fait objectif :
« Dans n'importe quelle théorie récursivement axiomatisable, cohérente et
capable de "formaliser l'arithmétique", on peut construire un énoncé
arithmétique qui ne peut être ni démontré ni réfuté dans cette théorie. »
Premier théorème d'incomplétude, démontré par Kurt Gödel en 1931.
et l'affirmer pour soit et les autres est dogmatique.
Donc vous considérez que le premier théorème d'incomplétude de Gödel n'est
pas du tout un théorème mais un dogme.
--
"Ce qu'il faut au fond pour obtenir une espèce de paix avec les hommes,
(...) c'est leur permettre en toutes circonstances, de s'étaler, de se
vautrer parmi les vantardises niaises. Il n'y a pas de vanité
intelligente. C'est un instinct." - Céline
Les messages affichés proviennent d'usenet.