中国数学会数理逻辑专业委员会
首页 简介 专业委员会 会议
简介 更多>>
我国的数理逻辑,经过几代数理逻辑工作者们的不懈努力,取得长足进步,使我国的数理逻辑研究在国际数理逻辑大家庭中占有重要一席之地。如今在国际数理逻辑的多个前沿研究领域都活跃着中国数理逻辑工作者的身影。特别可喜的是我国年轻一代数理逻辑青年才俊迅速茁壮成长,正逐渐成为国际数理逻辑队伍中的核心人物。
数理逻辑专业委员会成立于1987年, 中国科学院软件研究所杨东屏研究员任理事长。之后,黄且圆、丁德成、冯琦分别继任理事长。各届理事分别由中国科学院和各大高校的著名数理逻辑学家担任。数理逻辑专业委员会1989年举办第一届全国数理逻辑大会,之后每3年举办一届。从2014年起每两年举办...
简介
数理逻辑专业委员会简介

我国的数理逻辑,经过几代数理逻辑工作者们的不懈努力,取得长足进步,使我国的数理逻辑研究在国际数理逻辑大家庭中占有重要一席之地。如今在国际数理逻辑的多个前沿研究领域都活跃着中国数理逻辑工作者的身影。特别可喜的是我国年轻一代数理逻辑青年才俊迅速茁壮成长,正逐渐成为国际数理逻辑队伍中的核心人物。

数理逻辑专业委员会成立于1987年, 中国科学院软件研究所杨东屏研究员任理事长。之后,黄且圆、丁德成、冯琦分别继任理事长。各届理事分别由中国科学院和各大高校的著名数理逻辑学家担任。数理逻辑专业委员会1989年举办第一届全国数理逻辑大会,之后每3年举办一届。从2014年起每两年举办一届全国数理逻辑大会,并且近些年来每年都举办数理逻辑专题学术会议,有力地促进了我国数理逻辑的发展。

2016年5月21-22号在复旦大学召开了全国数理逻辑学术研讨会,共有来自国内外的近40名数理逻辑工作者参加,他们分别报告交流了数理逻辑最新研究成果,包括数理逻辑与数学、哲学和计算机科学等相关学科的交叉研究。同时,会议还讨论了专业委员会章程并经投票选举出了丁龙云,郝兆宽,喻良,张树果,赵希顺等新一届数理逻辑专业委员会常务委员,之后经常务委员会讨论确定了新一届数理逻辑专业委员会的委员名单。在这次大会上参会代表们一致表示应申请设立中国数学会领导之下的“中国数学会数理逻辑专业委员会”。以便在中国数学会的领导下通过我国广大数理逻辑同仁们的共同努力使我国数理逻辑的整体水平得到更好的发展。新一届数理逻辑专业委员会常务委员会在此次大会后按中国数学会分支机构的申请要求进行了积极筹备与申请。

2017年1月,经中国数学会常务理事会批准,正式成立中国数学会数理逻辑专业委员会。

专委会组成人员如下:

主任: 张树果(四川大学)

副主任: 丁龙云(南开大学)

委员:(按汉语拼音字母为序):别荣芳(北京师范大学),陈翌佳(复旦大学),傅育熙(上海交通大学), 郝兆宽 (复旦大学), 卢殿臣 (江苏大学), 施翔晖 (北京师范大学), 王彦晶 (北京大学), 吴刘臻 (中国科学院数学与系统科学研究院), 许道云 (贵州大学),喻良 (南京大学), 赵希顺 (中山大学)

专业委员会
主任: 张树果(四川大学)
副主任: 丁龙云(南开大学)
委员:
(按汉语拼音字母为序)
别荣芳(北京师范大学)
陈翌佳(复旦大学)
傅育熙(上海交通大学)
郝兆宽 (复旦大学)
卢殿臣 (江苏大学)
施翔晖 (北京师范大学)
王彦晶 (北京大学)
吴刘臻 (中国科学院数学与系统科学研究院)
许道云 (贵州大学)
喻良 (南京大学)
赵希顺 (中山大学)