Abstract

In recent years, a solution developed using deep learning methods has been used to solve difficult problems in a field. The capability of deep learning models is that they require large and heavily sampled data sets. Computer Algebra Systems developed over time have made significant progress, especially in the field of symbolic mathematics solutions solved by machine learning. It is a persistent problem how appropriate it is to use such formal systems in some aspects of algorithmic decision-making. In this paper, we discussed the suitability of artificial intelligence applications to formal propositions by evaluating a deep learning study conducted especially in the field of symbolic mathematics and Math education. Symbolic computation systems have a strong potential for enhancing math education. Furthermore, within the framework of the Incompleteness Theorem, to show why the construction of a mathematical grammar is not a complete solution for Mathematics education systems.