Functional Operators by John Von Neumann