图 书 馆
形式化数学的曙光The dawn of formalized mathematics |
|
| 课程网址: | http://videolectures.net/8ecm2021_bauer_dawn_formalized/ |
| 主讲教师: | Andrej Bauer |
| 开课单位: | 卢布尔雅那大学 |
| 开课时间: | 2021-07-06 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | When I was a student of mathematics I was told that someone had formalized an entire book on analysis just to put to rest the question whether mathematics could be completely formalized, so that mathematicians could proceed with business as usual. I subsequently learned that the book was Landau’s “Grundlagen” [6], the someone was L. S. van Benthem Jutting [11], the tool of choice was Automath [12], and that popular accounts of history are rarely correct. |
| 关 键 词: | 形式数学; 数学分析; 数学解析 |
| 课程来源: | 视频讲座网 |
| 数据采集: | 2022-03-24：hqh |
| 最后编审: | 2022-03-25：liyy |
| 阅读次数: | 27 |