Descripteurs
 > 1305 mathématiques > mathématique > logique mathématique > démonstration mathématique
démonstration mathématique |
Documents disponibles dans cette catégorie (12)
Ajouter le résultat dans votre panier Affiner la recherche
Article : texte imprimé
Présentation de cinq énigmes mathématiques et de leurs solutions parfois étonnantes.
Article : texte imprimé
Présentation par un chercheur en mathématiques du problème de vérification des longues démonstrations mathématiques : exemple de domaines où il existe de très longues démonstrations mathématiques ; les notions de calcul et de démonstration et l'[...]
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é
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é
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é
Présentation de huit énigmes mathématiques et de leurs solutions parfois étonnantes.
Article : texte imprimé
Dossier présentant les avancées dans la résolution d'une partie du programme de Langlands. La comparaison avec le théorème de Fermat et aperçu historique de la formulation du programme de Langlands ; la résolution de sa dimension géométrique. Ch[...]
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"[...]
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 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[...]
