Résultat de la recherche
25 recherche sur le mot-clé
'démonstration mathématique' ![Surligner les mots recherchés Surligner les mots recherchés](./images/text_horizontalrule.png)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer la page de recherche courante...](./images/print.gif)
![Tris disponibles](./images/orderby_az.gif)
[article]
Titre : Anthologie des grandes résolutions Type de document : texte imprimé Auteurs : Cédric Villani, Auteur Année de publication : 2012 Article en page(s) : p.112-118 Langues : Français (fre)
in Pour la science. Dossier > 074 (01/2012)Mots-clés : problème mathématique démonstration 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 . - 2012 . - p.112-118.
Langues : Français (fre)
in Pour la science. Dossier > 074 (01/2012)
Mots-clés : problème mathématique démonstration 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 Réservation
Réserver ce documentExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 18858 PER Périodique Archives périodiques CDI Lycée Documentaire Disponible
[article]
Titre : De l'art de faire parler des chiffres Type de document : texte imprimé Auteurs : Daniel Justens, Auteur Année de publication : 2019 Article en page(s) : p.24-25 Note générale : Bibliographie. Langues : Français (fre)
in Tangente (Paris) > 187 (03/2019)Mots-clés : démonstration mathématique méthode de mesure Résumé : Explication mathématique basée sur du calcul, la théorie des erreurs et des chiffres significatifs pour critiquer la conclusion d'un article sur la sécurité des trains en Belgique. Encadré : démonstration mathématique de la règle selon laquelle l'erreur relative d'un produit est égale à la somme des erreurs relatives de chacun de ses facteurs. Nature du document : documentaire Genre : Article de périodique [article] De l'art de faire parler des chiffres [texte imprimé] / Daniel Justens, Auteur . - 2019 . - p.24-25.
Bibliographie.
Langues : Français (fre)
in Tangente (Paris) > 187 (03/2019)
Mots-clés : démonstration mathématique méthode de mesure Résumé : Explication mathématique basée sur du calcul, la théorie des erreurs et des chiffres significatifs pour critiquer la conclusion d'un article sur la sécurité des trains en Belgique. Encadré : démonstration mathématique de la règle selon laquelle l'erreur relative d'un produit est égale à la somme des erreurs relatives de chacun de ses facteurs. Nature du document : documentaire Genre : Article de périodique Réservation
Réserver ce documentExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 39195 PER Périodique Archives périodiques CDI Lycée Documentaire Disponible
[article]
Titre : Aux origines de la calculabilité Type de document : texte imprimé Auteurs : Pierre Lescanne, Auteur Année de publication : 2012 Article en page(s) : p.76-81 Note générale : Bibliographie. Langues : Français (fre)
in Pour la science. Dossier > 074 (01/2012)Mots-clés : équation problème mathématique démonstration mathématique Résumé : Origine de la science mathématique de la calculabilité, permettant d'élaborer des algorithmes, grâce au 10e problème de Hilbert demandant de concevoir un algorithme général capable de déterminer si une équation diophantienne quelconque peut être résolue. Définition d'un algorithme et présentation de modèles de calcul. Présentation de la démonstration du problème de Hilbert, avec les travaux de Julia Robinson et de Iouri Matiassevitch. Nature du document : documentaire Genre : Article de périodique [article] Aux origines de la calculabilité [texte imprimé] / Pierre Lescanne, Auteur . - 2012 . - p.76-81.
Bibliographie.
Langues : Français (fre)
in Pour la science. Dossier > 074 (01/2012)
Mots-clés : équation problème mathématique démonstration mathématique Résumé : Origine de la science mathématique de la calculabilité, permettant d'élaborer des algorithmes, grâce au 10e problème de Hilbert demandant de concevoir un algorithme général capable de déterminer si une équation diophantienne quelconque peut être résolue. Définition d'un algorithme et présentation de modèles de calcul. Présentation de la démonstration du problème de Hilbert, avec les travaux de Julia Robinson et de Iouri Matiassevitch. Nature du document : documentaire Genre : Article de périodique Réservation
Réserver ce documentExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 18858 PER Périodique Archives périodiques CDI Lycée Documentaire Disponible Comment vérifier les longues démonstrations ? / Jean-Paul Delahaye 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 Année de publication : 2015 Article en page(s) : p.78-83 Note générale : Bibliographie, webographie. Langues : Français (fre)
in Pour la science > 452 (06/2015)Mots-clés : 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 . - 2015 . - p.78-83.
Bibliographie, webographie.
Langues : Français (fre)
in Pour la science > 452 (06/2015)
Mots-clés : 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 Réservation
Réserver ce documentExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 32231 PER Périodique Archives périodiques CDI Lycée Documentaire Disponible Géométriser l'espace : de Gauss à Perelman / Etienne Ghys in Pour la science. Dossier, 074 (01/2012)
[article]
Titre : Géométriser l'espace : de Gauss à Perelman Type de document : texte imprimé Auteurs : Etienne Ghys, Auteur Année de publication : 2012 Article en page(s) : p.56-62 Note générale : Bibliographie, schémas, webographie. Langues : Français (fre)
in Pour la science. Dossier > 074 (01/2012)Mots-clés : problème mathématique géométrie démonstration mathématique Résumé : Historique de la démonstration de la conjecture de Poincaré, qui énonçait en 1904 : "Toute variété compacte de dimension 3 simplement connexe est homéomorphe à la sphère" ; démonstration faite en 2003 par Gregori Perelman qui mena à bien le programme d'Hamilton en prouvant la conjecture de géométrisation en passant par le théorème de Gauss, la géométrie de Riemann et la conjecture de Thurston. Nature du document : documentaire Genre : Article de périodique [article] Géométriser l'espace : de Gauss à Perelman [texte imprimé] / Etienne Ghys, Auteur . - 2012 . - p.56-62.
Bibliographie, schémas, webographie.
Langues : Français (fre)
in Pour la science. Dossier > 074 (01/2012)
Mots-clés : problème mathématique géométrie démonstration mathématique Résumé : Historique de la démonstration de la conjecture de Poincaré, qui énonçait en 1904 : "Toute variété compacte de dimension 3 simplement connexe est homéomorphe à la sphère" ; démonstration faite en 2003 par Gregori Perelman qui mena à bien le programme d'Hamilton en prouvant la conjecture de géométrisation en passant par le théorème de Gauss, la géométrie de Riemann et la conjecture de Thurston. Nature du document : documentaire Genre : Article de périodique Réservation
Réserver ce documentExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 18858 PER Périodique Archives périodiques CDI Lycée Documentaire Disponible Les grandes conjectures in Tangente (Paris), 168 (01/2016)
PermalinkL'incomplétude, le hasard et la physique / Jean-Paul Delahaye in Pour la science. Dossier, 074 (01/2012)
PermalinkPermalinkPermalinkPermalink