数学倒底有没有绝对的严格性和形式化？

我对数学的理解只停留在大学里的高等代数和微积分，而且毕业后的这 8 年也已经遗忘得差不多了。最近在研究算法，又不得不拾遗和学习一些数学知识。今天这篇文章，希望和大家讨论一个问题：数学到底是否具有绝对的严格性和形式化？恕我愚钝，这个问题让我有点懵了。 之前我只是想了解一下图灵机，结果在查资料的时候偶然知道了数学的三次危机，发些这些数学历史还满有趣的，对理解图灵机也有帮助，然后就把它写到文章《算法02

>>阅读原文<<