3 ms·
Not really. Check out the proof of Hilbert's Nullstellensatz. He got tons of criticism for proving the existence of a relation without constructing that relatio
by hintymad 6y ago
Not really. Check out the proof of Hilbert's Nullstellensatz. He got tons of criticism for proving the existence of a relation without constructing that relation.
- Koshkin 6y agoBut 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.