Descripteurs
![]() démonstration mathématique |
Documents disponibles dans cette catégorie (22)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Tris disponibles](./images/orderby_az.gif)
![]()
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[...]![]()
Article : texte imprimé
Origine de la science mathématique de la calculabilité, permettant d'élaborer des algorithmes, grâce au 10e problème de Hilbert demandant de concevoir un algorithme général capable de déterminer si une équation diophantienne quelconque peut être[...]![]()
Article : texte imprimé
Présentation du "programme de Langlands", ensemble de conjectures qui établit des correspondances entre la théorie des nombres et d'autres parties des mathématiques, telle la théorie des représentations des groupes et la théorie de certaines fon[...]![]()
Article : texte imprimé
Le point, avec l'exemple du grand théorème de Fermat, sur l'importance d'obtenir pour chaque théorème une preuve vérifiable par ordinateur pour éliminer le risque d'erreur : l'utilisation des assistants de preuves et leurs limites ; la démonstra[...]![]()
document électronique
Le point sur la notion de rigueur en mathématique pour les Grecs antiques : l'influence d'Aristote, la rigueur de la démarche déductive ; la place de la rigueur et celle de l'intuition ; les traités "La méthode" et "La quadrature de la parabole"[...]Exemplaires
Disponibilité aucun exemplaire ![]()
Article : texte imprimé
Présentation, en mathématiques, de la conjecture de Syracuse-Collatz et des différentes avancées pour tenter de la prouver.![]()
Article : texte imprimé
Le point sur la vérification du théorème de Feit-Thompson par l'équipe de Georges Gonthier du Centre commun de recherche Inria-Microsoft en septembre 2012, grâce aux outils informatiques : du théorème à sa démonstration, la question de l'efficac[...]![]()
Article : texte imprimé
Le point sur la démonstration proposée par Eric Larson et Isabel Vogt, deux mathématiciens américains, pour résoudre le problème d'interpolation : un problème géométrique consistant à trouver par combien de points il est possible de forcer une c[...]