4 ms·
Why does AoC implying LEM mean you can't use LEM in constructive maths? EDIT: misread
by veltas 5y ago
Why does AoC implying LEM mean you can't use LEM in constructive maths?
EDIT: misread
- siraben 5y agoI said that if you don't want to use LEM in constructive maths you must also give up AOC, since AOC -> LEM.
- reuben364 5y agoConstructive mathematics by it's nature does not use LEM. The idea is that proof of existance must be done by construction of the object in question. LEM implies DNE, which means existance can be shown by showing non-existance is not the case. EDIT: Apologies, misunderstood.