#constructive-proof

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

I'm writing a thesis on intuitionism, so 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…