数学的形式化相关硕士博士期刊学术论文

数学的"形式化"与"本质"的争论由来已久,至今不绝.综合多个视角考察可知,数学的本质是经验性与演绎性在实践基础上的辨证统一.如果......