an extreme version of #math #constructivism in the #foundations-of-mathematics
on 02024-02-06overview of Brouwer's #intuitionism, part of #constructivism in the #foundations-of-mathematics #math
on 02024-02-06Phil Wilson explains the #foundations-of-mathematics debate betweeen #formalism, #constructivism (including #intuitionism), #platonism, and #logicism. #math
on 02024-02-06