Presentation is loading. Please wait.

Presentation is loading. Please wait.

京师数学大讲坛 第六讲 北京师范大学 数学科学学院 2017.5.19.

Similar presentations


Presentation on theme: "京师数学大讲坛 第六讲 北京师范大学 数学科学学院 2017.5.19."— Presentation transcript:

1 京师数学大讲坛 第六讲 北京师范大学 数学科学学院

2 新加坡数学科学所 新加坡科学院院士 数理逻辑·递归论学家
京师数学大讲坛·第六讲 数学的现实与真理 庄志达 教授 新加坡数学科学所 新加坡科学院院士 数理逻辑·递归论学家 下午 敬文讲堂

3 2017中国数理逻辑会议 北京师范大学

4 Irrationality exponents and Hausdorff dimension
2017 中国数理逻辑会议 Chinese Mathematical Logic Conference Irrationality exponents and Hausdorff dimension 时间: 上午 09:30-10:20 地点:京师大厦三层第六会议室 主讲:Theodore A. Slaman 教授 UC Berkeley, USA 数理逻辑·递归论学家

5 Beyond the age of independence by forcing?
2017 中国数理逻辑会议 Chinese Mathematical Logic Conference Beyond the age of independence by forcing? 时间: 上午 10:40-11:30 地点:京师大厦三层第六会议室 主讲:W. Hugh Woodin 教授 Harvard University, USA 美国艺术与科学院院士 数理逻辑·集合论学家

6 Formal design of embedded systems
2017 中国数理逻辑会议 Chinese Mathematical Logic Conference Formal design of embedded systems 时间: 下午 02:00-02:50 地点:京师大厦三层第六会议室 主讲:詹乃军 研究员 中国科学院大学 理论计算机科学专家

7 Keisler measures and combinatorics
2017 中国数理逻辑会议 Chinese Mathematical Logic Conference Keisler measures and combinatorics 时间: 上午 09:00-09:50 地点:京师大厦三层第六会议室 主讲:Anand Pillay 教授 University of Notre Dame, USA 数理逻辑·模型论学家


Download ppt "京师数学大讲坛 第六讲 北京师范大学 数学科学学院 2017.5.19."

Similar presentations


Ads by Google