本網訊（通訊員申國桢）2021年4月9日—10日，由beat365体育官网主辦的第14屆德爾塔邏輯學工作坊(Delta_14 Logic Workshop)在振華樓B214報告廳順利召開。來自中國科學院、北京大學、南京大學、複旦大學、浙江大學、四川大學等高校的30餘位老師和同學參加了此次工作坊，就相關課題進行了熱烈的讨論。工作坊邀請到北京大學的王彥晶副教授、西南大學的彭偉光博士、加州大學歐文分校的陳澤晟、複旦大學的包佳齊、浙江大學的Zachiri McKenzie博士、Center for Safe AGI的朱小虎來做邏輯學、哲學、數學、計算機科學等學科交叉相關的前沿報告。

北京大學的王彥晶副教授為大家帶來了題為Knowing how to understand intuitionistic logic的報告。在報告中，他介紹了近期關于直覺主義邏輯所做的工作。通過把直覺主義邏輯解釋為一種關于“knowing how”的動态認知邏輯，使直覺主義邏輯變得更加“直觀”。報告涉及Brouwer、Heyting、Goedel、Kolmogorov、Kripke等人早年的工作，還提供了一種把一類非古典邏輯解釋為認知邏輯的一般方法。

西南大學的彭偉光博士為大家帶來了題為Some logical investigations on game theory的報告。在報告中，他介紹了反推數學中與博弈論有關的一系列數學命題的證明論強度，并重點介紹了在計算複雜性理論中十分重要的最優深度算法和博弈樹上的分配複雜性。

加州大學歐文分校的陳澤晟為大家帶來了題為Is L a formalism-free characterization of definability的線上報告。在報告中，他介紹了Kennedy、Magidor、Vaeaenaenen關于哥德爾可構造宇宙L的收斂定理，以及Kennedy借此提出的“可定義性上的丘奇圖靈論題”。他指出Kennedy的論證依賴于一個錯誤的類比，因為該類比的正确性将導緻“L是否是免于形式的”這一問題變得平凡。

複旦大學的包佳齊為大家帶來了題為“p-進特殊線性群上可定義拓撲動力”的報告。在報告中，他介紹了Newelski關于Ellis群的一個猜想，以及該猜想的幾個反例。通過将特殊線性群的Ellis群的計算方法推廣到一般SL(n,M)的情況（其中M是一個p-進閉域），他給出了Newelski猜想的一系列反例。

浙江大學的Zachiri McKenzie博士為大家帶來了題為Topless powerset preserving end-extensions and rank-extensions of countable models of set theory的報告。在報告中，他介紹了和Ali Enayat正在合作的一項工作。通過仔細考察ZFC公理集合論的各種子系統，他證明了關于這些子系統可數模型的無頂幂保持尾節擴張和秩擴張的一系列結論。

Center for Safe AGI的朱小虎為大家帶來了題為“面向邏輯學家的人工智能安全具體問題淺析”的報告。在報告中，他介紹了人工智能技術，并強調關注人工智能技術安全問題的必要性，同時給出了幾個具體的需要深入研究的關鍵問題供大家思考和探索。

現場展開了熱烈的讨論，大家都認為本次工作坊為不同學科領域中的邏輯學工作者提供了良好的學習與交流的機會。

（編輯：鄧莉萍     審稿：嚴璨）