Προκήρυξη – Γενικοί Κανόνες για τον 4ο (Πανελλήνιο) Διαγωνισμό Μαθηματικής Λογικής και Υπολογιστικής Σκέψης, Alan Turing