I see that von Neumann is actually mentioned 3 times in the text and in the references.