Fool’s Mate

by JS

I saw the following “proof” (meant to illustrate — not as a serious claim) that P \ne NP in these slides.

Suppose P = NP. Then clearly P^A = NP^A for all oracles A. Since we know that P^A \ne NP^A for at least one oracle A, it follows that P \ne NP.