I'm beginning to wonder whether P!=NP is undecidable.