Je 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!