Cercles vicieux, mathématiques et formalisations logiques
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 vi...
Salvato in:
| Pubblicato in: | URI:https://journals.openedition.org/msh, |
|---|---|
| Autore principale: | |
| Natura: | Article ou chapitre numérique |
| Lingua: | Français |
| Pubblicazione: |
Mathématiques et sciences humaines
2006
|
| Soggetti: | |
| Accesso online: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |
| Riassunto: | 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; |
|---|