I want to know the answer to the following question:
Did von Neumann rule hidden variable theories?
All the background I'm provided with is that "Bub also suggests that von Neumann was aware of this limitation, and that von Neumann did not claim that his proof completely ruled out hidden variable theories.". Is that enough to answer the question?
Answer: yes