logique formelle

Il me semble que cet immense ensemble de théorèmes [de toutes les mathématiques], d'une extraordinaire richesse, d'une incomparable profondeur (et difficulté !), d'une étonnante cohérence (chaque théorème est dépendant de tous les autres !), d'une formidable fécondité (a science et la technologie), il me semble que tout cela représente un ensemble gigantesque et majestueux de savoirs, de propositions, de symboles, qui forme la plus solide et peut-être la plus belle de toutes les constructions de l'esprit humain. Il me semble que la mathématique constitue la base la plus ferme de ce que les hommes ont appelé Civilisation, et dont ils sont encore si éloignés. La mathématique, certes, ne nous donne pas de Vérités Absolues, et ne nous permet pas de distinguer le Bien du Mal. Mais elle nous apprend à raisonner, à utiliser cette raison dont certains croient qu'elle est présente chez tous les hommes.
La mathématique est le révélateur de la Raison humaine.
La mathématique est le fondement de la Civilisation.

Auteur: Baudet Jean-C.

Info: Histoire des mathématiques, p. 269

[ nombres ] [ langage ]

 

Commentaires: 0

Commentaires

No comments