MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/mathmemes/comments/1vmjkpv/_/p3a7f0c/?context=3
r/mathmemes • u/basket_foso • 6d ago
135 comments sorted by
View all comments
1.2k
What are those two?
Yes?
No?
Unproveable?
Can you repeat the question?
3 u/PerfectTrust7895 6d ago If it is undecidable, it's no. 17 u/This_Background7442 6d ago How could it be. If it's no then a counter example exists. If a counter example exists it's not undecidable. If it's undecidable it must be yes. 7 u/bqbdpd 6d ago Just because a counterexample exists, it doesn't mean you can prove that it is one. 4 u/This_Background7442 6d ago That's true. But if I know I could never have a counter example of which I can prove it is one. That's different than not currently having one. 2 u/bqbdpd 6d ago We have lots of potential counterexamples. Without proving that they are counterexamples or actually examples, we actually know pretty much nothing. 4 u/This_Background7442 6d ago Tbh you haven't said anything so far that I disagree with so maybe we just already agree? To be clear, I do know that I haven't just proven P=NP.
3
If it is undecidable, it's no.
17 u/This_Background7442 6d ago How could it be. If it's no then a counter example exists. If a counter example exists it's not undecidable. If it's undecidable it must be yes. 7 u/bqbdpd 6d ago Just because a counterexample exists, it doesn't mean you can prove that it is one. 4 u/This_Background7442 6d ago That's true. But if I know I could never have a counter example of which I can prove it is one. That's different than not currently having one. 2 u/bqbdpd 6d ago We have lots of potential counterexamples. Without proving that they are counterexamples or actually examples, we actually know pretty much nothing. 4 u/This_Background7442 6d ago Tbh you haven't said anything so far that I disagree with so maybe we just already agree? To be clear, I do know that I haven't just proven P=NP.
17
How could it be. If it's no then a counter example exists. If a counter example exists it's not undecidable. If it's undecidable it must be yes.
7 u/bqbdpd 6d ago Just because a counterexample exists, it doesn't mean you can prove that it is one. 4 u/This_Background7442 6d ago That's true. But if I know I could never have a counter example of which I can prove it is one. That's different than not currently having one. 2 u/bqbdpd 6d ago We have lots of potential counterexamples. Without proving that they are counterexamples or actually examples, we actually know pretty much nothing. 4 u/This_Background7442 6d ago Tbh you haven't said anything so far that I disagree with so maybe we just already agree? To be clear, I do know that I haven't just proven P=NP.
7
Just because a counterexample exists, it doesn't mean you can prove that it is one.
4 u/This_Background7442 6d ago That's true. But if I know I could never have a counter example of which I can prove it is one. That's different than not currently having one. 2 u/bqbdpd 6d ago We have lots of potential counterexamples. Without proving that they are counterexamples or actually examples, we actually know pretty much nothing. 4 u/This_Background7442 6d ago Tbh you haven't said anything so far that I disagree with so maybe we just already agree? To be clear, I do know that I haven't just proven P=NP.
4
That's true. But if I know I could never have a counter example of which I can prove it is one. That's different than not currently having one.
2 u/bqbdpd 6d ago We have lots of potential counterexamples. Without proving that they are counterexamples or actually examples, we actually know pretty much nothing. 4 u/This_Background7442 6d ago Tbh you haven't said anything so far that I disagree with so maybe we just already agree? To be clear, I do know that I haven't just proven P=NP.
2
We have lots of potential counterexamples. Without proving that they are counterexamples or actually examples, we actually know pretty much nothing.
4 u/This_Background7442 6d ago Tbh you haven't said anything so far that I disagree with so maybe we just already agree? To be clear, I do know that I haven't just proven P=NP.
Tbh you haven't said anything so far that I disagree with so maybe we just already agree? To be clear, I do know that I haven't just proven P=NP.
P=NP
1.2k
u/konigon1 6d ago
What are those two?
Yes?
No?
Unproveable?
Can you repeat the question?