Comment vérifier les longues démonstrations ? / Jean-Paul Delahaye in Pour la science, 452 (06/2015)

Public ISBD [article]  inPour la science > 452 (06/2015) . - p.78-83 Titre : Comment vérifier les longues démonstrations ? Type de document : texte imprimé Auteurs : Jean-Paul Delahaye, Auteur Année de publication : 2015 Article en page(s) : p.78-83 Note générale : Bibliographie, webographie. Langues : Français Catégories : 1305 mathématiques:mathématique:logique mathématique:démonstration mathématique Résumé : 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'utilisation du calcul comme preuve d'un théorème ; l'utilisation de programmes informatiques pour trouver certaines preuves mathématiques et l'incapacité du raisonnement humain à contrôler les résultats obtenus ; l'utilisation des assistants de preuve qui sont des logiciels permettant l'écriture et la vérification des preuves mathématiques, exemples de théorèmes complexes démontrés grâce à l'aide de ces outils. [article] Comment vérifier les longues démonstrations ? [texte imprimé] / Jean-Paul Delahaye, Auteur . - 2015 . - p.78-83. Bibliographie, webographie. Langues : Français in Pour la science > 452 (06/2015) . - p.78-83 Catégories : 1305 mathématiques:mathématique:logique mathématique:démonstration mathématique Résumé : 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'utilisation du calcul comme preuve d'un théorème ; l'utilisation de programmes informatiques pour trouver certaines preuves mathématiques et l'incapacité du raisonnement humain à contrôler les résultats obtenus ; l'utilisation des assistants de preuve qui sont des logiciels permettant l'écriture et la vérification des preuves mathématiques, exemples de théorèmes complexes démontrés grâce à l'aide de ces outils.

Connaissez-vous le théorème de la pizza ? / Stephen Ornes in Courrier international (Paris. 1990), 1002 (14/01/2010)

Public ISBD [article]  inCourrier international (Paris. 1990) > 1002 (14/01/2010) . - p.45 Titre : Connaissez-vous le théorème de la pizza ? Type de document : texte imprimé Auteurs : Stephen Ornes, Auteur Editeur : Courrier international Année de publication : 2010 Article en page(s) : p.45 Note générale : Schémas. Langues : Français Catégories : 0010 démarche scientifique:démarche scientifique:théorème 1125 monde:monde:Amérique:Amérique du Nord:Etats-Unis 1305 mathématiques:mathématique:logique mathématique:démonstration mathématique 2315 structures sociales:structure sociale:groupe social:intellectuel:mathématicien Mots-clés : 2010- Résumé : Dans New Scientist [presse britannique] en 2010, présentation de la solution du théorème de la pizza, trouvée par des mathématiciens américains, Rick Mabry et Paul Deiermann : les différentes possibilités de coupe d'une pizza en parts égales, les règles du théorème, un historique, les difficultés de la démonstration. Nature du document : documentaire Genre : Article de périodique [article] Connaissez-vous le théorème de la pizza ? [texte imprimé] / Stephen Ornes, Auteur . - [S.l.] : Courrier international, 2010 . - p.45. Schémas. Langues : Français in Courrier international (Paris. 1990) > 1002 (14/01/2010) . - p.45 Catégories : 0010 démarche scientifique:démarche scientifique:théorème 1125 monde:monde:Amérique:Amérique du Nord:Etats-Unis 1305 mathématiques:mathématique:logique mathématique:démonstration mathématique 2315 structures sociales:structure sociale:groupe social:intellectuel:mathématicien Mots-clés : 2010- Résumé : Dans New Scientist [presse britannique] en 2010, présentation de la solution du théorème de la pizza, trouvée par des mathématiciens américains, Rick Mabry et Paul Deiermann : les différentes possibilités de coupe d'une pizza en parts égales, les règles du théorème, un historique, les difficultés de la démonstration. Nature du document : documentaire Genre : Article de périodique

Georges Gonthier, "hacker" de théorèmes / Philippe Pajot in Les Chemins de la Mémoire, 21537 Science (16/04/2014)

Public ISBD [article]  inLes Chemins de la Mémoire > 21537 Science (16/04/2014) . - p.7 Titre : Georges Gonthier, "hacker" de théorèmes Type de document : texte imprimé Auteurs : Philippe Pajot, Auteur Editeur : Le Monde Editions Année de publication : 2014 Article en page(s) : p.7 Langues : Français Catégories : 1305 mathématiques:mathématique:logique mathématique:démonstration mathématique 3110 informatique:informatique appliquée:informatique scientifique Mots-clés : métier : informatique et multimédia Résumé : Présentation du parcours professionnel de l'informaticien Georges Gonthier et de son domaine de recherche, la vérification de preuves mathématiques : études, laboratoires fréquentés, travaux de recherche ; formalisation de théorèmes mathématiques, notamment le théorème des quatre couleurs et le théorème de l'ordre impair ; perspectives. Nature du document : documentaire Genre : Article de périodique [article] Georges Gonthier, "hacker" de théorèmes [texte imprimé] / Philippe Pajot, Auteur . - [S.l.] : Le Monde Editions, 2014 . - p.7. Langues : Français in Les Chemins de la Mémoire > 21537 Science (16/04/2014) . - p.7 Catégories : 1305 mathématiques:mathématique:logique mathématique:démonstration mathématique 3110 informatique:informatique appliquée:informatique scientifique Mots-clés : métier : informatique et multimédia Résumé : Présentation du parcours professionnel de l'informaticien Georges Gonthier et de son domaine de recherche, la vérification de preuves mathématiques : études, laboratoires fréquentés, travaux de recherche ; formalisation de théorèmes mathématiques, notamment le théorème des quatre couleurs et le théorème de l'ordre impair ; perspectives. Nature du document : documentaire Genre : Article de périodique

Les grandes conjectures in Tangente (Paris), 168 (01/2016)

Public ISBD [article]  inTangente (Paris) > 168 (01/2016) . - p.9-19 Titre : Les grandes conjectures Type de document : texte imprimé Année de publication : 2016 Article en page(s) : p.9-19 Note générale : Bibliographie, schémas. Langues : Français Catégories : 0010 démarche scientifique:démarche scientifique 1305 mathématiques:mathématique:logique mathématique:démonstration mathématique Résumé : Dossier consacré aux conjectures mathématiques, qui sont des hypothèses formulées dont on ne connaît pas encore la démonstration. Les conjectures dans l'histoire des mathématiques et leur rôle stimulant. Le destin des conjectures : les conjectures démontrées qui deviennent des théorèmes, et les conjectures réfutées. Le point sur le postulat d'Euclide. La résolution de la conjecture de discrépance d'Erdös par le mathématicien Terence Tao. Présentation de conjectures plausibles mais fausses, dues à des erreurs mathématiques. Présentation d'anciennes conjectures récemment démontrées : fractions égyptiennes, équations d'Einstein, conjecture d'Eugène Catalan démontrée par Preda Mihailescu, conjectures de Weil ; la conjecture abc encore en suspens. Encadrés : exemples de conjectures fausses et justes ; la fonction zêta de Riemann ; la machine à conjectures. Nature du document : documentaire Genre : Article de périodique [article] Les grandes conjectures [texte imprimé] . - 2016 . - p.9-19. Bibliographie, schémas. Langues : Français in Tangente (Paris) > 168 (01/2016) . - p.9-19 Catégories : 0010 démarche scientifique:démarche scientifique 1305 mathématiques:mathématique:logique mathématique:démonstration mathématique Résumé : Dossier consacré aux conjectures mathématiques, qui sont des hypothèses formulées dont on ne connaît pas encore la démonstration. Les conjectures dans l'histoire des mathématiques et leur rôle stimulant. Le destin des conjectures : les conjectures démontrées qui deviennent des théorèmes, et les conjectures réfutées. Le point sur le postulat d'Euclide. La résolution de la conjecture de discrépance d'Erdös par le mathématicien Terence Tao. Présentation de conjectures plausibles mais fausses, dues à des erreurs mathématiques. Présentation d'anciennes conjectures récemment démontrées : fractions égyptiennes, équations d'Einstein, conjecture d'Eugène Catalan démontrée par Preda Mihailescu, conjectures de Weil ; la conjecture abc encore en suspens. Encadrés : exemples de conjectures fausses et justes ; la fonction zêta de Riemann ; la machine à conjectures. Nature du document : documentaire Genre : Article de périodique

Quand la physique démontre des théorèmes mathématiques / Jean-Paul Delahaye in Les Chemins de la Mémoire, 388 (02/2010)

Public ISBD [article]  inLes Chemins de la Mémoire > 388 (02/2010) . - p.88-93 Titre : Quand la physique démontre des théorèmes mathématiques Type de document : texte imprimé Auteurs : Jean-Paul Delahaye, Auteur Editeur : Pour la science Année de publication : 2010 Article en page(s) : p.88-93 Note générale : Bibliographie, schémas, webographie. Langues : Français Catégories : 0005 sciences:science:sciences physiques 1305 mathématiques:mathématique:logique mathématique:démonstration mathématique Mots-clés : étude physique/2010- Résumé : Présentation, en 2010, par un mathématicien, d'exemples mettant en évidence les liens étroits entre les mathématiques et la physique : comment des méthodes de raisonnement physiques démontrent plus simplement des problèmes mathématiques complexes. Démonstration physique du théorème de Pythagore et de la loi des sinus par l'hydrostatique etc. Nature du document : documentaire Genre : Article de périodique [article] Quand la physique démontre des théorèmes mathématiques [texte imprimé] / Jean-Paul Delahaye, Auteur . - [S.l.] : Pour la science, 2010 . - p.88-93. Bibliographie, schémas, webographie. Langues : Français in Les Chemins de la Mémoire > 388 (02/2010) . - p.88-93 Catégories : 0005 sciences:science:sciences physiques 1305 mathématiques:mathématique:logique mathématique:démonstration mathématique Mots-clés : étude physique/2010- Résumé : Présentation, en 2010, par un mathématicien, d'exemples mettant en évidence les liens étroits entre les mathématiques et la physique : comment des méthodes de raisonnement physiques démontrent plus simplement des problèmes mathématiques complexes. Démonstration physique du théorème de Pythagore et de la loi des sinus par l'hydrostatique etc. Nature du document : documentaire Genre : Article de périodique

La transformation conforme et Karl Löwner / Philippe Boulanger in Tangente (Paris), 153 (07/2013)

Permalink

---

page 1/1