766,360
次編輯
變更
無編輯摘要
'''中国数学会数理逻辑专业委员会'''我国的数理逻辑,经过几代数理逻辑工作者们的不懈努力,取得长足进步,使我国的数理逻辑研究在国际数理逻辑 <ref>[https://www.sohu.com/a/390638992_136745 数理逻辑与数学基础及四大数学哲学流派] ,搜狐,2020-04-24 </ref> 大家庭中占有重要一席之地。如今在国际数理逻辑的多个前沿研究领域都活跃着中国数理逻辑工作者的身影。特别可喜的是我国年轻一代数理逻辑青年才俊迅速茁壮成长,正逐渐成为国际数理逻辑队伍中的核心人物。
==机构简介==
2017年1月,经中国数学会常务理事会批准,正式成立中国数学会数理逻辑专业委员会,张树果为中国数学会数理逻辑专业委员会首任主任。按照中国数学会的相关规定,全国数理逻辑大会改名为全国数理逻辑年会,并每年举办。
2020年全国数理逻辑年会原定在天津举办,后因新冠疫情 <ref>[http://news.sohu.com/a/536105872_121123872 【疫情防控】2022年新冠疫情防控知识手册来了!],搜狐,2022-04-07</ref> 影响,会议于2020年11月13日–15日改以网络形式进行,并在天津、北京等地设分会场。经中国数学会常务理事会批准,在会议期间进行中国数学会数理逻辑专业委员会换届工作。经网络会议形式投票选举,确定新一届专业委员会主任为丁龙云,副主任为喻良。
==专委会组成人员如下:==