Descripteurs
![]() démonstration mathématique |
Documents disponibles dans cette catégorie (41)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Tris disponibles](./images/orderby_az.gif)
![]()
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é
Le point sur les contre-exemples concernant plusieurs conjectures découverts par le mathématicien Adam Zsolt Wagner ayant mobilisé l'intelligence artificielle pour ce faire, dans le domaine de la théorie des graphes en général et des graphes con[...]![]()
Article : texte imprimé
Le point sur des contre-exemples mis à jour dans le domaine de l'étude des fonctions et de leur utilité, notamment pour définir mieux certaines notions et propriétés mathématiques (ex : continuité et dérivabilité). Encadrés : l'exemple d'une bij[...]![]()
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é
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é
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é
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é
Présentation et explication du raisonnement par récurrence (raisonnement par induction mathématique ou induction complète) utilisé dans les démonstrations mathématiques et mis en oeuvre par le philosophe et mathématicien Blaise Pascal : l'origin[...]![]()
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é
Point, en 2011, par un mathématicien, sur les différents aspects de la démonstration mathématique. Grâce à l'apport de l'informatique, introduction de la notion de preuve interactive (dialogue entre prouveur et vérifieur). Utilisations dans le d[...]