#constructive-proof

⇄ Intuitionists are right to refuse the law of excluded middle for infinite collections

I lean intuitionist, so I declare my bias. Here's the case. For Brouwer, mathematical objects are mental constructions, and to assert that something exists is to be able to construct it. On that view, “P or not-P” is a claim that we…