12月11日学术报告:从计算机科学与数学研究角度看中介系统的发展

学术报告

　 报告题目：从计算机科学与数学研究角度看中介系统的发展
       
       报 告人：朱梧槚 教授 南京航空航天大学 信息科学与技术学院

日期时间：2009年12月11日(星期五) 下午15:00

地    点：教学主楼一楼会议室

主办单位：计算机学院、研究生部

附： 朱梧槚教授简介
             朱梧槚教授是我国著名的数学家、逻辑学家。朱梧槚教授1955年毕业于吉林大学数学系，现任南京航空航天大学计算机科学研究所所长，并应聘担任汕头大学、大连理工大学、西南交通大学、南京大学和中科院等相关系、所的兼职教授、客座研究员或学术委员。他曾担任中国计算机学会多值逻辑学会主任委员。主要荣誉称号有：中国航空航天系统劳动模范、有突出贡献专家，全国优秀教师等。
           朱梧槚教授的主要学术成就如下：
         （1） 给出了西方数理哲学界流传一时的“抛球悖论”的一种解释方法。
         （2）朱梧槚教授和肖奚安教授共同提出中介原则，并以自创的中介逻辑演算系统(medium logic system，ML ) 作为推理工具，建立了以中介公理集合论(medium axiomatic set，MS)为主要内容的中介数学系统，在纯粹数学基础理论意义下，实现了数学研究对象由精确性量性对象到模糊性量性对象的再扩充，拓宽了经典数学的逻辑基础和集合论基础。
         （3） 经过50多年对无穷问题的思考和研究，朱梧槚教授于2008年以16篇系列论文形式在国际上公开报道（全被SCI收录）其研究成果，近期引起学术界的高度关注。著名计算机科学家徐家福先生在《江苏省计算机科学技术五十年》一文中指出： “无穷这一概念是数学的基础，也是计算机科学的基础。长期以来，南京航空航天大学研究了两种不同的无穷观，即潜无穷与实无穷，建立了潜无穷数学系统，这是一种以修正了的二值逻辑演算为推理工具的潜无穷弹性集合的公理集合论。与直觉主义数学和近代公理集合论相比，它既保持能行性与潜无限的完全一致性，又未舍弃任何合理内容，从而能为计算机科学提供更为合理的理论基础。”