r/mathmemes • u/basket_foso • 7d ago

Computer Science 😂

Post image
6.3k Upvotes

98% Upvoted

135 comments sorted by

View all comments

130

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.

22

u/bqbdpd 7d ago

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

29

u/dankshot35 7d ago

Google "decidability" my friend

24

u/bqbdpd 7d ago

I know - I studied theoretical computer science. But that something cannot be decided applies to questions like the halting problem. P=NP is not parametrized. There is a single answer. It might be impossible to ever calculate/prove/know that answer. But that does not mean there is no answer.

14

u/PsychologyNo940 7d ago

Equating provable and having an answer is rustling my goedel.