2024.10.21—10.27
学术活动
一览
2024.10.21
主讲人 范瑞平（香港城市大学）
时间 2024.10.21 14:00
方式 线下
地点 李兆基人文学苑3号楼109
2024.10.22
系列 逻辑前沿问题讨论班
主讲人 Mikołaj Bojańczyk（华沙大学）
时间 2024.10.22 15:10
方式 线下
地点 地学楼206
简介
I will describe a notion of finiteness, which is called orbit-finiteness. This notion makes sense in the presence of atoms (also known as ur-elements). The idea is that a set is orbit-finite if it has finitely many elements, up to permutations of atoms. For example, the set of all atoms is orbit-finite, because it has only one element up to permutations of atoms. Another example is the set of pairs of atoms, which as two kinds of elements: non-equal pairs, and equal pairs. In this talk, I will describe the theory of orbit-finite sets, with an emphasis on decidability and algorithms.
2024.10.22
系列 博古睿讲座系列
主讲人 范瑞平（香港城市大学）
时间 2024.10.22 18：00
方式 线下
地点 万圣书园·优盛阅读空间
（北京市海淀区成府路28号五道口购物中心四层）
生命伦理学关涉生老病死问题，与我们每个人的生活息息相关。不同的文化背景催生出迥异的生命伦理学，如当代西方自由主义生命伦理学与儒家生命伦理学。西方自由主义生命伦理学以原则为出发点，强调个人本位，是当今主流的医学伦理指导思想。范瑞平老师的新作《当代医疗与儒家思想》，则论述儒家生命伦理学以礼仪为出发点，强调家庭本位，是根基于我们自身伦理传统的理论。
2024.10.25
系列 2024年全国数理逻辑年会公众报告
主讲人 高速（南开大学）
时间 2024.10.25 15：00
方式 线下
地点 北京大学数学科学学院 智华楼 丁石孙教室
在众多数学分支中，数学对象的分类问题往往具有核心的地位。直观上，有些分类问题比较简单，有些则非常复杂。在这个报告中我们通过一些实例来介绍一个可以严格探讨数学中分类问题的相对复杂性的数学理论，即等价关系的描述集合论。我们将展示如何将这一理论应用到数学分类问题的研究中去。
2024.10.25
系列 风华系列讲座2024秋季
主讲人 滕璐（澳大利亚国立大学）
时间 2024.10.25 19：00—21：00
方式 线下
地点 新太阳学生中心210室
2024.10.26
时间 2024.10.26 9:00—17:30
方式 线下
地点 李兆基人文学苑3号楼109
2024.10.25—27
时间 2024.10.25—27
方式 线下&“北京大学哲学系”视频号直播
地点 勺园7号楼
会议主页：https://voidprove.github.io/cacml2024/
供稿 | 各教研室
排版 | 刘枫林
审核 | 王彦晶
发布 | 刘枫林
