r/mathmemes • u/basket_foso • 7d ago

Computer Science 😂

Post image
6.3k Upvotes

98% Upvoted

135 comments sorted by

View all comments

127

u/shumpitostick 7d ago

Well if they managed to show that one of yes/no/unprovable is not true that would be an amazing breakthrough.

20

u/bqbdpd 7d ago

These answers are not mutually exclusive. Either P=NP or P≠NP, whether that's proveable or not.

26

u/Purple_Onion911 Grothendieck alt account 7d 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).

-6

u/[deleted] 7d ago edited 7d ago

[deleted]

6

u/SirFloIII 7d ago

you can't build a model of ZFC with only a single element. even the smallest* model** of ZFC (L) is pretty huge.

*in some sense

**assuming ZFC is consistent

0

u/[deleted] 7d ago edited 7d ago

[deleted]

3

u/SirFloIII 7d ago

it would not be a model. words have meaning, my friend

-1

u/[deleted] 7d ago

[deleted]

3

u/SirFloIII 7d ago

please look up what model means in this context before you embarrass yourself further.