Descripteurs
Documents disponibles dans cette catégorie (3)
Ajouter le résultat dans votre panier Affiner la recherche
Article : texte imprimé
Présentation des travaux du logicien Kurt Gödel, qui énonça le théorème d'incomplétude, remettant en cause le programme de Hilbert.Article : texte imprimé
Présentation des travaux d'Andrew Wiles qui démontra, avec Richard Taylor, le théorème de Fermat.Article : texte imprimé
En 2002, le logicien Leonid Levin a démontré que l'on ne pouvait s'affranchir du théorème d'incomplétude énoncé par Kurt Gödel en 1930, selon lequel tout système formel non contradictoire contient des propositions indécidables. Il réfuta notamme[...]
