3 ms·
What's constructive in one system is nonconstrictive in another. The only people who take constructive proofs to be more meaningful than nonconstrictive ones ar
by thrwayxyz 7y ago
What's constructive in one system is nonconstrictive in another. The only people who take constructive proofs to be more meaningful than nonconstrictive ones are software engineers. Usually with some mumbo jumbo about how type systems are a superior foundation for maths to sets.