报告题目： 谈“数学与善”
——简述《现代数学与计算机文化》
主 讲 人:陈绥阳 西安交通大学教授、 博士生导师
报告时间：6月11 日下午五点
报告地点：开元工科4-605
主办单位：科技处，数学与统计学院
摘 要：
80年前，怀特海在哈佛演讲“数学与善”，阐明数学是研究模式的科学。从而将演绎与计算两种模式统一到现代数学中。希尔伯特形式化公理系统为纯数学建立了一个统一的框架，然而在解决数学危机中，又带来分球奇论的困难，似乎纯数学并不完美。计算理论的建立，既奠定了计算机科学，又为中国古代的计算模式带来重新的认识。然而，计算主义的极端观点重现牛顿将世界视为钟表的机械决定论；强人工智能的奇点幻想，也带来某种人类终结的恐惧。这些问题，数学自身已不能解决，只有从人类文化学的高度来重新审视。
简 历：
学习和工作经历
1980-1982，兰州大学数学系研究生，师从陈庆益教授，获硕士学位；曾任兰州大学计算数学教研室主任。1982-1985，在上海科技大学师从郭本瑜教授学习计算数学与软件。1990，在英国Dundee大学高访。1997年后在西安交通大学理学院任教，任信息科学系首届系主任。
学术成果
陈绥阳教授是“西安交通大学数学研究生教学丛书”（2001年，科学出版社）和“高等院校信息科学系列教材编委会”（2002年，科学出版社）的主要成员和编著作者。2003年后在西安交通大学理学院负责“智能信息处理与计算实验室”的建设和运行，主持万亿次集群计算机建设项目。
在国内外重要学术期刊（含SCI、EI检索）或重要出版社（科学出版社等）发表论文或专著五十余篇、部。2006年—2009年，为国家自然科学基金重点项目“高复杂性数据挖掘的理论、算法及其在管理学中的应用”（70531030）的主要负责人之一。2002—2004年，任863项目“海量数据挖掘核心算法研究与应用软件平台” （2001AA113182）项目副组长。为国家七五重大科研项目“黄土高原地区自然资源综合考察利用”科技成果编委会委员暨03课题负责人，其成果获中科院一、二等奖。在甘肃省能源、农业、环境、人材及区域经济发展等发展战略规划研究中，多次获省部级二、三等奖。
欢迎广大师生踊跃参加！
