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
--- Aucun commentaire pour l'instant. Ajoutez le premier... ---
En quelques mots
Il y a deux pragmatismes : celui qui cherche à tuer les idéaux et celui qui se contente de les empêcher de nous tuer. (Politique)
Texte au hasard
La vérité en Mathématiques
Le projet
La vérité est souvent considérée comme une notion fondamentale des Mathématiques. Nombreux sont les mathématiciens qui ont même cherché à la poser comme fondement, c'est Le logicisme. Mais sous certains angles, la question de la vérité mathématique n'est pas sans poser de problème. On peut même aller jusqu'à s'interr...| Haut de page | Mentions légales | Du même auteur : Site Mike°soft |
Contact | Privé' |