All Questions
Tagged with conjectures soft-question
1 question with no upvoted or accepted answers
3
votes
0
answers
234
views
Uses of excluded middle on a conjecture that can be rewritten constructively with this trick
An interesting proof technique is to use the law of excluded middle on a conjecture. There are proofs using LEM on the Riemann hypothesis for example.
Constructively this is disallowed (if you can ...
- 6,353