Aurlom
    Retour à la fiche
    Question d'oral

    Peut-on dire que Gödel a prouvé les limites de la raison ?

    Réponse d'oral

    Gödel a prouvé certaines limites de la raison mathématique, mais pas les limites de toute raison humaine. Ses théorèmes d’incomplétude, publiés en 1931, concernent des systèmes formels : des cadres où l’on démontre des propositions à partir d’axiomes et de règles précises. Ils montrent qu’un système cohérent, dont les règles sont effectivement utilisables et qui permet d’exprimer suffisamment d’arithmétique, ne peut pas démontrer toutes les vérités arithmétiques. Cela ne signifie donc ni que tout est incertain, ni que réfléchir serait inutile.
    Cette découverte s’inscrit dans la crise des fondements. Cantor avait donné un statut mathématique à l’infini actuel, considéré comme un tout achevé. En 1891, son argument de la diagonale établit que les nombres réels sont plus nombreux que les entiers : il existe plusieurs tailles d’infini. Mais les paradoxes de la théorie des ensembles ont ensuite rendu nécessaire une clarification des règles. Hilbert voulait notamment garantir la cohérence des mathématiques par des méthodes élémentaires et sûres. Gödel impose une limite décisive à cette ambition : sous les conditions requises, un système cohérent assez puissant ne peut pas démontrer lui-même sa propre cohérence.
    L’incomplétude n’est pourtant pas une défaite générale de la pensée. Une proposition indémontrable dans un système peut devenir démontrable dans un cadre plus fort, mais celui-ci rencontrera à son tour ses limites. Surtout, Gödel ne prouve pas que l’esprit humain dépasse nécessairement toute machine, ni que l’intuition est infaillible. Sa découverte invite plutôt à distinguer ce qui est vrai de ce qu’un cadre donné permet de prouver. La force de la raison ne serait-elle pas aussi de reconnaître ses propres limites ?

    Autres questions

    1.Y a-t-il autant de nombres pairs que de nombres entiers ? Comment le sait-on ?2.Qu'est-ce que le paradoxe de Russell ?3.Quel était le programme de Hilbert ?4.Que démontrent les théorèmes d'incomplétude de Gödel, et que ne démontrent-ils pas ?5.En quoi la crise des fondements a-t-elle donné naissance à l'informatique ?