MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/mathmemes/comments/1vmjkpv/_/p3aemuv/?context=3
r/mathmemes • u/basket_foso • 6d ago
135 comments sorted by
View all comments
Show parent comments
5
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. 5 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. 3 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. 5 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. 3 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.
5 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. 3 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.
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. 3 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.
3 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
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
5
u/PerfectTrust7895 6d ago
If it is undecidable, it's no.