004 1903-1989 congresses correspondence electronicdigitalcomputers functionalanalysis history john k-theory liegroups mathematicians mathematics operatoralgebras operatortheorie stone unitedstates vonneumann