Article de périodique
Cinq énigmes pour la rentrée
- Dans le périodique : Pour la science, n°479 (09/2017) p.80-85
- Auteur : Jean-Paul Delahaye
Présentation de cinq énigmes mathématiques et de leurs solutions parfois étonnantes.
Catégorie démonstration mathématique
12 Documents disponibles dans cette catégorie
La conjecture de Poincaré vaincue
- Dans le périodique : Pour la science, n°481 (11/2017) p.74-75
- Auteur : Etienne Ghys
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.Coq : les maths ont trouvé leur maître
- Dans le périodique : Science & vie, n°1148 (05/2013) p.110-113
- Auteur : Philippe Pajot
Enquête sur le logiciel Coq permettant de vérifier l’exactitude des théorèmes mathématiques : retour sur le fonctionnement de ce programme informatique capable de vérifier les raisonnements ; historique de ce travail de preuves à partir du théor[...]De l'hypercube à la sensitivité
- Dans le périodique : Pour la science, n°522 (04/2021) p.82-87
- Auteur : Jean-Paul Delahaye
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[...]Il y a un roman derrière le grand théorème de Fermat
- Dans le périodique : Pour la science, n°481 (11/2017) p.52-53
- Personne interviewée : Cédric Villani
- Intervieweur : Maurice Mashaal
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.Les indécidables absolus existent-ils ?
- Dans le périodique : Pour la science, n°486 (04/2018) p.80-85
- Auteur : Jean-Paul Delahaye
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[...]Je le vois, je le démontre, mais est-ce que je le comprends ?
- Dans le périodique : Pour la science, n°472 (02/2017) p.78-83
- Auteur : Jean-Paul Delahaye
Présentation de huit énigmes mathématiques et de leurs solutions parfois étonnantes.Mathématiques : la démonstration historique
- Dans le périodique : Epsiloon, n°041 (11/2024) p 42-55
- Auteur : Camille Laurens
- Auteur : Hervé Poirier
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[...]En mathématiques, on ne peut pas tout démontrer
- Dans le périodique : Science & vie junior. Dossier hors série, n°115 (12/2015) p.66-69
- Auteur : René Cuillierier
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[...]Quand considère-t-on qu'un théorème est définitivement prouvé ?
- Dans le périodique : Pour la science, n°475 (05/2017) p.78-83
- Auteur : Jean-Paul Delahaye
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[...]Site web
La rhétorique mathématique d'Archimède : où priment les canons de rigueur
- Editeur : Accromath 06/2015
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"[...]Théorème : l'ordinateur fait ses preuves
- Dans le périodique : Sciences et avenir. Hors série, n°176 (10/2013) p.22-23
- Auteur : Philippe Pajot
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[...]
