Rethinking Intuition in Constructive Mathematics.
I propose an account of intuition for Bishop's brand of constructive mathematics, where constructions are person programs determined by their computational meaning. Past attempts to elucidate intuition by Parsons and Tieszen drawing on views put forward by Hilbert and Husserl, respectively, have fai...
| Publicado en: | Theoria: A Swedish Journal of Philosophy Vol. 91; no. 5; pp. 1 - 16 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Wiley-Blackwell
Oct2025
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |