[[!redirects Sandbox > history]] [[!redirects Sandbox]] < [[nlab:Sandbox]] Geometric mathematics is Brouwer's intuitionistic mathematics. I am not a constructivist in the usual sense anymore, since constructive mathematics only makes sense in the context of logic which has implication, negation, and universal quantification. But we do not have implication, negation, or universal quantification. category: redirected to nlab