Pātuhitia tēnei: Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications