Descripteurs
Documents disponibles dans cette catégorie (6)
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é
Exemples illustrant l'esthétique de certaines démonstrations mathématiques : l'hexagramme mystique de Blaise Pascal ou théorème sur l'alignement de points d'intersection de droites, le théorème de Desargues en géométrie projective, la formule d'[...]Article : texte imprimé
Rôle de l'ordinateur dans la démonstration automatique de théorèmes mathématiques. Limites de la vérification humaine. Capacité de contrôle des mathématiciens.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.