Descripteurs
Documents disponibles dans cette catégorie (2)
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.
