S.-T. Yau High School Science Awarded Papersmathscidoc:1608.35019
2009
According to Van der Waerden, the sum of two natural numbers is defined as
&x*1=x&
&x*y^+= x*y+x& (for every x and every y)
The product of two natural numbers is recursively defined as
&x*1=x&
&x*y^+= x*y+x& (for every x and every y)
x^+ ( y^+ ) here means the successor(consequent) of x( y) in the set of natural numbers.
@inproceedings{赵易非2009generalization,
title={Generalization of the Definition Method of the Arithmetic Multiplication},
author={赵易非},
url={http://archive.ymsc.tsinghua.edu.cn/pacm_paperurl/20160813215154906060067},
year={2009},
}
赵易非. Generalization of the Definition Method of the Arithmetic Multiplication. 2009. http://archive.ymsc.tsinghua.edu.cn/pacm_paperurl/20160813215154906060067.