Descripteurs
> 1305 mathématiques > mathématique > logique mathématique > démonstration mathématique
démonstration mathématique |
Documents disponibles dans cette catégorie (1)
Ajouter le résultat dans votre panier Affiner la recherche
En mathématiques, on ne peut pas tout démontrer / René Cuillierier / Excelsior publications (2015) in Science & vie junior. Dossier hors série, 115 (12/2015)
[article]
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 [article] En mathématiques, on ne peut pas tout démontrer [texte imprimé] / René Cuillierier, Auteur . - Excelsior publications, 2015 . - 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