Descripteurs
 > 1305 mathématiques > mathématique > logique mathématique > démonstration mathématique
démonstration mathématique |
Documents disponibles dans cette catégorie (22)
Ajouter le résultat dans votre panier Affiner la recherche
Article : texte imprimé
Présentation de résolutions de problèmes mathématiques célèbres relatifs à la théorie de Galois et aux travaux de Niels Abel qui révolutionnèrent l'algèbre ; au théorème de Gödel, qui remit en cause le fondement de la mathématique ; aux travaux [...]Article : texte imprimé
Présentation des travaux de John Nash, qui a résolu le problème du plongement isométrique et celui de la continuité des solutions de l'équation de la chaleur dans des milieux discontinus.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é
Présentation des travaux de Grigori Perelman qui démontra la conjecture de Poincaré, relative à la compréhension des objets à trois dimensions fermées.Article : texte imprimé
Présentation de cinq énigmes mathématiques et de leurs solutions parfois étonnantes.Article : texte imprimé
Retour sur la résolution de la conjecture de Poincaré par le mathématicien russe Grigori Perelman, en 2002 : un problème de topologie, l'énoncé de la conjecture de Poincaré, la conjecture de Thurston, les travaux d'Hamilton et de Perelman.Article : texte imprimé
Historique de la démonstration de la conjecture de Poincaré, qui énonçait en 1904 : "Toute variété compacte de dimension 3 simplement connexe est homéomorphe à la sphère" ; démonstration faite en 2003 par Gregori Perelman qui mena à bien le prog[...]Article : texte imprimé
Présentation de la deuxième partie du 16e problème de Hilbert, portant sur le nombre de cycles limites des équations différentielles dans le plan, problème non encore résolu. Définition du comportement d'une équation différentielle, d'après les [...]Article : texte imprimé
Le point, en mathématiques, sur la résolution de la conjecture de la sensitivité par un jeune mathématicien chinois, Hao Huang : la conjecture de la sensitivité portant sur la complexité des fonctions booléennes, l'utilisation des hypercubes pou[...]Article : texte imprimé
Cédric Villani, Personne interviewée ; Maurice Mashaal, Intervieweur | Pour la science |Interview de Cédric Villani, mathématicien, sur les différents essais de démonstrations du grand théorème de Fermat jusqu'à la réussite, en 1995, du mathématicien Andrew Wiles.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é
Présentation de la disjonction de Gödel qui propose une réflexion mathématique sur la nature même de l'esprit humain : les deux termes de la disjonction énoncée par Kurt Gödel, l'indécidabilité mathématique et les théorèmes d'incomplétude de Göd[...]Article : texte imprimé
Problème posé pour une démonstration définitive de la conjecture de Syracuse qui énonce qu'en soumettant un entier quelconque à certaines opérations précises, on finit par obtenir 1. Présentation des tentatives de démonstrations mathématiques : [...]Article : texte imprimé
Présentation de huit énigmes mathématiques et de leurs solutions parfois étonnantes.
Article : texte imprimé
René Cuillierier, Auteur | Excelsior publications |Retour sur la découverte des limites de la démonstration mathématique : le rôle des axiomes ; l'apport d'Euclide et la difficulté de démonstration de son cinquième postulat par la communauté scientifique (Archimède, Abu al Hassan, Alhazen, Walli[...]
