2014年北京青少年科技俱乐部科学名家讲座– 高小山研究员

　　2014年3月16日上午北京青少年科技俱乐部与中国科学院数学与系统科学院联合举办科普报告会，邀请中国科学院数学与系统科学研究院高小山副院长作了《由机器证明到机械化数学》的科技报告，科技俱乐部基地校300余名师生兴致勃勃的参加了活动。

　　高小山研究员在报告中告诉同学们机器证明及其应用是中国攀登计划项目之一。该项目的核心内容主要是几何定理机器证明和非线性代数方程组理论、算法和应用。而数学问题的机械化，就是要求在运算或证明过程中，每前进一步之后，都有一个确定的、必须选择的下一步，这样沿着一条有规律的、刻板的道路，一直达到结论。这一导源于中国古代传统数学，由于计算机的出现而呈现旺盛生命力的数学机械化思想在数学研究上已经发挥出它的巨大威力，并且对当今数学及数学教学产生了巨大的影响。

　　一个小时的时间里听讲座的师生们徜徉在抽象、理性的数学世界里，尽管高老师讲座中涉及到的许多内容对于中学同学而言还相当高深陌生，但高老师通过数学发展史中多位大师的事例和自己工作的实践经历以及严密的逻辑推理过程使同学们认识到数学可以训练有理有据的思维过程，信息技术时代的到来并不会削弱数学的魅力，做数学，关键要有自己的看法；每个人的学习风格和认知风格不同，方法也不完全一样，但基本的有三点：培养兴趣、及时复习、勤于思考。 科学的本质是疑问。所以学会提问题并学会思考问题是学习成功的关键。

　　高小山研究员的讲座让参加活动的同学们感受到了数学的巨大魅力、上了一堂生动的思维训练课。