Détail de l'auteur
Auteur Gilles Dowek |
Documents disponibles écrits par cet auteur (1)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externes![]()
texte imprimé
Depuis Euclide, on définit une démonstration comme un raisonnement, construit à l'aide d'axiomes et de règles de déduction. La révolution qui a consisté, depuis les années 1970, à remettre en cause la prééminence du raisonnement sur le calcul, n[...]


