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

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

>>阅读原文<<