2014年3月16日理工附中科技俱乐部学员在中国科学院数学与系统科学研究院思源一层报告厅聆听了由北京青少年科技俱乐部举办的2014年第二场“科学名家讲座”。 本次讲座邀请到中国科学院地质与地球物理研究所刘嘉麒院士作题为“极地探索与全球气候变化的研究”的报告，及中国科学院数学与系统科学研究院副院长高小山研究员作题为“由机器证明到机械化数学” 的报告。

    刘嘉麒院士在火山地质学方面作了大量的系统性原创性工作，是我国火山和玛珥湖古气候研究领域的主要学术带头人。他积极参与组织我国有关方面的极地考察，对南极南设得兰群岛和北极斯瓦尔巴德地区的地质环境做了深入的调查，并在南北极的湖泊中成功打钻，在冰芯和岩芯中发现多层火山灰，对南极火山活动和气候变化进行了深入的探索。在一个半小时的时间里刘院士以亲身经历给同学们讲述了南北极气候特点、动植物生存、人类活动以及极地探索在政治、经济、军事、历史、环境等方面的重要意义。刘院士的讲座引发了学生对“做强人，建强国”的深深思考。

    高小山研究员主要从事自动推理、符号计算研究与智能软件开发，在数学机械化领域做出了系统、创新性工作，在智能软件开发方面取得突出贡献，得到国际同行的高度评价与广泛引用。高研究员带领大家认识了“数学问题的机械化”，展示了机器与数学的魅力。同学们被这一源于中国古代传统数学，由于计算机的出现而呈现出旺盛生命力的思想深深地吸引，纷纷赞叹科技的神奇与奥妙。

    两场报告一场直观，一场抽象；一场关乎人与自然，一场联系思维与机械。两场报告只是科技大世界中的冰山一角，已经让同学们叹为观止。科学名家讲座开阔了同学们的视野，激发了同学们强烈的兴趣，为同学们今后的学习增加了动力。

刘嘉麒院士报告		高小山研究员报告
同学合影