Accueil

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

Kurt Gödel a prouvé qu'il existe des vérités mathématiques qu'on ne peut pas démontrer. Dans tout système logique suffisamment riche, il y a des affirmations vraies mais indémontrables. Les mathématiques ont des limites inhérentes : tout système a des trous.

À retenir

Aucun système, aussi parfait soit-il, ne peut tout prouver. Acceptez les limites de votre connaissance. L'humilité intellectuelle est une vertu mathématique.

Source

Théorèmes d'incomplétude

Voir la source complète
Précédent
Suivant