京师数学大讲坛 第六讲 北京师范大学 数学科学学院 2017.5.19 京师数学大讲坛 第六讲 北京师范大学 数学科学学院 2017.5.19
京师数学大讲坛·第六讲 题目:数学的现实与真理 报告人:庄志达 教授 新加坡数学科学所 新加坡科学院院士 数理逻辑·递归论学家 新加坡数学科学所 新加坡科学院院士 数理逻辑·递归论学家 2017.5.19 下午 04:00-05:00 @ 敬文讲堂
2017中国数理逻辑会议 北京师范大学 2017.5.20-5.21
2017 Chinese mathematical logic conference 2017中国数理逻辑会议(2017. 5. 20-5 题目:Irrationality Exponents and Effective Hausdorff Dimension 时间:2017.5.20 上午 09:30-10:20 地点:京师大厦第三层第六会议室 报告人:Theodore A. Slaman 教授 UC Berkeley, USA 数理逻辑·递归论学家
2017 Chinese mathematical logic conference 2017中国数理逻辑会议(2017. 5. 20-5 题目:Beyond the age of independence by forcing? 时间:2017.5.20 上午 10:30-11:20 地点:京师大厦第三层第六会议室 报告人:W. Hugh Woodin 教授 Harvard University, USA 美国艺术与科学院院士 数理逻辑·集合论学家
2017 Chinese mathematical logic conference 2017中国数理逻辑会议(2017. 5. 20-5 题目:Formal Design of Embedded Systems 时间:2017.5.20 下午 02:00-02:50 地点:京师大厦第三层第六会议室 报告人:詹乃军 研究员 中国科学院大学 杰青基金获得者 理论计算机科学专家
2017 Chinese mathematical logic conference 2017中国数理逻辑会议(2017. 5. 20-5 题目:Keisler Measures and Combinatorics 时间:2017.5.21 上午 09:00-09:50 地点:京师大厦第三层第六会议室 报告人:Anand Pillay 教授 University of Notre Dame, USA 数理逻辑·模型论学家