分类: 南京大学软件学院研究生课程 | EagleBear2002 的博客

南京大学软件学院研究生课程分类

2024

10-26

数学中的三个危机：逻辑主义、直觉主义和形式主义

10-25

公理的祖先是逻辑或形式二者之一