2 ms·
Does this have anything to do with constructive mathematics though? I still don’t see the connection.
by joppy 8y ago
Does this have anything to do with constructive mathematics though? I still don’t see the connection.
- fmap 8y agoThese are all models of a constructive type theory/intuitionistic logic. The axiom of excluded middle fails in SDG and in any infinity-topos.