Colloquium on the Foundations of Mathematics, Mathematical Machines and their Applications (1962 Tihany)