Time: 2024/06/04 15:10-18:00

Location: Room 313, Teaching Building No.2 (第二教学楼), Peking University

Speaker 1: Xubing Deng

Title: Incompleteness via paradox II

Abstract: 本次报告，我将完全从技术的角度，以尽量清晰、直观的方式呈现一种统一将悖论转化为不可判定命题的方法。之后，我会运用这种方法转化一个具体的悖论例子。最后，如果时间允许，我会简短地评价这种统一方法，并展望此种方法的后续发展方向。

Speaker 2: Linzhen Gong

Title: 非标准分析视角下的数学结构

Abstract: 在一般的数学理论中，“无穷大”、“无穷小”等都被当作逼近过程而非实际的数学对象；但在非标准分析中，我们可以合理地将它们当成“数”来对待。本次报告将首先介绍非标准分析的公理和基本概念；在此基础上，我们将考察非标准元素的存在会给各种数学结构（代数、几何、拓扑等）带来哪些有趣的结论。