西湖大学讲席教授陈华一:警惕将学生培养为“低配版AI”
“一些学生不习惯质疑别人,也不习惯被别人质疑。”西湖大学数学讲席教授陈华一认为,如果教育在平等意识方面存在缺位,就会导致学生一方面不敢表达自己的观点,另一方面当被别人质疑时会觉得被冒犯,从而难以成为在人格上独立的、不畏惧权威的人。今年1月,陈华一正式辞去法国巴黎西岱大学数学系教授职务,全职加入西湖大学...
数学像游戏,但要放下对答案的执念 | 对话
元旦后的第一个工作日,陈华一正式入职西湖大学,忙着组织一场十几天的短期课程《数学的形式化——定理证明语言Lean入门》,听众包括校内科研人员、博士生、本科生,也有校外同行。Lean是一款交互式定理证明器,也是一门编程语言,可用于检验数学证明的可靠性。Lean可以理解成“倚靠”,这恰似人和数学的关系。数学家可以把...
西湖大学新增数学与应用数学、人工智能两个本科专业
此前,该校已开设生物科学、物理学、化学、电子信息工程、材料科学与工程5个专业。作为一所新型研究型大学,数学学科是西湖大学不可或缺的核心基础学科之一。据悉,新增的数学与应用数学专业现有长聘/准聘研究序列教授17位,全部来自国际顶尖数学研究机构,包含致力于算术几何领域研究工作,曾任巴黎西岱大学数学系教授的陈...
巴黎西岱大学数学系教授陈华一入职西湖大学
元旦后的第一个工作日,陈华一正式入职西湖大学,忙着组织一场十几天的短期课程《数学的形式化——定理证明语言Lean入门》,听众包括校内科研人员、博士生、本科生,也有校外同行。Lean是一款交互式定理证明器,也是一门编程语言,可用于检验数学证明的可靠性。Lean可以理解成“倚靠”,这恰似人和数学的关系。数学家可以把...
赵克勤:一位民间数学爱好者的传奇
“因此,这个答案是不确定的!”赵克勤用集对分析理论进行解释。集对分析研究的是问题中的不确定性。运用这一理论,许多不确定的问题都可以用数学模型表示,譬如:“三个臭皮匠抵个诸葛亮”(1+1+1>3)和“三个和尚没水喝”(1+1+1<3)就有了统一的数学式子:(1+i)+(1+i)+(1+i),其中的i=1时,就是前...