Comment Comment by carefree-bob I'm beginning to wonder whether P!=NP is undecidable. parent carefree-bob 4 days ago