數學倒底有沒有絕對的嚴格性和形式化？

我對數學的理解只停留在大學裏的高等代數和微積分，而且畢業後的這 8 年也已經遺忘得差不多了。最近在研究算法，又不得不拾遺和學習一些數學知識。今天這篇文章，希望和大家討論一個問題：數學到底是否具有絕對的嚴格性和形式化？恕我愚鈍，這個問題讓我有點懵了。 之前我只是想了解一下圖靈機，結果在查資料的時候偶然知道了數學的三次危機，發些這些數學歷史還滿有趣的，對理解圖靈機也有幫助，然後就把它寫到文章《算法02

>>阅读原文<<