Topics Related to Deep Learning, Formal Sciences and Mathematics: