Von Neumann đã sử dụng định lý Haar để giải quyết vấn đề gì trong bài báo năm 1936?
Trong một số bài viết của von Neumann, các phương pháp lập luận mà ông sử dụng thậm chí còn được coi là có ý nghĩa hơn cả kết quả.