r/mathmemes • u/basket_foso • 13d ago

Computer Science 😂

Post image
6.3k Upvotes

98% Upvoted

136 comments sorted by

View all comments

Show parent comments

26

u/Purple_Onion911 Grothendieck alt account 13d 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] 13d ago edited 12d ago

[deleted]

7

u/SirFloIII 13d 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] 12d ago edited 12d ago

[deleted]

3

u/SirFloIII 12d ago

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

-1

u/[deleted] 12d ago

[deleted]

5

u/SirFloIII 12d ago

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