读《符号逻辑讲义》
jiangfei
2016-03-30
在学习算法的时候了解到有些问题用算法是不可解的,并且是已经被证明了的。这就说明了计算机的能力是有限的。那么我们程序员就可以只专注于那些计算机可以解决的问题上,研究它们的复杂度,找出高效的算法来。如果能提前看出一个问题用计算机是不可解的,那么就不用在上面白费力气了,这就节省了多少人的时间啊!
不只“计算机解决不了一些问题”是被证明了的,“人工通过数学方法在纸上计算也解决不了一些问题”也是被证明了的。当我发现了这个几十年前已经被人们证实的事情时感觉到非常的吃惊,然而它确确实实已经是被证实了的结论:有些问题就是不可解的!这说明了什么呢?这说明了有些人穷毕生之精力在研究的课题可能是找不到结果的,可能是被证明不可解的,那么这些人就是在白白浪费人生了。
针对问题的可解性,我通过阅读,逐渐的认识到一些关于数学基础的问题。以前认为数学上无可争辩的不言自明的东西,甚至都没怎么思考过的问题,其实是很有一些问题的。随着了解的越多,越感觉到数学的基础不只是不完美,甚至有很多让人纠结的地方。我目前的感受就是,当今的数学还是建立在一些经验之上,它对世界规律的探索还是来自于少量的经验。即使它能在几百亿、几千亿、几万亿的事情上准确预测一些事情,也不能说明数学定理就是真理。
数学是人们探索自然规律的工具,而逻辑是数学的工具。数学的计算和推理都是逻辑。数理逻辑就是当代逻辑,是逻辑学当前的最新进展,是人们探索自然规律做的形而上的思考的最前沿的研究。数理两个字只是描述了当代逻辑借助了符号来表达,因为这种符号比自然语言更精准。
jiangfei
2016-03-30
在学习算法的时候了解到有些问题用算法是不可解的,并且是已经被证明了的。这就说明了计算机的能力是有限的。那么我们程序员就可以只专注于那些计算机可以解决的问题上,研究它们的复杂度,找出高效的算法来。如果能提前看出一个问题用计算机是不可解的,那么就不用在上面白费力气了,这就节省了多少人的时间啊!
不只“计算机解决不了一些问题”是被证明了的,“人工通过数学方法在纸上计算也解决不了一些问题”也是被证明了的。当我发现了这个几十年前已经被人们证实的事情时感觉到非常的吃惊,然而它确确实实已经是被证实了的结论:有些问题就是不可解的!这说明了什么呢?这说明了有些人穷毕生之精力在研究的课题可能是找不到结果的,可能是被证明不可解的,那么这些人就是在白白浪费人生了。
针对问题的可解性,我通过阅读,逐渐的认识到一些关于数学基础的问题。以前认为数学上无可争辩的不言自明的东西,甚至都没怎么思考过的问题,其实是很有一些问题的。随着了解的越多,越感觉到数学的基础不只是不完美,甚至有很多让人纠结的地方。我目前的感受就是,当今的数学还是建立在一些经验之上,它对世界规律的探索还是来自于少量的经验。即使它能在几百亿、几千亿、几万亿的事情上准确预测一些事情,也不能说明数学定理就是真理。
数学是人们探索自然规律的工具,而逻辑是数学的工具。数学的计算和推理都是逻辑。数理逻辑就是当代逻辑,是逻辑学当前的最新进展,是人们探索自然规律做的形而上的思考的最前沿的研究。数理两个字只是描述了当代逻辑借助了符号来表达,因为这种符号比自然语言更精准。