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...
Shranjeno v:
| Glavni avtor: | |
|---|---|
| Format: | Artigo |
| Jezik: | Francês |
| Izdano: |
Centre d’analyse et de mathématique sociales de l’EHESS
2000
|
| Teme: | |
| Online dostop: | https://doi.org/10.4000/msh.2834 https://hdl.handle.net/20.500.13089/ighe https://journals.openedition.org/msh/2834 |
| Oznake: |
Brez oznak, prvi označite!
|
