单项选择题 弗赖登塔尔提出的数学化原则的意义在于（）

单项选择题 1970年代，有一位中国数学家从研究中国古算受到启发，并结合现代计算机技术进行思考，发展了世界领先的“数学定理机器证明”方法。这位数学家是（）

单项选择题 从数学的诞生起，自然数、加减乘除四则运算等，都是模拟现实世界数量关系的抽象模型。一部数学史，也是数学模型发展的历史。正式提出“数学模型”这个名词的大致时间是（）。