Dexter Kozen's theorem "if P != NP is provable at all, then it is provable by diagonalization" is the springboard for a blog post celebrating Kozen's work.

The essay was inspired by the occasion of the CS department's 50th anniversary.