Descripteurs
 > 1305 mathématiques > mathématique > logique mathématique > démonstration mathématique
démonstration mathématique |
Documents disponibles dans cette catégorie (3)
Ajouter le résultat dans votre panier Affiner la rechercheUne aventure mathématique, le théorème de Fermat in BT2. Nouvelle série, 006 (02/1998)
Titre : Une aventure mathématique, le théorème de Fermat Type de document : texte imprimé Année : 1998 Article : p.4-63 : Langues : Français (fre)
in BT2. Nouvelle série > 006 (02/1998)Descripteurs : 17e siècle / démonstration mathématique / France / mathématicien / personnage / théorème Résumé : Portrait du mathématicien Pierre de Fermat, inventeur de la conjecture de Fermat, énigme mathématique résolue en 1995 par le chercheur anglais Andrew Wiles. Présentation de son environnement historique (le XVIIe siècle baroque et classique), scientifique (Pascal, Descartes), ainsi que de ses fondements mathématiques (Pythagore, Diophante d'Alexandrie).
Nature du document : documentaire collège Genre : documentaire Niveau : Collège Exemplaires (1)
Localisation Section Cote Support Code-barres Disponibilité archives Documentaire PER Périodique 051869 Disponible
Titre : En mathématiques, on ne peut pas tout démontrer Type de document : texte imprimé Auteurs : René Cuillierier, Auteur Editeur : Excelsior publications, 2015 Article : p.66-69 Langues : Français (fre)
in Science & vie junior. Dossier hors série > 115 (12/2015)Descripteurs : démonstration mathématique Mots-clés : loi et principe scientifique Résumé : 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, Wallis, Gauss) ; explications des théorèmes d'incomplétude de Kurt Gödel et du développement de la géométrie non-euclidienne par Riemann et Lobatchevski à partir des indémontrables. Nature du document : documentaire Genre : article de périodique Exemplaires (1)
Localisation Section Cote Support Code-barres Disponibilité archives Documentaire PER Périodique 46378 Disponible
Titre : Théorème : l'ordinateur fait ses preuves Type de document : texte imprimé Auteurs : Philippe Pajot, Auteur Editeur : Sciences et avenir, 2013 Article : p.22-23 Note générale : Webographie. Langues : Français (fre)
in Sciences & avenir. Hors série > 176 (10/2013)Descripteurs : démonstration mathématique / informatique scientifique Mots-clés : loi et principe scientifique Résumé : 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'efficacité des assistants de preuve. Nature du document : documentaire Genre : article de périodique Exemplaires (1)
Localisation Section Cote Support Code-barres Disponibilité archives Documentaire PER Périodique 42675 Disponible
