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

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

>>阅读原文<<