图 书 馆
什么是显式双射？What is an explicit bijection? |
|
| 课程网址: | http://videolectures.net/FPSAC2019_bauer_explicit_bijection/ |
| 主讲教师: | Andrej Bauer |
| 开课单位: | 卢布尔雅那大学 |
| 开课时间: | 2019-07-22 |
| 课程语种: | 英语 |
| 中文简介: |  同伦类型论是数学的基础，它扩展和完善了建立在一阶逻辑和集合论的经典基础。它正确和正式地解释了非正式数学的各个方面，否则这些方面很难形式化，例如可以识别等效结构的想法。它还能够表达具体和抽象存在论据之间的区别。因此，它为以下问题提供了一个答案，无论它可能多么有用：什么是显式双射？ |
| 课程简介: | Homotopy type theory is a foundation of mathematics that both expands and refines the classical foundations built on first-order logic and set theory. It accounts properly and formally for various aspects of informal mathematics that are otherwise difficult to formalize, for instance the idea that equivalent structures may be identified. It is also able to express the distinction between concrete and abstract existence arguments. It thus offers an answer, however useful it might be, to the question: what precisely is an explicit bijection? |
| 关 键 词: | 同伦类型论; 一阶逻辑; 集合论 |
| 课程来源: | 视频讲座网 |
| 数据采集: | 2021-06-04：yumf |
| 最后编审: | 2021-06-04：yumf |
| 阅读次数: | 40 |