Théorème d'incomplétude de Gödel
L'un des buts de Hilbert, au début du XXè s., était de créer des théories mathématiques formelles, c'est-à-dire avoir :- un ensemble de règles qui permettent d'écrire des formules.
- un ensemble d'axiomes, c'est-à-dire de formules vraies (à comprendre : que l'on pose comme vraies).
- un ensemble de règles d'inférence, c'est-à-dire de moyens de tranformer une formule en une autre, de sorte que l'on puisse à partir de théorèmes ou d'axiomes en déduire de nouveaux.
Théorème : (incomplétude de Gödel)
|
Consulter aussi...