2024.10.14—10.20
学术活动
一览
2024.10.15
系列 逻辑前沿问题讨论班
主讲人 Bruno Bentzen（浙江大学）
时间 2024.10.15 15:10
方式 线下
地点 地学楼206
简介
Constructions are the primary objects of study in constructive mathematics, but little is known about them against the background of Bishop’s influential brand of constructivism. My aim in this talk is to develop Bishop’s view of constructibility as effective calculability. I argue that a development of his reflections on computation, open-endedness and generality results in a form of “construction structuralism”, the view that constructions are completely determined by the effective rules that relate them to one another in a system of rules proposed by the constructing intelligence. I examine the resulting no nonstructural property and ontological dependency theses of this structuralism and some of its implications.
2024.10.18
系列 马哲论坛
主讲人 Christian Neuhäuser（多特蒙德工业大学）
时间 2024.10.18 14:30
方式 线下
地点 李兆基人文学苑2号楼B114
2024.10.19—20
时间 2024.10.19—20
方式 线下
地点 中国佛学院凤凰岭校区继续教育中心
2024.10.19—10.20
时间 2024.10.19—10.20
方式 线下
地点 北京大学新太阳中心
供稿 | 各教研室
排版 | 刘枫林
审核 | 王彦晶
发布 | 刘枫林
