保罗·伯奈斯2014年讲座
Vladimir Voevodsky,美国普林斯顿大学高等研究院
弗拉基米尔•Voevodsky是正教授吗高等研究院在普林斯顿。他的主要兴趣是代数几何与代数拓扑的交叉,他与法比恩·莫雷尔一起介绍了方案的同伦理论。他最近参与了同伦类型理论(HoTT)项目,该项目在数学逻辑学和计算机科学中得到了广泛的讨论。在2002,他收到了菲尔兹奖他提出了现代的动机上同调,并证明了米尔诺猜想。
ETH新闻上的肖像:数学的新基础
计划
第1讲:数学基础——到概念的历史
2014年9月9日(星期二)下午5时
第二讲:谓词逻辑和类型理论——20世纪
2014年9月10日(星期三)下午2时15分
第三讲,单价基础
2014年9月10日星期三下午4时30分