题 目:反推数学简介---以拉姆塞定理为例
报告人:杨跃 教授 新加坡国立大学数学系
时 间:11月24日下午4:00
地 点:西区三教 3C124
摘 要:这是一个普及性的报告。拉姆塞理论是组合学中的一个分支,但很多逻辑学家都对它有兴趣,特别是从事反推数学研究的逻辑学家。在报告中我将以拉姆塞定理为例,介绍反推数学这一方向。如果时间允许,我会用用群论中的怀特海问题作为另外一个例子。
欢迎感兴趣的师生参加!
发布者:系统管理员发布时间:2015-11-23浏览次数:42
地址:安徽省合肥市金寨路 96 号
电话:+86-551-63600515
邮箱:sarahwan@ustc.edu.cn