|
11月11日金小刚学术讲座预告
作者：admin
发布日期：2013-11-11
浏览次数：
讲座时间： 讲座地点：健B 2楼报告厅 主 讲 人：金小刚 讲座题目：计算能走多远？ 主讲人介绍： 金小刚，男，1988年毕业于扬州大学数学系，1996年毕业于浙江大学数学系基础数学专业，获得理学博士学位。毕业至今为浙江大学计算机科学与技术学院人工智能研究所讲师、副教授，2001年至2002年在韩国Sejong大学 主讲本科生、研究生课程《离散数学》和《计算理论》，受到广大学生的喜爱，担任课程的所有教学评价均为优秀，其中《离散数学》被评为浙江大学精品课程、计算机学院精研课程、竺可桢学院核心课程，《计算理论》为浙江大学研究生示范课程。2006年度被评为浙江大学竺可桢学院最佳任课教师，获得第四届浙江大学青年教师教学技能大赛二等奖和浙江省第四届青年教师教学技能大赛优秀奖。曾在多所高校开设讲座，如浙江大学、中国科技大学、西南交通大学、江苏大学等。 先后主持国家自然科学基金3项、浙江省自然科学基金重点项目与面上项目各一项、教育部回国留学人员启动基金、省浙江回国留学人员启动基金各1项和横向项目多项，近3年科研经费约400余万元。以第一作者或通信作者在国内外学术刊物PLoS ONE、Journal of Theoretical Biology、Physica A、International J. of Modern Physics
B、Chaos、Journal of System
Science and Complexity、Environmental Modelling &
Software、Lecture Notes in Computer Science、系统科学与数学、浙江大学学报（英文版）等上发表论文四十余篇，其中SCI检索15篇和EI检索10篇，他引100余次，拥有软件著作权1项。担任教育部留学回国人员科研启动基金评审专家，2010 International Conference on Intelligent Systems and Knowledge
Engineering（ISKE2010）组委会主席，2011/2012/2013
International Conference on Intelligent Systems and Knowledge Engineering程序委员，曾经受邀为国际学术ISCST2009，ISCST2011做邀请报告，CCF YOCSEF“社会计算环境下的电子商务”的特邀讲者。目前的研究主要涉及复杂网络与网络动力学、社会计算、机器学习、演化博弈、计算生态学等。 讲座内容简介： 讲座试图从计算机科学中是否可以实现人工智能问题展开讨论，引出对于“计算”以及Gödel不完备定理的思考，结合计算机科学中两个取得成功的领域计算机视觉、计算机下棋的研究进展，引导大家对于科学、教育、计算机专业的学习进行思考。 面向对象：计算机及相关专业的学生、教师、科技工作者等。 特点：科学与人文结合、将科学理论通俗地呈现给大家，引发思考。 讲座目录： 一、人类计算的发展 回顾计算的发展历史，溯源科学发展史上的计算思想：从笛卡尔的解析几何、到数理逻辑（Leibniz、Boole等）的诞生、从Laplace到Hilbert，无处不体现出计算思想的存在，特别是现在计算机的诞生，给人类带来了美好的计算主义的憧憬。 二、大自然是可计算的吗？ 然而，当现在计算面对生命系统、经济系统、天气预报、人的智能与意识时，我们还能计算吗？我们将结合人工智能实现的两个极端观点（以Roger Penrose为代表的对于强人工智能的极端否定；以Warwick为代表的对人工智能实现的充满着乐观）、反思大自然、意识等问题背后的复杂性以及使用计算工具的局限性。 三、科学极限的理论探索：（哥德尔不完备定理、Church-Turing论题） 由以上问题引出对于计算机实现计算可能性的讨论，指出人类借助于计算工具，解决问题的能力局限性。 l1931库尔特·哥德尔提出他的不完备定理，该定理表明没有一个演绎推理系统能够解决所有有关数的问题。 l艾伦.M.图灵便证明了一个关于计算机程序的等价断定，该断定指出不存在确定某一给定程序在处理一组数据时是否会停止的系统方法。 四、计算机视觉和计算机下棋背后的计算 从人工智能取得成功的两个领域计算机下棋、计算机是觉得背后的真正的计算过程与人能智能行为的比较，说明计算机的计算与人类智能的差别，引导学学生正视计算机解决问题的局限性，思考未来可能的计算模式。 五、对于计算机科学学习的思考 |
