Intuitionism is just disallowing the law of the excluded middle (that propositions are either true or they are not true). Disallowing non-constructive proofs is a related system to intuitionism called “constructivism”. There are rigorous formulations of mathematics that are constructive, intuitionist or even strict finitist.

▲

groundzeros2015 an hour ago | parent [-]

What point are you responding to?

	▲	seanhunter an hour ago \| parent [-]
		THe parent of my post referred to disallowing non-constructive proofs, which is not a feature of intuitionist logic but of constructivism.