Topics Related to Critical Thinking, Deep Learning and Formal Sciences: