CPT : Perché ha deciso di creare la Giornata Mondiale della Logica il giorno della morte di Gödel ?