中國數學會數理邏輯專業委員會檢視原始碼討論檢視歷史

來自 搜狐網 的圖片

中國數學會數理邏輯專業委員會我國的數理邏輯，經過幾代數理邏輯工作者們的不懈努力，取得長足進步，使我國的數理邏輯研究在國際數理邏輯大家庭中占有重要一席之地。如今在國際數理邏輯的多個前沿研究領域都活躍着中國數理邏輯工作者的身影。特別可喜的是我國年輕一代數理邏輯青年才俊迅速茁壯成長，正逐漸成為國際數理邏輯隊伍中的核心人物。

機構簡介

數理邏輯專業委員會成立於1987年，中國科學院軟件研究所楊東屏研究員任理事長。之後，黃且圓、丁德成、馮琦分別繼任理事長。各屆理事分別由中國科學院和各大高校的着名數理邏輯學家擔任。數理邏輯專業委員會1989年舉辦第一屆全國數理邏輯大會，之後每3年舉辦一屆。從2014年起每兩年舉辦一屆全國數理邏輯大會，並且近些年來每年都舉辦數理邏輯專題學術會議，有力地促進了我國數理邏輯的發展。

學術研討會

2016年5月21-22號在復旦大學召開了全國數理邏輯學術研討會。會議期間討論了專業委員會章程並經投票選舉出了丁龍雲，郝兆寬，喻良，張樹果，趙希順等新一屆數理邏輯專業委員會常務委員，之後經常務委員會討論確定了新一屆數理邏輯專業委員會的委員名單。在這次大會上參會代表們一致表示應申請設立中國數學會領導之下的「中國數學會數理邏輯專業委員會」。以便在中國數學會的領導下通過我國廣大數理邏輯同仁們的共同努力使我國數理邏輯的整體水平得到更好的發展。新一屆數理邏輯專業委員會常務委員會在此次大會後按中國數學會分支機構的申請要求進行了積極籌備與申請。

2017年1月，經中國數學會常務理事會批准，正式成立中國數學會數理邏輯專業委員會，張樹果為中國數學會數理邏輯專業委員會首任主任。按照中國數學會的相關規定，全國數理邏輯大會改名為全國數理邏輯年會，並每年舉辦。

2020年全國數理邏輯年會原定在天津舉辦，後因新冠疫情影響，會議於2020年11月13日–15日改以網絡形式進行，並在天津、北京等地設分會場。經中國數學會常務理事會批准，在會議期間進行中國數學會數理邏輯專業委員會換屆工作。經網絡會議形式投票選舉，確定新一屆專業委員會主任為丁龍雲，副主任為喻良。

專委會組成人員如下

主任: 丁龍雲（南開大學）

副主任：喻良（南京大學）

委員：（按漢語拼音字母為序）：別榮芳（北京師範大學），陳翌佳（復旦大學），傅育熙（上海交通大學），郝兆寬（復旦大學），盧殿臣（江蘇大學），施翔暉（北京師範大學），王彥晶（北京大學），吳劉臻（中國科學院數學與系統科學研究院），許道雲（貴州大學），張樹果（四川大學），趙希順（中山大學）