If $P \neq NP$, then there is a "diagonalization" proof for it.
This result is due to Kozen. Not everyone agrees with what he calls a "diagonalization" proof.
Kaveh
- 21.8k
- 8
- 84
- 185