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:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
