Un petit livre sur la logique

Document logiqueJe me mets à jour de mes lectures et de présentations à faire.

J’ai reçu il y a quelques semaines un petit livre sur la logique de Gilles Dowek de la part des Editions Le Pommier.

Etant plutôt fan de l’histoire des sciences, là, cela a été une vrai surprise, je l’ai littéralement dévoré!

C’est un petit livre, même pas du format A5, environ 80 pages. Il se lit donc plutôt rapidement.

De quoi parle ce livre? Il parle de la logique comme son nom l’indique, rien de transcendant à première vue, mais en fait, Gilles Dowek, nous retrace l’histoire des mathématiques en axant sur la logique, le raisonnement, les démonstrations, comment toutes ces  éléments constitutifs des mathématiques sont  apparus clairement au fil des siècles.

On (re)découvre le principe des axiomes, ce qu’il signifie, pourquoi ils ont posé des problèmes quant à leur nature. On comprend la différence entre calcul, raisonnement, langage et démonstration, le problème de la démontrabilité, on y retrouve Gödel et son théorème de l’incomplétude et j’en passe … Le livre est très riche au niveau du nombre de sujets abordés!

Les problèmes philosophiques sont plutôt bien présentés et contextualisés dans l’histoire.

C’est à destination des curieux, plutôt pour les adultes.

Mais franchement, je le conseillerai vraiment comme lecture!

A propos de l'auteur :

Enseignant de mathématiques : collège Belle-vue de Loué Membre de l'équipe du "Rallye mathématique de la Sarthe" blog : mathix.org

a écrit 1113 articles sur mathix.org.

Vous avez aimé cet article ? Alors partagez-le avec vos amis en cliquant sur les boutons ci-dessous :

Licence Creative Commons

Démarrez une conversation

Votre adresse e-mail ne sera pas publiée. Les champs obligatoires sont indiqués avec *