zhouwenfan,形式化验证

【zhouwenfan,形式化验证】
有没有可能一个数学证明是错的,然而所有人都没注意到呢?

zhouwenfan,形式化验证


首先,恭喜你,你已经在潜意识里有了科学精神 。科学精神的一个重点,就是质疑 。很明显,你质疑得非常有理,合理,你所说的可能性是完全存在的 。其次,我要说,你的科学精神还未完全成熟,当你慢慢长大,真正明白了科学精神的时候,你会保有科学的质疑,却会消除这种担心错误的焦虑 。质疑并不会让你难过,难过的,是焦虑 。我推荐你去看一本书,霍金的《果壳里的宇宙》,霍金在这本书快结束的时候,提出了与你一样的问题 。
对的,你的问题千千万万的科学家也在怀疑自己,而专业领域的科学家怀疑得其实比你更为严重,因为他们怀疑的不是别人,他们怀疑的就是自己,他们怀疑的就是自己尊敬的老师,如果我们一开始就是错误的,那么我的研究不都是错的了?因为基础是错的,基于基础一切推论也就是错误的 。但是,他们仍在努力研究,努力探索,并没有止步不前 。
第三,科学精神接纳自己的错误,科学并非完美,科学是会犯错误的,不仅仅是数学,所有的学科都会犯错误,甚至一代又一代的科学坚信错误为真理,但是,因为科学精神的存在,错误隐藏的再好,总有一天会被发现,会被纠正 。为什么?因为科学方法能保证再狡猾的错误也会被发现 。这个科学方法就是,实证法 。放在数学上,无论你的数学方法如何,都要实证,今天得到证明,那你就是对的,明天得到证明,你继续对,十年后还是得到证明,你对十年,十年零一天发现错了,你就被证伪 。
证伪了,推倒重来,你花了十年?人家地心说可是证明了一千年的!错了就是错了,一切推倒重来,重新思考 。实践是检验真理的唯一标准!错误不可怕,可怕的,是掩盖错误 。所以,努力吧少年,为你今天问出的好问题喝彩!努力吧,不要担心你学到错误的知识,不要为了寻找正确而止步不前 。因为这是人生的必经之路,是人类发展的必经之路 。

    推荐阅读