During the Warring States Period, Qi Weiwang and Tian Ji raced, and Qi Weiwang and Tian Ji each had three good horses: getting on, winning and dismounting. The race is divided into three times, and thousands of dollars are bet on each horse race. Because the horsepower of the two horses is almost the same, and Qi Weiwang's horse is better than Tian Ji's, most people think that Tian Ji will lose.
However, Tian Ji took the advice of his disciple Sun Bin (a famous strategist) and dismounted Qi Weiwang's horse, Ma Zhong of Qi Weiwang and Qi Weiwang. As a result, Tian Ji beat Qi Weiwang 2-/kloc-0-and won a lot of money. This is an example of China's ancient substitution game theory to solve problems.
Branch of mathematics
1, History of Mathematics
2. Mathematical logic and mathematical foundation
A: deductive logic (also called symbolic logic), B: proof theory (also called meta-mathematics), C: recursion theory, D: model theory, E: axiomatic set theory, F: mathematical basis, G: mathematical basis of mathematical logic and other disciplines.
3. Number theory
A: Elementary number theory, B: Analytic number theory, C: Algebraic number theory, D: Transcendental number theory, E: Diophantine approximation, F: Geometry of numbers, G: Probability number theory, H: Computational number theory, I: Other disciplines of number theory.