Author: Colloquium on the Foundations of Mathematics, Mathematical Machines, and Their Applications, Tihany, Hungary 1962