反证法—数理逻辑

数学的真正意义不是应用、更不是解题，数学的真正意义是扩充数学、是把未知变成已知

已知的数学真理已失去了价值，为了探索未知，需要猜想；为了验证猜想，必须要学会的是如何证明对与错

如何证明对与错只是数理逻辑的一部分，从猜想一词已可以得出数学家的能力绝不会只有理性思维

能力源自于自我，资质源自于本我，本我受到致命的压制，而自我没有束缚，这可以用来解释为什么天才早夭

本我的能力再强也十分有限，自我的超凡之处在于善假于物、从根本上讲超凡就是因为脱离本我

而数学又正好是脱离现实的，所以数学能够促进自我的发展

这里的启示是：我的能力会在思考数学中得到提升，所以不必担心现在的我能力不够，需要担心的是你是否在正确的思考数学

以下列举几个问题证明，通过分析问题证明过程，以深化反证法思想

一.根号2是无理数的欧几里得证明