Cercles vicieux, mathématiques et formalisations logiques
Résumés
Certaines formes de circularité logiques et mathématiques (auto-appartenance, auto-implication, imprédicativité) sont analysées comme des propriétés de fermeture de certaines structures mathématiques puisqu'on peut les interpréter comme des solutions de certains systèmes d'équations. Parallèlement, du point de vue philosophique, on met en évidence la contribution de ces circularités au pouvoir des mathématiques à rendre le monde intelligible.
Entrées d’index
Thèmes :
algèbre, ensembles (théorie des), logique, ordres et préordres, types (théorie des), épistémologiePour citer cet article
Référence électronique
Giuseppe Longo, « Cercles vicieux, mathématiques et formalisations logiques », Mathématiques et sciences humaines [En ligne], 152 | Hiver 2000, mis en ligne le 10 février 2006, consulté le 14 mars 2025. URL : http://journals.openedition.org/msh/2834 ; DOI : https://doi.org/10.4000/msh.2834
Haut de pageDroits d’auteur
Le texte et les autres éléments (illustrations, fichiers annexes importés), sont « Tous droits réservés », sauf mention contraire.
Haut de page