#constructive-mathematics

⇄ Giving up excluded middle would cost school mathematics far too much

I've been reading about intuitionism. Brouwer denied that "P or not-P" holds for every mathematical statement, and so rejected proofs that rely on it. My thesis: whatever the merits for research mathematicians, the cost to the mathematics we actually teach is far…