保罗·伯奈斯2014年讲座

Vladimir Voevodsky,美国普林斯顿大学高等研究院

弗拉基米尔•Voevodsky是正教授吗高等研究院在普林斯顿。他的主要兴趣是代数几何与代数拓扑的交叉,他与法比恩·莫雷尔一起介绍了方案的同伦理论。他最近参与了同伦类型理论(HoTT)项目,该项目在数学逻辑学和计算机科学中得到了广泛的讨论。在2002,他收到了菲尔兹奖他提出了现代的动机上同调,并证明了米尔诺猜想。

ETH新闻上的肖像数学的新基础

计划

录像

第1讲:数学基础——到概念的历史

2014年9月9日(星期二)下午5时

第二讲:谓词逻辑和类型理论——20世纪

2014年9月10日(星期三)下午2时15分

第三讲,单价基础

2014年9月10日星期三下午4时30分

海报保罗·伯奈斯2014年讲座
您的浏览器中已禁用JavaScript