Descripteurs
 > 1305 mathématiques > mathématique > logique mathématique > démonstration mathématique
démonstration mathématique |
Documents disponibles dans cette catégorie (6)
Ajouter le résultat dans votre panier Affiner la rechercheDe l'hypercube à la sensitivité / Jean-Paul Delahaye / Pour la Science (2021) in Pour la science, 522 (04/2021)
Titre : De l'hypercube à la sensitivité Type de document : texte imprimé Auteurs : Jean-Paul Delahaye, Auteur Editeur : Pour la Science, 2021 Article : p.82-87 Note générale : Bibliographie, webographie. Langues : Français (fre)
in Pour la science > 522 (04/2021)Descripteurs : démonstration mathématique
fonction : mathématiqueRésumé : 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 pour démontrer cette conjecture, l'intérêt du résultat obtenu par Hao Huang. Nature du document : documentaire Genre : Article de périodique [article] De l'hypercube à la sensitivité [texte imprimé] / Jean-Paul Delahaye, Auteur . - Pour la Science, 2021 . - p.82-87.
Bibliographie, webographie.
Langues : Français (fre)
in Pour la science > 522 (04/2021)
Descripteurs : démonstration mathématique
fonction : mathématiqueRésumé : 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 pour démontrer cette conjecture, l'intérêt du résultat obtenu par Hao Huang. Nature du document : documentaire Genre : Article de périodique
Titre : Mathématiques : la démonstration historique Type de document : texte imprimé Auteurs : Camille Laurens ; Hervé Poirier Editeur : Unique Heritage Media, 2024 Article : p.42-55 Langues : Français (fre)
in Epsiloon > 041 (11/2024)Descripteurs : démonstration mathématique Résumé : 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. Chronologie retraçant les principales découvertes en arithmétique menant au programme de Langlands. Nature du document : documentaire Genre : Article de périodique [article] Mathématiques : la démonstration historique [texte imprimé] / Camille Laurens ; Hervé Poirier . - Unique Heritage Media, 2024 . - p.42-55.
Langues : Français (fre)
in Epsiloon > 041 (11/2024)
Descripteurs : démonstration mathématique Résumé : 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. Chronologie retraçant les principales découvertes en arithmétique menant au programme de Langlands. Nature du document : documentaire Genre : Article de périodique
Titre : Un pont géométrique monumental Type de document : texte imprimé Auteurs : Manon Bischoff Editeur : Pour la Science, 2025 Article : p.51-61 Langues : Français (fre)
in Pour la science > 573 (07/2025)Descripteurs : algèbre
arithmétique
démonstration mathématique
géométrieRésumé : Le point, en mathématiques, sur le programme Langlands : le projet du mathématicien André Weil de faire des liens entre différents domaines des mathématiques ; Robert Langlands et l'origine du programme Langlands (un programme de conjectures reliant des objets issus de la théorie des nombres et de l'algèbre avec des objets d'analyse) ; l'exemple du théorème de Fermat ; les succès de plusieurs mathématiciens pour démontrer certaines de ces conjectures ; le rôle du mathématicien Edward Frelkel dans le développement du programme de Langlands géométrique ; la démonstration en 2024 du programme de Langlands géométrique. Nature du document : documentaire Genre : Article de périodique [article] Un pont géométrique monumental [texte imprimé] / Manon Bischoff . - Pour la Science, 2025 . - p.51-61.
Langues : Français (fre)
in Pour la science > 573 (07/2025)
Descripteurs : algèbre
arithmétique
démonstration mathématique
géométrieRésumé : Le point, en mathématiques, sur le programme Langlands : le projet du mathématicien André Weil de faire des liens entre différents domaines des mathématiques ; Robert Langlands et l'origine du programme Langlands (un programme de conjectures reliant des objets issus de la théorie des nombres et de l'algèbre avec des objets d'analyse) ; l'exemple du théorème de Fermat ; les succès de plusieurs mathématiciens pour démontrer certaines de ces conjectures ; le rôle du mathématicien Edward Frelkel dans le développement du programme de Langlands géométrique ; la démonstration en 2024 du programme de Langlands géométrique. Nature du document : documentaire Genre : Article de périodique La rhétorique mathématique d'Archimède : où priment les canons de rigueur / Marie Beaulieu / Accromath (06/2015)
Titre : La rhétorique mathématique d'Archimède : où priment les canons de rigueur Type de document : document électronique Auteurs : Marie Beaulieu ; Bernard R. Hodgson Editeur : Accromath, 06/2015 Format : Web Note générale : Bibliographie, webographie. Langues : Français (fre) Descripteurs : démonstration mathématique
géométrieMots-clés : déduction (logique) Archimède : 0287-0212 AV-JC Résumé : 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" d'Archimède, ses propositions 24 et 20, sa démonstration dite géométrique pour quarrer un segment parabolique (le calcul de l'aire d'un segment de parabole) ; la rhétorique argumentaire. Nature du document : documentaire En ligne : http://accromath.uqam.ca/2015/10/la-rhetorique-mathematique-darchimede-ou-primen [...] La rhétorique mathématique d'Archimède : où priment les canons de rigueur [document électronique] / Marie Beaulieu ; Bernard R. Hodgson . - Accromath, 06/2015 . - ; Web.
Bibliographie, webographie.
Langues : Français (fre)
Descripteurs : démonstration mathématique
géométrieMots-clés : déduction (logique) Archimède : 0287-0212 AV-JC Résumé : 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" d'Archimède, ses propositions 24 et 20, sa démonstration dite géométrique pour quarrer un segment parabolique (le calcul de l'aire d'un segment de parabole) ; la rhétorique argumentaire. Nature du document : documentaire En ligne : http://accromath.uqam.ca/2015/10/la-rhetorique-mathematique-darchimede-ou-primen [...]
Titre : La tenace conjecture de Syracuse Type de document : texte imprimé Auteurs : Jean-Paul Delahaye, Auteur Editeur : Pour la Science, 2021 Article : p.80-85 Note générale : Bibliographie, webographie. Langues : Français (fre)
in Pour la science > 529 (11/2021)Descripteurs : démonstration mathématique
problème mathématiqueRésumé : Présentation, en mathématiques, de la conjecture de Syracuse-Collatz et des différentes avancées pour tenter de la prouver. Nature du document : documentaire Genre : Article de périodique [article] La tenace conjecture de Syracuse [texte imprimé] / Jean-Paul Delahaye, Auteur . - Pour la Science, 2021 . - p.80-85.
Bibliographie, webographie.
Langues : Français (fre)
in Pour la science > 529 (11/2021)
Descripteurs : démonstration mathématique
problème mathématiqueRésumé : Présentation, en mathématiques, de la conjecture de Syracuse-Collatz et des différentes avancées pour tenter de la prouver. Nature du document : documentaire Genre : Article de périodique
Permalink
