Demander un code

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

--- Aucun commentaire pour l'instant. Ajoutez le premier... ---



Commentaire à ajouter

Nom, alias :

Traduction --

En quelques mots


Texte au hasard


La conscience sémantique

- Tous le discours qui va suivre n'a de sens qu'en considérant notre modèle plus ou moins valide. Ce qui est loin d'être le cas. Ainsi les élements du discours qui vont suivre seront de nature très spéculative, il ne faut quitter cette reserve des yeux. Il s'agit d'une tentative de cohérence et non d'une observation de fait objectif. -

Le sens qui prend vie

- La notion de conscience sé...
[...la suite ]