We describe what characteristics of the Minimalist Foundation, for short MF, agree with Bishop’s conception of constructive mathematics and what differs from it. In particular, we explain why adopting the point-free approach of formal topology to develop mathematics in MF. We then end by describing an extension of MF with choice principles closer to Bishop’s conception of constructive mathematics.
Handbook of Constructive Mathematics
Maria Emilia Maietti
2023
Abstract
We describe what characteristics of the Minimalist Foundation, for short MF, agree with Bishop’s conception of constructive mathematics and what differs from it. In particular, we explain why adopting the point-free approach of formal topology to develop mathematics in MF. We then end by describing an extension of MF with choice principles closer to Bishop’s conception of constructive mathematics.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
preprinthandbookconstructivemaths.pdf
accesso aperto
Tipologia:
Preprint (submitted version)
Licenza:
Accesso libero
Dimensione
529.13 kB
Formato
Adobe PDF
|
529.13 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.