Distinguished Lecture——Topological translation of first-order logic
报告人：Laurent Lafforgue (华为拉格朗日数学与计算研究中心)
时间：2026-06-26 14:00-15:00
地点：智华楼四元厅
报告摘要: The theory of Grothendieck toposes allows in particular to constructively translate any first-order theorem or proof into a statement or a process of generation of topologies on categories which, furthermore, can always be chosen to belong to a certain class which is perfectly fit for computations.
This provides the theoretical framework for elaborating new systems of Automatic Theorem Proving.
The purpose of the talk will be to present this framework.
报告人介绍：Laurent Lafforgue is a mathematician. He worked mainly in algebraic geometry and harmonic analysis. He was awarded the Fields Medal in 2002 for his contribution to the “Langlands program”, which relates Galois Theory and Automorphic Representations Theory by applying Grothendieck’s general theories to the study of special moduli algebraic spaces discovered by Drinfeld. In the last decade, his main interest gradually shifted to Grothendieck Topos Theory. He moved to Huawei in 2021. At the Lagrange Center in Paris, which was created by Huawei but works as an academic institution, he collaborates with scientists from academia on the one hand and Huawei researchers on the other hand, especially Dr Aurélien Sagnier. He works on the development of Topos Theory, more particularly of Olivia Caramello’s Theory of “Toposes as Bridges”, and the elaboration of new forms of AI based on it.
