Le théorème d'incomplétude de Gödel

Ce théorème est un lieu impressionnant des Mathématiques : la preuve de l'impossibilité de tout pouvoir soumettre à une preuve quel que soit le système formel classique. Pour cela, on construit une phrase qui ne peut pas être prouvée, sous peine de devenir fausse (ce qui serait bien gênant si on l'avait prouvée). Gödel se repose sur l'argument du menteur, construit très précautionneusement. Je propose de faire une lecture algorithmique de cette démonstration, le théorème change alors de sens.

Après une introduction sur les difficultés du cadre mathématique classique pour lire cette démonstration, on trouvera une relecture algorithmique de cette démonstration du théorème d'incomplétude de Gödel

L'article

Mise en perspective du Théorème de Gödel
Le texte complet : la démonstration précédée d'une analyse des difficultés du cadre mathématique classique pour approcher cette démonstration.
Au format PDF
Année: 2010
Taille: 170 pages

La partie centrale de l'article

Mise en perspective du Théorème de Gödel par une approche algorithmique
Uniquement l'analyse de la démonstration.
Au format PDF
Année: 2010
Taille: 43 pages

Commentaire sur cette page

Nom, alias :

Une morale pour le maître et l'esclave

- A la suite de Nietzsche, on peut constater une histoire occidentale influencée par le christianisme qui l'a mené un temps à une morale qui auto-détruit l'homme en niant toute explosion de vie, en voulant normer l'individu sur le schéma d'une l'altérité essentielle sans prendre en compte ses propres mécanismes naturels. - Mais ce n'est pas une dualité morale des forts et des ...

[...la suite ]