File:Alan von Neumann Junior 1.jpg