2 ms·
But he did construct the proof! (So, the argument can only be about what axioms the proof is based on.)
by Koshkin 6y ago
But he did construct the proof! (So, the argument can only be about what axioms the proof is based on.)
- alexanderchr 6y agoThis is not what constructivity means in mathematics.
- Koshkin 6y agoWhat I was objecting to was that constructive proofs are somehow easier to understand.