[naasking]

No, you're reading too much into it. The origin of the idea was a skepticism around seemingly paradoxical mathematical constructions, like uncountable infinities. Intuitionism eliminates some methods of proving that such things exist without needing to construct a proof of their existence.

And via Curry-Howard, any intuitionistic proof is also a computer program. Intuitionism thus unifies computation and mathematics in a very direct way, which has been extremely useful.