> Intuitionist mathematics claims that mathematics is purely the result of the constructive mental activity of humans rather than the discovery of fundamental principles existing in an objective reality. [0]

The "mental activity" part isn't strictly necessary. A constructive mathematics will produce results that are largely the same. What matters most is that mathematical objects are proven by construction, and so proofs have a direct translation to computation.