学术活动

Academic activities

学术活动

Topological translation of first-order logic

发布时间:2026-06-17

报告人 时间 17:00-18:00
地点 E14-215 2026
月日 06-23 重复类型
重复结束日期

Time: 17:00-18:00, Tuesday, June 23, 2026

Venue: E14-215, Yungu Campus


Speaker: Laurent Lafforgue, Lagrange Centre

Title: Topological translation of first-order logic

Abstract: In this talk, a translation from first-order logic to topos theory to Grothendieck topologies, already mentioned in my talk on June 16, will be further described and applied.



TOP