3 ms·
Why? Proving something doesn't mean we understand all implications of said proof or how to apply it to a particular situation. Think about non-constructive pro
by 21 9y ago
Why? Proving something doesn't mean we understand all implications of said proof or how to apply it to a particular situation.
Think about non-constructive proofs.
- wolfgke 9y ago> Think about non-constructive proofs. To me it does not seem that the author of the paper uses weird "coffeinated" non-constructive proof arguments in it.
- waynecochran 9y agoIt's an important special case. You need some sort of filter for all the crazy submissions of potential proofs. I am not the only one who uses this problem as the filter.