Full threadstiff·It is worth noting that Paul Halmos was an assistant of von Neumann's:http://www-history.mcs.st-andrews.ac.uk/Biographies/Halmos.h...View on HN