Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications (1962 Tihany, Hongrie)