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

A.铁路网规模和质量达到世界领先，铁路技术装备和创新能力达到世界领先，铁路运输安全和经营管理水平达到世界领先

B.铁路网质量达到世界领先，铁路技术装备世界领先，铁路运输安全世界领先

C.铁路网规模世界领先，铁路创新能力世界领先，铁路经营管理水平达到世界领先

D.铁路网规模和质量达到世界领先，铁路技术装备和运行速度达到世界领先，铁路运输安全和经营管理水平达到世界领先

A.一战前

B.二战前

C.二战后-1970年代

D.1970年代

A.翁文灏《地史学教程》

B.王鸿祯《中国古地理图集》

C.李四光《中国地质学》

D.黄汲清《中国主要地质构造单位》

A.国学

B.汉学

C.中国学

D.新儒学

A.华罗庚与江泽涵

B.李俨和钱宝琮

C.陈建功和熊庆来

D.胡明复和赵元任

A.荷兰数学家弗赖登塔尔

B.美国数学家斯蒂恩

C.德国数学家F•克莱因

D.法国数学家庞加莱

A.工业革命

B.欧洲文艺复兴

C.中国“五四”运动

D.辛亥革命