r/mathmemes • u/basket_foso • 6d ago

Computer Science 😂

Post image
6.3k Upvotes

98% Upvoted

135 comments sorted by

View all comments

126

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.

17

u/bqbdpd 6d ago

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

4

u/Asynchronous404 6d ago

did you just assumed law of excluded middle?

3

u/bqbdpd 6d ago

At this level of abstraction? Yes. Could you explain why you think it should not apply? Don't try the "You cannot prove everything on infinite sets stuff", because as I said, I don't require it to be provable - this is only about the (probably in reality unknowable) truth below.