quite provocative post you have there ðŸ˜‰

The problem of whether P == NP is definitely mathematically decidable: either the program “return true” or the program “return false” is a solution – we just don’t know which one.

Good luck with waiting for P == NP!

Dave