Probabilistic Results on the Architecture of Mathematical Reasoning Aligned by Cognitive Alternation

We envision a machine capable of solving mathematical problems. Dividing the quantitative reasoning system into two parts: thought processes and cognitive processes, we provide probabilistic descriptions of the architecture.