CPT :¿Por qué decidió establecer el Día Mundial de la Lógica en el mismo día de la muerte de Gödel?