优秀作业 | 器利方工善 ——数学语言无矛盾性与其对认识世界与未来的意义小探

本文是2022年春季学期北京大学通识核心课程“古今数学思想”的优秀作业，作者为北京大学信息科学技术学院的本科生钟作奇。本文作者借助丰富的历史实例，展现了数学语言无矛盾性的认知意义。作者认为，构筑在公理系统之上的数学是一门演绎的科学，能帮助我们超越时间的局限，在一定意义上摆脱“必然”的约束，深入认识世界的结构。Vol.1458器利方工善——数学语言无矛盾性与其对认识世界与未来的意义小探钟作奇北京大学信息科学技术学院 本科生摘要：数学这一门建立在公理体系上的逻辑学科通过演绎构筑其内容，使得统一公理框架下进行的推导得出的结论无矛盾。这种特性极大程度提升了人类认识世界、预测未来的种种能力。本文中，首先将探讨数学语言的无矛盾性与其来源，接着会对利用数学认识世界、预测未来的可能性进行说明 ………………………………