The "Human Computer" Behind the Manhattan Project: John Von Neumann Interesting Engineering, 10 Nov 2021 "Most mathematicians prove what they can, von Neumann proves what he wants."