引：【数学家大卫.希尔伯特，在1900-1928年间提出的希尔伯特第10问题：给出一种解决数学问题的算法步骤。或者说：任何一道数学题只要按照这种算法步骤去做就会得出正确答案。】
--------------------------------------------------------------------------------------------------
《投机经济学》看了一半，收获寥寥。
只记得其中有句话（哥德尔），说：【形式系统的完备性和相容性是不可兼得的。】（在任何包含初等数论的一致的形式系统中，存在一个命题，命题和它的否定均不是系统的定理。即在上述系统中，存在不可判定的命题。即一个包含数论的形式系统的一致性在系统内部是不可证明的。）
所以说，哥德尔彻底粉碎了希尔伯特的想法。
想到罗素的理发师悖论：
一个理发师的招牌上写着：
【告示：城里所有不自己刮脸的人都由我给他们刮脸，我也只给这些人刮脸。】
换成数学语言就是：
A命题：某人不给自己理发
否A命题：某人给自己理发
B命题：给某人理发
否B命题：不给某人理发
如果某人不是自己：A--->B和否A--->否B所得到的决策，不会发生逻辑错误。
但是，当“某人”恰是决策者自己时，则A--->B--->否A--->否B。
即可同时使A--->B和A--->否B同时成立：是给自己理发还是不给自己理发。
由于这两种可能性都是存在的，具体最后哪种可能性变成了实际选择，就是一个多逻辑不确定问题。
命题究竟是真还是伪，都没办法证明，因为无论真假都会引起矛盾。
这就是我们的生活，很多问题，没法说对，没法说错。
天才们已经证明了我们的生活就是这样无奈。
对于一些问题，如果你一定要问个对错的时候，你已经就错了。
今天起床后就在想，可不可以这样说……
否命题：我不喜欢你
逆命题：你喜欢我
逆否命题：你不喜欢我
按原命题和逆否命题真值相同的原则：
若【我喜欢你】为真，则【你不喜欢我】也为真；
若【我不喜欢你】为真，则【你喜欢我】也为真。
别问为什么是这样，事实就是这样……
对于一些问题，如果你一定要问个对错的时候，你已经就错了。
（T_T）
No comments:
Post a Comment