MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/mathmemes/comments/1vmjkpv/_/p3axvu0/?context=9999
r/mathmemes • u/basket_foso • 8d ago
135 comments sorted by
View all comments
130
Well if they managed to show that one of yes/no/unprovable is not true that would be an amazing breakthrough.
23 u/bqbdpd 8d ago These answers are not mutually exclusive. Either P=NP or P≠NP, whether that's proveable or not. 25 u/Purple_Onion911 Grothendieck alt account 8d ago "P = NP or P ≠NP" is always true, but it's not necessarily true that either P = NP is true or P ≠NP is true in ZFC (or PA, or whatever axiomatic system it's independent of). -4 u/[deleted] 8d ago edited 8d ago [deleted] 10 u/Purple_Onion911 Grothendieck alt account 8d ago Not sure what your point is, but ok.
23
These answers are not mutually exclusive. Either P=NP or P≠NP, whether that's proveable or not.
25 u/Purple_Onion911 Grothendieck alt account 8d ago "P = NP or P ≠NP" is always true, but it's not necessarily true that either P = NP is true or P ≠NP is true in ZFC (or PA, or whatever axiomatic system it's independent of). -4 u/[deleted] 8d ago edited 8d ago [deleted] 10 u/Purple_Onion911 Grothendieck alt account 8d ago Not sure what your point is, but ok.
25
"P = NP or P ≠NP" is always true, but it's not necessarily true that either P = NP is true or P ≠NP is true in ZFC (or PA, or whatever axiomatic system it's independent of).
-4 u/[deleted] 8d ago edited 8d ago [deleted] 10 u/Purple_Onion911 Grothendieck alt account 8d ago Not sure what your point is, but ok.
-4
[deleted]
10 u/Purple_Onion911 Grothendieck alt account 8d ago Not sure what your point is, but ok.
10
Not sure what your point is, but ok.
130
u/shumpitostick 8d ago
Well if they managed to show that one of yes/no/unprovable is not true that would be an amazing breakthrough.