Descripteurs
> 1305 mathématiques > mathématique > logique mathématique > démonstration mathématique
démonstration mathématique |
Documents disponibles dans cette catégorie (4)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
Au fil d'anecdotes historiques, l'auteur passe en revue la vie et l'oeuvre des plus grands mathématiciens : Descartes, Euclide, Leibniz, Newton, Evariste Galois à travers des grands thèmes comme le nombre, la démonstration, l'analyse, la géométr[...]Article : texte imprimé
Rôle de l'ordinateur dans la démonstration automatique de théorèmes mathématiques. Limites de la vérification humaine. Capacité de contrôle des mathématiciens.document électronique
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"[...]Article : texte imprimé
Philippe Pajot, Auteur | Sciences et avenir |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'efficac[...]