哈,喷喷计算机

中山野鬼 发布于 2013/10/16 18:04
阅读 861
收藏 2

今天喷一下计算机的问题。如果对计算机原理了解的人,估计肯定不会把什么信息化设备认同为有特异功能的工具。因为它真的实实在在的只是个计算的机器。现有的计算机,都可以等价到图灵的“抽象计算机”上。说它有什么不足,那就是停机问题。实际问题抽象出来,就是哥德尔不完备性定理的问题。哥德尔不完备性定理说了一个逻辑事实,逻辑自指时,不是可有限描述的,不可有限描述的,无论时人还是机械,都不能停止。

而说另外一个方面的构造问题。假设我们用计算机去构造一个系统,这个系统能做什么呢?它能构造出一个逻辑系统。那么我们把客户的需求和提供的内容抽掉,残留下来就有个问题了,谁来判定构造出来的成果,符合要求,就是说,构造出的系统确实是个逻辑系统。那么这个判定,按照道理来说,不是随便让谁决定的。毕竟不是领导该干的事情。这就需要个逻辑,我现在来说段绕口令的话:

构造逻辑的逻辑系统,需要一个逻辑来判定构造出的系统符合其具备逻辑性的要求。

这里也会引起自指问题,就是,如果存在个系统,构造出来的a,我们需要用个b来判定它是否符合逻辑,那么判定b的逻辑又需要一个c来判定它。那么c自身是否符合逻辑,又需要个d。

哈,这就是我需要喷计算机的不足。当然,能构造逻辑的系统的原理,还有很多其他方面,要说就一大堆了。

落到讲人话,不要指望计算系统可以代替你的设计,工具就是工具。最终工具做出来的东西,是否好坏,还是需要人来判定。

当然再绕回去,未来可构造逻辑的系统,那么最终也不是人随便判定,而是构造出的基础的东西,“概念”这个被公理化认可,公理化,还是大伙认可的过程,不是某个机器替代人类来认可的过程。哈。

看不懂的就算了。不过乱喷的,建议理解下面一段对话:

我问一个教授“判定逻辑的逻辑怎么描述”

他回答“形式逻辑学判断的过程是大前提,小前提,然后是结论。”

我问:“你可能没理解我说的意思,你说的上面这句话,必须符合逻辑,才能作为形式逻辑的判定,那么判定你上面这句话是否符合逻辑,这是个逻辑行为,还是非逻辑行为,如果是逻辑行为,那么判定你上面这句话是”正确“的逻辑他自身又怎么判定”。

哈。这就是逻辑证明的自指问题,也是那个牛b的不完备性定理描述的问题。

说这个的意思是,我们现在数据库都是关系性数据库,大家都是几个范式,同时也知道需要键,特别是主键用来区分不同的纪录。这实际是对一批数据的逻辑已经固化了,然后根据关系语言进行计算。这个关系性数据库已经做的很不错了。

那么有另外一类问题,也是大数据中的问题,比较简单的情况我们知道有多个属性,但是我们不知道哪些纪录中,可以用哪些属性作为主键,这个时候,就存在一个,我们通过已知数据,需要构造他们之间关联结构的问题,也就是这些数据之间的逻辑关联问题。

上面的问题还算好的。要落到语义识别,就更难了。因为上面的数据已经具备了属性的划分,而语义识别,属性是动态的。

上述两个问题,如果用固定具体的逻辑来处理,一定是扯淡的。因为实际你是个计算过程。而不是构造个逻辑的过程。哈。


加载中
0
宏哥
宏哥

喷你个头

宏哥天天忙到吐血

你Y天天闲到蛋疼

0
中山野鬼
中山野鬼

引用来自“宏哥”的答案

喷你个头

宏哥天天忙到吐血

你Y天天闲到蛋疼

哈,没办法。我总得忙点你忙不了的事情,不然你儿子买房子的钱成了我女儿的嫁妆,就太不值得了。但你忙不了的事情,我又得说清楚它的原理,所以就努力学习,努力思考,努力论证咯。总要有人做创造嘛,现有工具解决不了的事情,不代表以后的工具解决不了,以后的工具要想解决,先得理论上说清楚嘛。
0
0
樊睿
樊睿
一看标题就知道,是你老鬼的帖子
0
朱__朱
朱__朱
极度羡慕老鬼先生的时间啊。。。。
0
中山野鬼
中山野鬼

引用来自“朱亚杰”的答案

极度羡慕老鬼先生的时间啊。。。。
靠。。。要不是系统的设计原理我还没整理清楚,早出去忙了。哈。我也不想天天琢磨啊。。
0
擅长被美女推倒
擅长被美女推倒

引用来自“宏哥”的答案

喷你个头

宏哥天天忙到吐血

你Y天天闲到蛋疼

我草,昨天就看到他喷了一帖,邀请他骑自行车到西藏 还说会把蛋颠了,
首席安全砖家
首席安全砖家
回复 @雨翔河 : 哈哈
雨翔河
雨翔河
已经从西藏回来的飘过,蛋没碎,我还健康的活着,哈
迷路的游侠
迷路的游侠
哈哈,这个搞笑
0
铂金小虎
铂金小虎
太长,没看.
0
0
修改登录密码
修改登录密码

这里也会引起自指问题,就是,如果存在个系统,构造出来的a,我们需要用个b来判定它是否符合逻辑,那么判定b的逻辑又需要一个c来判定它。那么c自身是否符合逻辑,又需要个d。

你的逻辑自己把自己绕进去了。计算机的问题最终可以归结到图灵机理论上,图灵机能解决的问题就不是问题。图灵机无法判定的问题,比如停机问题,就是不可解的问题。 图灵机可以看作最终的逻辑。

打个比方,这个道理就好比说每一个复杂的数学公式都可以归结到最基本的一些数学定理,这些定理最终能由一些公理推导出来。这些公理就好比说两点之间直线最短,三角形内角之和是180度,平行线永远不相交。  这些公理不需要其他逻辑来证明

返回顶部
顶部