Comment by rramadass

> Intuitionism was a failure

Not true; Eg. Intuitionism via Constructivist Mathematics gave rise to Intuitionistic Type Theory and its various derivatives which are all fundamental to doing "correct" computation.

By forcing one to come up with "proof of existence" by constructing it, in a way, it is more fundamental than Classical Logicism where truths of certain propositions on certain structures are accepted a priori. But once Intuitionism itself was formalized, people forgot its philosophical underpinnings leading to our lack of understanding today.

See also my other comment here - https://news.ycombinator.com/item?id=50127948