Skip to main content
7 events
when toggle format what by license comment
Jun 4, 2019 at 21:43 comment added Jirka Hanika @ToothpickAnemone - The answer was following (a special case of) the pattern posed in the question, not vice versa. Joel has explored the special case of P = Q.
Jun 4, 2019 at 20:15 comment added Toothpick Anemone I do not think that the proof structure being discussed by the question asker follows your pattern. Their pattern is [(P) --> (Q)] and [(not P) --> (Q)] therefore, (Q). That is standard proof by cases. You did something different.
Jun 3, 2019 at 15:35 comment added user141414 I appreciate your shift of perspective. It is actually pretty interesting. Still, you addressed a very different question. If I could downvote, I would (but I also thank you for this insight, even if it was not presented in the appropriate place!).
Jun 3, 2019 at 15:28 comment added Joel David Hamkins I took the central phenomenon of your question to be the situation where one statement follows from another and also from its negation. While that might seem unusual or even amazing, as you say, the point of my answer is that actually this happens quite frequently in mathematics.
Jun 3, 2019 at 15:25 comment added user141414 I do not see how this addresses the question. The question specifically asked about "major, notorious conjectures in mathematics". A somewhat subjective definition but you probably agree that not every statement $S$ belongs to that category. Actually, now that I think of it $S$ would simultaneously have to be proven and to be a conjecture so I think this answer deserves some further clarification.
S Jun 3, 2019 at 15:24 history answered Joel David Hamkins CC BY-SA 4.0
S Jun 3, 2019 at 15:24 history made wiki Post Made Community Wiki by Joel David Hamkins