Gödel, von Neumann and the P =? NP Problem