par Y. Delmas-Rigoutsos et R. Lalement.

Collection “ Quatre à Quatre ” des éditions Le Pommier.

160 pages en 13,4 \(\times\) 20 dont, en fin de livre, une page d’une brève (et bonne) bibliographie commentée, trois des notations utilisées, sept d’un glossaire, trois d’un Index.
Présentation sobre, convenable.

ISBN : 2-74650035-3.

Prix : 85 F.

Cinq chapitres

• Formaliser ; des objets aux énoncés.
• Interpréter : des énoncés aux objets.
• Prouver : des énoncés aux énoncés.
• Axiomatiser : des objets aux ensembles.
• Logique et mathématiques.

Dans la droite ligne structuraliste (« peu importe la réelle nature des objets mathématiques […], seules comptent les opérations et relations »), les auteurs nous initient au formalisme logique (esquissé dans le Secondaire aux alentours de 1970), allant des connecteurs, quantificateurs, … et de leurs tables de vérité, aux problèmes posés par la théorie des ensembles, à Zermelo-Fraenkel, Gödel, l’axiome du choix…
D’un départ très élémentaire, on grimpe ainsi à des sommets ardus. Du moins les auteurs nous y aident-ils par un ton de connivence, volontiers pédagogique.