Cercles vicieux, Mathématiques et formalisations logiques - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Mathématiques et Sciences Humaines Année : 2000

Cercles vicieux, Mathématiques et formalisations logiques

(1)
1

Résumé

Some forms of circularity in Logic and Mathematics (self-membership, self-application, impredicativity, …) are analyzed as closure properties of suitable mathematical structures since they can be considered as solutions of some systems of equations. At the same time, from a philosophical point of view, we stress the contribution of these circularities to the power of mathematics in making the world intelligible;
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.
Fichier principal
Vignette du fichier
msh-2834 (1).pdf (377.06 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03318828 , version 1 (11-08-2021)

Identifiants

Citer

Giuseppe Longo. Cercles vicieux, Mathématiques et formalisations logiques. Mathématiques et Sciences Humaines, 2000, 152, pp.5-26. ⟨10.4000/msh.2834⟩. ⟨hal-03318828⟩
16 Consultations
29 Téléchargements

Altmetric

Partager

Gmail Facebook Twitter LinkedIn More