Email Record: Ideas para un programa de filosofía de la lógica y de la informática