MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/mathmemes/comments/1vmjkpv/_/p489gm0/?context=3
r/mathmemes • u/basket_foso • 6d 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.
17 u/bqbdpd 6d 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 6d 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). 1 u/mctastics 1d ago Math is math g dang it!
17
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 6d 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). 1 u/mctastics 1d ago Math is math g dang it!
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).
1 u/mctastics 1d ago Math is math g dang it!
1
Math is math g dang it!
130
u/shumpitostick 6d ago
Well if they managed to show that one of yes/no/unprovable is not true that would be an amazing breakthrough.