报告题目:谈“数学与善” ——简述《现代数学与计算机文化》
主 讲 人:陈绥阳 西安交通大学教授、 博士生导师
报告时间: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课题负责人,其成果获中科院一、二等奖。在甘肃省能源、农业、环境、人材及区域经济发展等发展战略规划研究中,多次获省部级二、三等奖。
欢迎广大师生踊跃参加!