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...
Tallennettuna:
| Päätekijä: | |
|---|---|
| Aineistotyyppi: | Artigo |
| Kieli: | Francês |
| Julkaistu: |
Centre d’analyse et de mathématique sociales de l’EHESS
2000
|
| Aiheet: | |
| Linkit: | https://doi.org/10.4000/msh.2834 https://hdl.handle.net/20.500.13089/ighe https://journals.openedition.org/msh/2834 |
| Tagit: |
Ei tageja, Lisää ensimmäinen tagi!
|