1. 首頁 > 云知道 > >

zhouwenfan,形式化驗證

云知道驗證

【zhouwenfan,形式化驗證】
有沒有可能一個數學證明是錯的，然而所有人都沒注意到呢？

zhouwenfan,形式化驗證


首先，恭喜你，你已經在潛意識里有了科學精神 。科學精神的一個重點，就是質疑 。很明顯，你質疑得非常有理，合理，你所說的可能性是完全存在的 。其次，我要說，你的科學精神還未完全成熟，當你慢慢長大，真正明白了科學精神的時候，你會保有科學的質疑，卻會消除這種擔心錯誤的焦慮 。質疑并不會讓你難過，難過的，是焦慮 。我推薦你去看一本書，霍金的《果殼里的宇宙》，霍金在這本書快結束的時候，提出了與你一樣的問題 。
對的，你的問題千千萬萬的科學家也在懷疑自己，而專業領域的科學家懷疑得其實比你更為嚴重，因為他們懷疑的不是別人，他們懷疑的就是自己，他們懷疑的就是自己尊敬的老師，如果我們一開始就是錯誤的，那么我的研究不都是錯的了？因為基礎是錯的，基于基礎一切推論也就是錯誤的 。但是，他們仍在努力研究，努力探索，并沒有止步不前 。
第三，科學精神接納自己的錯誤，科學并非完美，科學是會犯錯誤的，不僅僅是數學，所有的學科都會犯錯誤，甚至一代又一代的科學堅信錯誤為真理，但是，因為科學精神的存在，錯誤隱藏的再好，總有一天會被發現，會被糾正 。為什么？因為科學方法能保證再狡猾的錯誤也會被發現 。這個科學方法就是，實證法 。放在數學上，無論你的數學方法如何，都要實證，今天得到證明，那你就是對的，明天得到證明，你繼續對，十年后還是得到證明，你對十年，十年零一天發現錯了，你就被證偽 。
證偽了，推倒重來，你花了十年？人家地心說可是證明了一千年的！錯了就是錯了，一切推倒重來，重新思考 。實踐是檢驗真理的唯一標準！錯誤不可怕，可怕的，是掩蓋錯誤 。所以，努力吧少年，為你今天問出的好問題喝彩！努力吧，不要擔心你學到錯誤的知識，不要為了尋找正確而止步不前 。因為這是人生的必經之路，是人類發展的必經之路 。

    推薦閱讀