Descripteurs
> 1305 mathématiques > mathématique > logique mathématique > démonstration mathématique
démonstration mathématique |
Documents disponibles dans cette catégorie (21)
Ajouter le résultat dans votre panier Affiner la recherche
Anthologie des grandes résolutions / Cédric Villani / Pour la science (2012) in Pour la science. Dossier, 074 (01/2012)
[article]
Titre : Anthologie des grandes résolutions Type de document : texte imprimé Auteurs : Cédric Villani, Auteur Editeur : Pour la science, 2012 Article : p.112-118 Langues : Français (fre)
in Pour la science. Dossier > 074 (01/2012)Descripteurs : démonstration mathématique / problème mathématique Résumé : Présentation de résolutions de problèmes mathématiques célèbres relatifs à la théorie de Galois et aux travaux de Niels Abel qui révolutionnèrent l'algèbre ; au théorème de Gödel, qui remit en cause le fondement de la mathématique ; aux travaux de John Nash dans le domaine des équations aux dérivées partielles ; à la démonstration du théorème de Fermat par Andrew Wiles ; aux travaux de Grigori Perelman qui a su résoudre la conjecture de Poincaré. Nature du document : documentaire Genre : Article de périodique [article] Anthologie des grandes résolutions [texte imprimé] / Cédric Villani, Auteur . - Pour la science, 2012 . - p.112-118.
Langues : Français (fre)
in Pour la science. Dossier > 074 (01/2012)
Descripteurs : démonstration mathématique / problème mathématique Résumé : Présentation de résolutions de problèmes mathématiques célèbres relatifs à la théorie de Galois et aux travaux de Niels Abel qui révolutionnèrent l'algèbre ; au théorème de Gödel, qui remit en cause le fondement de la mathématique ; aux travaux de John Nash dans le domaine des équations aux dérivées partielles ; à la démonstration du théorème de Fermat par Andrew Wiles ; aux travaux de Grigori Perelman qui a su résoudre la conjecture de Poincaré. Nature du document : documentaire Genre : Article de périodique Anthologie des grandes résolutions. 3, John Nash, "aussi pressé que X, aussi exaspérant que Y, quels que soient X et Y" / Cédric Villani / Pour la science (2012) in Pour la science. Dossier, 074 (01/2012)
[article]
Titre : Anthologie des grandes résolutions. 3, John Nash, "aussi pressé que X, aussi exaspérant que Y, quels que soient X et Y" Type de document : texte imprimé Auteurs : Cédric Villani, Auteur Editeur : Pour la science, 2012 Article : p.116 Note générale : Bibliographie, webographie. Langues : Français (fre)
in Pour la science. Dossier > 074 (01/2012)Descripteurs : démonstration mathématique / mathématicien Résumé : Présentation des travaux de John Nash, qui a résolu le problème du plongement isométrique et celui de la continuité des solutions de l'équation de la chaleur dans des milieux discontinus. Nature du document : documentaire Genre : Article de périodique [article] Anthologie des grandes résolutions. 3, John Nash, "aussi pressé que X, aussi exaspérant que Y, quels que soient X et Y" [texte imprimé] / Cédric Villani, Auteur . - Pour la science, 2012 . - p.116.
Bibliographie, webographie.
Langues : Français (fre)
in Pour la science. Dossier > 074 (01/2012)
Descripteurs : démonstration mathématique / mathématicien Résumé : Présentation des travaux de John Nash, qui a résolu le problème du plongement isométrique et celui de la continuité des solutions de l'équation de la chaleur dans des milieux discontinus. Nature du document : documentaire Genre : Article de périodique Anthologie des grandes résolutions. 4, Andrew Wiles : comment faire compliqué avec un énoncé simple ? / Ariane Mézard / Pour la science (2012) in Pour la science. Dossier, 074 (01/2012)
[article]
Titre : Anthologie des grandes résolutions. 4, Andrew Wiles : comment faire compliqué avec un énoncé simple ? Type de document : texte imprimé Auteurs : Ariane Mézard, Auteur Editeur : Pour la science, 2012 Article : p.117 Note générale : Bibliographie, webographie. Langues : Français (fre)
in Pour la science. Dossier > 074 (01/2012)Descripteurs : démonstration mathématique / mathématicien / théorème Résumé : Présentation des travaux d'Andrew Wiles qui démontra, avec Richard Taylor, le théorème de Fermat. Nature du document : documentaire Genre : Article de périodique [article] Anthologie des grandes résolutions. 4, Andrew Wiles : comment faire compliqué avec un énoncé simple ? [texte imprimé] / Ariane Mézard, Auteur . - Pour la science, 2012 . - p.117.
Bibliographie, webographie.
Langues : Français (fre)
in Pour la science. Dossier > 074 (01/2012)
Descripteurs : démonstration mathématique / mathématicien / théorème Résumé : Présentation des travaux d'Andrew Wiles qui démontra, avec Richard Taylor, le théorème de Fermat. Nature du document : documentaire Genre : Article de périodique Anthologie des grandes résolutions. 5, Grigori Perelman, l'homme qui refusa un million de dollars ! / Gérard Besson / Pour la science (2012) in Pour la science. Dossier, 074 (01/2012)
[article]
Titre : Anthologie des grandes résolutions. 5, Grigori Perelman, l'homme qui refusa un million de dollars ! Type de document : texte imprimé Auteurs : Gérard Besson, Auteur Editeur : Pour la science, 2012 Article : p.118 Note générale : Bibliographie, webographie. Langues : Français (fre)
in Pour la science. Dossier > 074 (01/2012)Descripteurs : démonstration mathématique / mathématicien / problème mathématique Résumé : Présentation des travaux de Grigori Perelman qui démontra la conjecture de Poincaré, relative à la compréhension des objets à trois dimensions fermées. Nature du document : documentaire Genre : Article de périodique [article] Anthologie des grandes résolutions. 5, Grigori Perelman, l'homme qui refusa un million de dollars ! [texte imprimé] / Gérard Besson, Auteur . - Pour la science, 2012 . - p.118.
Bibliographie, webographie.
Langues : Français (fre)
in Pour la science. Dossier > 074 (01/2012)
Descripteurs : démonstration mathématique / mathématicien / problème mathématique Résumé : Présentation des travaux de Grigori Perelman qui démontra la conjecture de Poincaré, relative à la compréhension des objets à trois dimensions fermées. Nature du document : documentaire Genre : Article de périodique Comment vérifier les longues démonstrations ? / Jean-Paul Delahaye / Pour la science (2015) in Pour la science, 452 (06/2015)
[article]
Titre : Comment vérifier les longues démonstrations ? Type de document : texte imprimé Auteurs : Jean-Paul Delahaye, Auteur Editeur : Pour la science, 2015 Article : p.78-83 Note générale : Bibliographie, webographie. Langues : Français (fre)
in Pour la science > 452 (06/2015)Descripteurs : 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. Nature du document : documentaire Genre : Article de périodique [article] Comment vérifier les longues démonstrations ? [texte imprimé] / Jean-Paul Delahaye, Auteur . - Pour la science, 2015 . - p.78-83.
Bibliographie, webographie.
Langues : Français (fre)
in Pour la science > 452 (06/2015)
Descripteurs : 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. Nature du document : documentaire Genre : Article de périodique L'énigme des pentagones résolue / Michaël Rao / Sophia Publications (2018) in La Recherche (Paris. 1970), 533 (03/2018)
PermalinkGéométriser l'espace : de Gauss à Perelman / Etienne Ghys / Pour la science (2012) in Pour la science. Dossier, 074 (01/2012)
PermalinkL'histoire mouvementée des cycles limites / Etienne Ghys / Pour la science (2012) in Pour la science. Dossier, 074 (01/2012)
PermalinkDe l'hypercube à la sensitivité / Jean-Paul Delahaye / Pour la science (2021) in Pour la science, 522 (04/2021)
PermalinkL'incomplétude, le hasard et la physique / Jean-Paul Delahaye / Pour la science (2012) in Pour la science. Dossier, 074 (01/2012)
PermalinkLes indécidables absolus existent-ils ? / Jean-Paul Delahaye / Pour la science (2018) in Pour la science, 486 (04/2018)
PermalinkJ'aimerais tant prouver Syracuse / Jean-Paul Delahaye / Pour la science (2012) in Pour la science. Dossier, 074 (01/2012)
PermalinkJe le vois, je le démontre, mais est-ce que je le comprends ? / Jean-Paul Delahaye / Pour la science (2017) in Pour la science, 472 (02/2017)
PermalinkMaths et mots / Edith Wolf in NRP. Lettres collège, 1 (septembre 2001)
PermalinkAux origines de la calculabilité / Pierre Lescanne / Pour la science (2012) in Pour la science. Dossier, 074 (01/2012)
Permalink