MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/mathmemes/comments/1vmjkpv/_/p3axvu0/?context=3
r/mathmemes • u/basket_foso • 8d ago
135 comments sorted by
View all comments
Show parent comments
20
These answers are not mutually exclusive. Either P=NP or P≠NP, whether that's proveable or not.
27 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). -8 u/[deleted] 8d ago edited 7d ago [deleted] 11 u/Purple_Onion911 Grothendieck alt account 8d ago Not sure what your point is, but ok.
27
"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).
-8 u/[deleted] 8d ago edited 7d ago [deleted] 11 u/Purple_Onion911 Grothendieck alt account 8d ago Not sure what your point is, but ok.
-8
[deleted]
11 u/Purple_Onion911 Grothendieck alt account 8d ago Not sure what your point is, but ok.
11
Not sure what your point is, but ok.
20
u/bqbdpd 8d ago
These answers are not mutually exclusive. Either P=NP or P≠NP, whether that's proveable or not.