wy 发帖数: 14511 | 1 一个程序,被两样因素限制:空间和时间。空间因素指的是硬件
的容量不是无限的。尤其在计算机的远古时代,空间因素占据了
程序员绝大部分的考虑--如果你的程序太大,无法容纳入内存,
那么你的程序就没有办法执行--就这么简单。今天随着虚拟存储
的引入以及技术进步(使得内存,外部存储设备近乎无限),空间
因素基本上不再是程序员必须考虑的问题(只有某些嵌入式系统
如dvd players, mp3 players之类例外)。
另外一个因素,时间因素,指的是一个程序必须在一个合理的时间内
作一定的任务。时间可以有很多种测度。比如说,在天气预报系统中,
如果为了预测第二天的天气,然而计算时间超过24个小时,那么这个
系统没有任何用处。再比如说,agent Smith的躲避子弹子系统,必须
在预测到子弹轨迹到子弹实际到达自己这么一段时间完成躲避动作,
否则这个系统也毫无意义可言。
尽管技术进步极大,时间限制在计算机科学里面,却没有根本的解决。
这是计算机科学里面几乎是唯一的根本性问题。这也是为什么计算机器
到目前为止,仍然只是计算机器,而无法有人的创造性思维的根本原因。
我们无法彻底解决这个问题,可是我 | e********e 发帖数: 126 | 2
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
但是,我们完全可以理解一个东东可以演进出比自己更聪明的东东。
这种演进,我们称为“进化”。
好了,我的问题是,所谓“智慧的发明”,比如发展硅基神经元网络,
再比如发展基因技术,是不是也可以看成是“进化”的一种形式呢?
当然,这里有自然选择和人择的显著区别。
但是,人,难道不是是自然的一部分么。
恩,无聊的问题。
【在 wy 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 一个程序,被两样因素限制:空间和时间。空间因素指的是硬件 : 的容量不是无限的。尤其在计算机的远古时代,空间因素占据了 : 程序员绝大部分的考虑--如果你的程序太大,无法容纳入内存, : 那么你的程序就没有办法执行--就这么简单。今天随着虚拟存储 : 的引入以及技术进步(使得内存,外部存储设备近乎无限),空间 : 因素基本上不再是程序员必须考虑的问题(只有某些嵌入式系统 : 如dvd players, mp3 players之类例外)。 : 另外一个因素,时间因素,指的是一个程序必须在一个合理的时间内 : 作一定的任务。时间可以有很多种测度。比如说,在天气预报系统中, : 如果为了预测第二天的天气,然而计算时间超过24个小时,那么这个
| wy 发帖数: 14511 | 3 en,人脑我不知道,想来应该是有的。不过人脑很可能是
大规模并行式非确定性图灵机,或者(更有可能)一些
更高级的我们不知道的运作方式,因此极大的缓解了时间
限制。人工智能有一派称为行为主义,就是说只要机器
表现出来的行为像是有智能的,他就是有智能的--这派
一个著名的test叫做图灵测验,一旦机器可以pass这个
测验,那么我们可以宣称这个机器具有智能。
所以从这派的观点,不考虑时间,我们现在就可以编程序
使得机器可以pass 图灵测验。但是,为了回答一个问题,
机器也许需要花整个宇宙的寿命这么长的时间--很显然
这个程序因此是无用的。
【在 e********e 的大作中提到】![](/moin_static193/solenoid/img/up.png) : : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ : 但是,我们完全可以理解一个东东可以演进出比自己更聪明的东东。 : 这种演进,我们称为“进化”。 : 好了,我的问题是,所谓“智慧的发明”,比如发展硅基神经元网络, : 再比如发展基因技术,是不是也可以看成是“进化”的一种形式呢? : 当然,这里有自然选择和人择的显著区别。 : 但是,人,难道不是是自然的一部分么。 : 恩,无聊的问题。
| e********e 发帖数: 126 | 4 图灵测验,看过科幻小说的都知道——赵本山曰,哈哈。
OK,你这里说人脑也是“极大的缓解了时间限制”。
那就是说人脑也没有“解决时间限制的问题”喽?
那到底创造性思维和时间限制的关系是啥呀?
乱了乱了。你还是仔细给我科普一下,这个时间“限制”
到底是啥东东呢?
【在 wy 的大作中提到】![](/moin_static193/solenoid/img/up.png) : en,人脑我不知道,想来应该是有的。不过人脑很可能是 : 大规模并行式非确定性图灵机,或者(更有可能)一些 : 更高级的我们不知道的运作方式,因此极大的缓解了时间 : 限制。人工智能有一派称为行为主义,就是说只要机器 : 表现出来的行为像是有智能的,他就是有智能的--这派 : 一个著名的test叫做图灵测验,一旦机器可以pass这个 : 测验,那么我们可以宣称这个机器具有智能。 : 所以从这派的观点,不考虑时间,我们现在就可以编程序 : 使得机器可以pass 图灵测验。但是,为了回答一个问题, : 机器也许需要花整个宇宙的寿命这么长的时间--很显然
| wy 发帖数: 14511 | 5 ft, don't understand what u r talking about.
Can Non-derterministic one is used to compute the problem? yes, it can.
Even though NDT and DT are used to study basic computational theory,
so what? They can be used for other purposes too. We are imagining a
kind of machines called Quatumn computer which has the attributes
of NDT, by which a 2^n problem in DT can be lowered down to n^2.
Intelligence for machines, as Turing test suggested, is the ability
to act like human beings which, in turn, needs | wy 发帖数: 14511 | 6 About this problem, my conclusion is simple. Internet has potential
to become an intelligent thing. Any single computer cannot.
We need to solve several things: communication speed between any two computers:
for example, if we try to use all available computers in US to solve a
problem, that's possible. But if we want to use computers in China also,
that'll be a hazard--the communication would be too slow. Another thing is
good grid engine to handle large scale computation which is extremely
dif
【在 wy 的大作中提到】![](/moin_static193/solenoid/img/up.png) : ft, don't understand what u r talking about. : Can Non-derterministic one is used to compute the problem? yes, it can. : Even though NDT and DT are used to study basic computational theory, : so what? They can be used for other purposes too. We are imagining a : kind of machines called Quatumn computer which has the attributes : of NDT, by which a 2^n problem in DT can be lowered down to n^2. : Intelligence for machines, as Turing test suggested, is the ability : to act like human beings which, in turn, needs
| wy 发帖数: 14511 | 7 这样吧,光像你这样的人生攻击anyway是毫无意义的,我来做个靶子,
你告诉我,in details, 我错在哪,ok?
我们考虑这样一个简单的问题:在一堆苹果里面有一个橘子。
一个决定性图灵机--not a DFA的程序可以这么写:
pick one
if it is apple, discard it
else end alg
repeat until no more
这很明显是一个 O(n)的问题。
一个非决定性图灵机的程序如下:
pick one
end
他可能有输出,可能没有,这是一个O(1)算法,agree?
Now, let's see, how to simulate this one in the Internet:
In practical we assume the problem size(the number of fruits) n is less
or equal to the computers connected to Internet. Then the alg is:
choose any n computers
each computer pic | z*n 发帖数: 2893 | 8
TM和NTM都是用来描述计算模型的,计算问题确定的前提下用两种不同
的计算模型会有不同的复杂度,计算理论研究的是不同的计算模型是否
等价和特定计算问题在不同计算模型中的复杂程度。
理论研究本身是不涉及什么虚拟存储,mp3 player, internet之类的工
程问题,用modem连接还是用fibre差的只是个常数,和TM混在一起谈是
笑话,就好象有人说P4比TM快一样。
数一个苹果和数地球上所有的苹果对于DFA来说都是常数问题,对于TM倒
成了O(N)问题了,你真行。
一般来说一种计算模型乘上个常数对于计算问题的复杂度是没有任何帮助的,
你的internet论就是这么个常数,不能降阶复杂度,所能解决问题的集合是
一样的。
至于智力是什么计算问题,谁都不知道,更不用说如何计算,计算复杂度,
用1台还是1万台机器算的问题了。
【在 wy 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 这样吧,光像你这样的人生攻击anyway是毫无意义的,我来做个靶子, : 你告诉我,in details, 我错在哪,ok? : 我们考虑这样一个简单的问题:在一堆苹果里面有一个橘子。 : 一个决定性图灵机--not a DFA的程序可以这么写: : pick one : if it is apple, discard it : else end alg : repeat until no more : 这很明显是一个 O(n)的问题。 : 一个非决定性图灵机的程序如下:
| z*n 发帖数: 2893 | 9
地球上同时存在的苹果香蕉数有常数上界, 其余的还用说么? 自己想想
要不要我给你列个哥德尔不完备定理让你证伪啊? 你能列个正确的NTM下的复杂度
又能说明什么? 要不我翻翻课本给你再找几个?拿计算模型的描述方式NTM来和世界
上现实存在的计算机比较, 就是概念不清, NTM原本就是理论模型,是抽象概念,现实中
是什么, 怎么实现? 我还真不知道.
您能搞出来图灵奖是非你莫属了.您老来大胆的假设Internet, 还不知所云的大调名词,
告诉你乘个常数没用还死不认错.
说实话你没有和专业人士谈计算理论的资格.
”
法。
【在 wy 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 这样吧,光像你这样的人生攻击anyway是毫无意义的,我来做个靶子, : 你告诉我,in details, 我错在哪,ok? : 我们考虑这样一个简单的问题:在一堆苹果里面有一个橘子。 : 一个决定性图灵机--not a DFA的程序可以这么写: : pick one : if it is apple, discard it : else end alg : repeat until no more : 这很明显是一个 O(n)的问题。 : 一个非决定性图灵机的程序如下:
|
|