Kurt Godel was a mathematician who worked with and knew von Neumann at the Institute for Advanced Studies. He is best known for his famous "incompleteness theorem" that showed mathematics could not be derived from a small number of axioms.
Prisoner's Dilemma