Descripteurs
Documents disponibles dans cette catégorie (4)
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[...]
Article : texte imprimé
Point, en 2011, par un mathématicien, sur le rôle des ordinateurs dans la validation de résultats mathématiques : apports et limites de l'informatique comme assistant de preuve pour aider à la formalisation de la démonstration de théorème.
