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