Notre avis

La logique est le fondement sur lequel repose toute démonstration mathématique. Ce numéro en retrace l'histoire, des syllogismes aristotéliciens aux logiques formelles modernes, en passant par Boole, Frege et Gödel. La construction progressive des systèmes déductifs y est exposée avec clarté et méthode.

Paradoxes, théorèmes d'incomplétude, logique des propositions et des prédicats : les concepts essentiels sont abordés de façon rigoureuse et accessible. Un numéro de référence pour comprendre les bases épistémologiques des mathématiques et l'art de raisonner sans failles.