Mécanismes de l'évolution logique et mathématique
La logique et les mathématiques sont souvent perçues comme des domaines de vérité éternelle et immuable, un royaume platonicien de formes pures, étranger au tumulte du changement. Pourtant, un regard historique révèle que ces disciplines ont elles aussi une évolution fascinante. Leurs objets ne sont peut-être pas contingents, mais les systèmes que les humains ont construits pour les explorer et les comprendre le sont. Ce chapitre analyse l'évolution non pas des vérités mathématiques elles-mêmes, mais de la pensée mathématique et logique.
La Variation dans ce domaine est la postulation de nouveaux axiomes¹²³, la définition de nouveaux objets (comme les nombres complexes ou les ensembles transfinis), ou l'invention de nouvelles techniques de démonstration¹²⁴. Cette créativité n'est pas un saut dans le vide ; elle est une exploration de l'espace des possibles délimité par les règles du système existant. L'invention des géométries non-euclidiennes au XIXe siècle est un exemple paradigmatique : elle est née de la tentative de prouver le cinquième postulat d'Euclide, un effort qui a finalement conduit à la variation radicale de le nier.
La Sélection en logique et en mathématiques est un processus d'une rigueur inégalée. Le critère de sélection principal est la cohérence interne. Une nouvelle proposition est acceptée si elle peut être prouvée à partir des axiomes existants sans introduire de contradiction. Une théorie entière peut être abandonnée si une seule contradiction interne (un paradoxe¹²⁵) est découverte, comme ce fut le cas avec la théorie naïve des ensembles de Frege suite au paradoxe de Russell. Un autre critère de sélection, plus esthétique mais non moins puissant, est celui de l'élégance et de la simplicité d'une preuve.
La Rétention est assurée par le corpus de théorèmes démontrés et de définitions acceptées. La nature formelle et déductive de ces disciplines garantit une fidélité de transmission¹²⁶ quasi parfaite. Un théorème démontré par Euclide il y a 2300 ans est toujours considéré comme vrai aujourd'hui. Cette rétention cumulative permet aux mathématiques de construire des édifices d'une complexité vertigineuse, où chaque nouvelle brique repose solidement sur les précédentes.
La dynamique de cette évolution est souvent marquée par des crises de fondements et des programmes de recherche visant à refonder la discipline sur des bases plus solides. Le programme de formalisation¹²⁷ du début du XXe siècle, mené par des figures comme Hilbert, visait à transformer les mathématiques en un pur jeu de symboles dont la cohérence pourrait être prouvée de manière absolue. Les théorèmes d'incomplétude de Gödel ont agi comme une "sélection négative" sur ce programme, montrant ses limites intrinsèques et ouvrant de nouveaux champs d'investigation en logique mathématique. L'évolution des mathématiques est donc celle d'une exploration structurée d'un paysage de vérités formelles, une évolution où la créativité est constamment bridée par l'impératif de la rigueur.
Aucun commentaire:
Enregistrer un commentaire