人工智能在厉害，总有个硬伤！因为。。。【高智商推理】

不二如是 · 发表于 2017-1-18 08:19:02

马上注册，结交更多好友，享用更多功能^_^

您需要登录才可以下载或查看，没有账号？立即注册

x

本帖最后由不二如是于 2017-1-18 19:14 编辑

计算机可以驾驶汽车，可以控制火星探测器登陆，还可以在《危险边缘》智力问答节目里击败人类......

但是，有没有什么事情是计算机永远都做不到的呢？

计算机当然会被它们的硬件所限制，比如我的智能手机，（暂时）并不能同时当杠铃、哑铃用。

但是这些只是物理上的限制，如果我们一心想做，总是能够克服的。

所以让我把问题描述得更准确一点：

有没有什么计算机永远无法给出解答的问题？

当然了，现在有很多问题计算机都很难给出解答。

例如，在学校，我们会学习因数分解（30 = 2 × 3 × 5, 42 = 2 × 3 × 7），小孩子们都知道要按照一个简单的程序去进行计算。

但是对巨大数字进行因数分解并不容易，直到2007年，如果有人能对以下的数字进行因数分解，就能得到十万美元的奖金。

这个数字是：

135066410865995223349603216278805969938881475605667027524485143851526510604859533833940287150571909441798207282164471551373680419703964191743046496589274256239341020864383202110372958725762358509643110564073501508187510676594629205563685529475213500852879416377328533906109750544334999811150056977236890927563

不仅如此，直到2014年，没有一个人公开宣布自己解决了这个问题。

这不是因为我们不知道解决问题的方法，仅仅是因为要花太长时间而已。

我们的计算机太慢了。

事实上，正是因为计算机难以处理这些天文数字，互联网加密算法才成为可能。

所以，有些问题，机器智能，真的解决不了：

永远无法证明计算机程序会在一段时间后停止运行，还是会永远运行下去。

这是个很实际的问题，因为无限循环是一类很常见的 bug，经常不动声色地出现在某人的代码里。

在1936年，一位强大的数学家兼密码破译学家，艾伦·图灵就已经证明：（会被传送到，小天才养殖场大牛录）

让一台计算机检查你输入的全部代码，然后准确地告诉你这串代码会不会陷入无限循环是不可能的。

换句话讲，图灵证明了：

对于计算机而言，停机问题永不可解。

你也许经历过这样的场景：你正在复制文件，然而进度条突然不动了（经常是停在了99%）。

你要等多久才会放弃呢？

你怎么才能知道，它是永远都不会前进了，还是，哪怕在几百年后，会终于完成你文件的拷贝呢？

“如果你和你朋友打赌说你的表永远不会停，要等到什么时候你才能宣告胜利呢？”

受够了对进度条的持续等待之后，你就会想：

如果能有人写出一个调试程序，搞定所有这些烦人的 bug，那该有多好啊！

不管是谁，如果真的写出了类似的程序并卖给微软，他肯定会赚钱到手软。

但是在你兴冲冲地自己去开发软件之前，还是要注意一下图灵的建议：

一台计算机不可能检查代码并给出它是否会停止运行的靠谱结论。

这是一条异常坚定的断言：

图灵在讨论的不是当前科技的界限，而是对于计算机能做什么提出了一项基本的限制。

现在不行，2450年还是不行，现在不行，未来也永远不行。

计算机永远无法解决停机问题。

在他的论证中，图灵首先要在数学上定义我们通常所说的计算机和程序。

当基础工作完成之后，他就可以用屡试不爽的反证法给出最后一击。

在理解图灵的论证过程之前，我们先来热热身，思考一下更简单的“说谎者悖论”。

想象有人告诉你“这句话是错的”，会怎样？

如果这句话是对的，那么联系这句话的内容，它明显是错误的。

这个就是，下面推荐阅读，两头堵问题的另一个维度解读。

同样，如果这句话是错的，那么它事实上已经准确地描述了自己，所以一定是正确的。

但是它不能同时是正确的和错误的，矛盾就这样产生了。

这种通过自我指涉形成矛盾的思想正是图灵的论据的精髓。

（图灵的）论证是一个漂亮的自我指涉的例子。

它完成了对一个古老观点“一个人不可能完全理解自身”的标准化论证。

因为如果你能做到，你就可以预知自己要在未来的十秒钟内做什么。

而刻意做出不符合预测的行为就可以推翻“你能够完全理解自身”的前提。

图灵设想有一台特殊的，可以解决停机问题的机器。

之后，他描述了我们如何让这台机器对自己进行分析。

因此，如果它可以一直运行下去，就必须停下来（以显示结果）。

而如果它将会停机，就要一直运行下去。

这台设想中的神秘机器也就在矛盾中消失了。

------------逻辑证明------------

游客，如果您要查看本帖隐藏内容请回复

推荐阅读：

搞几个烧脑的，两头堵问题 | 【聪明人看】

无忌，你还记得多少？

你是三维人，不要老把观念停在一维，好不～

第二页，有一首高智商的中英双语诗，任君自愿

wei_Y · 发表于 2017-1-18 12:32:02

应该无解。

我的想法：

程序无法自身知道自己是不是陷入了无限循环中。
但是可以找第三方来让自己知道是否是陷入无限循环。

不过始终没有一个完全可靠的第三方，就如睡觉时，大脑不叫醒你一样。

小狗吃到自己的尾巴，大脑给他一个"疼"的信号，他或许会停止吃尾巴。但是大脑坏了呢？

所以我觉得在总体范围内是无解的。不过在相对范围内应该有解。

A P Q，A运行，P监控A，Q监控P。

A 会停机-> P发出good, Q接受到P的good，Q不停机继续监控P。
此时A停机: P继续发出good, Q继续监控。 .
.....
此时会无限循环下去。

但是为什么A, Q都可停机，P不能停机呢？
A P Q ，A运行，P监控A，Q监控P。
A停机，P发出good，并增加一个计数，Q接受good，并继续运行。
A已经停机, P此时有一个计数并确认A停机，P此时发出bad，并自己停机，Q接受bad，停机。

下次A启用时会启用P，P启用时会启用Q。
但是其实也不会很可靠，
A也会出问题，错误的将停机信息发出，但自身还没停机。
P也会出问题，错误的将本该发送的bad，发送成good。
Q也会出问题，接收到bad但是没有停机。

当然如果A, P, Q相互监控，那么除了同时出现问题，基本就不会有问题。
随着相互监控的增多，这个"同时"的几率会逐渐减少。成本也是逐渐增多。
---。

没有一个可以解决自身停机问题的机器，但是可以找第三方。

人工智能自身不能知道自己是不是陷入无限循环，但是制造他的人可以知道。制造他的人无法知道自己是不是大脑出问题，但是他的朋友可以知道....
第三方越多，第三方越可靠，这个问题越趋近有解。因为"同时"出问题的几率越来越小，也越趋近无。

还是说，不考虑环境问题，就像计算机炸了，他的进程运行不运行还有什么考虑的必要？

扯淡完毕。

不二如是 · 发表于 2017-1-18 08:23:20

@小甲鱼 @阁龙1427 @零度非安全、 @无符号整形 @拈花小仙 @wei_Y

敢来试试吗？@～风介～ @小树

不二如是 · 发表于 2017-1-18 08:29:54

@alltolove @小甲鱼的二师兄 @小树 @～风介～ @康小泡 @pcode @joker11111

不二如是 · 发表于 2017-1-18 08:29:57

@alltolove @小甲鱼的二师兄 @小树 @～风介～ @康小泡 @pcode @joker11111

清和微风 · 发表于 2017-1-18 09:07:27

，花花送给你。天天都那么辛苦

alltolove · 发表于 2017-1-18 09:10:01

这就好比是体积无限小，质量无限大的黑洞理论，或者1除以0的结果到底是无穷还是没结果一样，到现在也没有科学的结论

不二如是 · 发表于 2017-1-18 09:11:13

清和微风发表于 2017-1-18 09:07
，花花送给你。天天都那么辛苦

谢谢，微风

你看了，比我辛苦，皂皂送给你

不二如是 · 发表于 2017-1-18 09:12:17

alltolove 发表于 2017-1-18 09:10
这就好比是体积无限小，质量无限大的黑洞理论，或者1除以0的结果到底是无穷还是没结果一样，到现在也没有科 ...

科学的诞生，就带了悖论～

双生体，就像鸡生蛋，蛋生鸡，动态循环平衡。

跳出来，生不生蛋，关我屁事，反正有鸡翅～

～风介～ · 发表于 2017-1-18 09:40:19

不二如是发表于 2017-1-18 08:23
@小甲鱼 @阁龙1427 @零度非安全、 @无符号整形 @拈花小仙 @wei_Y

敢来试试吗？@～风介～ @小树

理论上说宇宙终究要变成稳态，所有的喧嚣都要归于沉寂。AI如此，人也如此~

不二如是 · 发表于 2017-1-18 09:41:45

～风介～发表于 2017-1-18 09:40
理论上说宇宙终究要变成稳态，所有的喧嚣都要归于沉寂。AI如此，人也如此~

哈哈，但是在这之前，我们还是要生老病死、爱恨情仇。。。

湮灭既然每个人都一样，那就等于没有～

哈哈哈，是不是酱紫呢，介介～

～风介～ · 发表于 2017-1-18 09:54:20

不二如是发表于 2017-1-18 09:41
哈哈，但是在这之前，我们还是要生老病死、爱恨情仇。。。

湮灭既然每个人都一样，那就等于没有～

来都来了.......

不二如是 · 发表于 2017-1-18 09:56:22

～风介～发表于 2017-1-18 09:54
来都来了.......

是啊，来都来了，就不要只聊聊天了～

～风介～ · 发表于 2017-1-18 11:00:03

不二如是发表于 2017-1-18 09:56
是啊，来都来了，就不要只聊聊天了～

谈人生？谈理想？你想谈什么......

不二如是 · 发表于 2017-1-18 11:02:25

～风介～发表于 2017-1-18 11:00
谈人生？谈理想？你想谈什么......

自己谈的理想，含着泪也要谈完

～风介～ · 发表于 2017-1-18 11:20:13

不二如是发表于 2017-1-18 11:02
自己谈的理想，含着泪也要谈完

论强健体魄的重要性.......

joker11111 · 发表于 2017-1-18 15:26:19

让我想起之前看过的一片文章，一双手套，一只寄给香港，一只寄到美国，没拆快递前，谁也不知道自己拿到的是左手的还是右手的，但一旦其中某一个人拆开了快递，那么另一个人的快递中的手套随之确定，其中，手套是左手的还是右手的这个信息就像从某一地点传递到了另外一个地点，这种信息的传递不许要介质，不需要时间，瞬时传递过去，抽象来说，人也是一种信息，谁知道未来会不会出现传送技能呢，这下真的就要德玛西亚万岁啦，哈哈哈哈哈哈

不二如是 · 发表于 2017-1-18 15:27:49

joker11111 发表于 2017-1-18 15:26
让我想起之前看过的一片文章，一双手套，一只寄给香港，一只寄到美国，没拆快递前，谁也不知道自己拿到的是 ...

’大写的深井冰一枚‘

但我喜欢～

joker11111 · 发表于 2017-1-18 15:32:54

来呀来呀

joker11111 · 发表于 2017-1-18 15:33:26

不二如是发表于 2017-1-18 15:27
’大写的深井冰一枚‘

但我喜欢～

来呀来呀

[吹水] 人工智能在厉害，总有个硬伤！因为。。。【高智商推理】

马上注册，结交更多好友，享用更多功能^_^

点评

评分

点评

点评

账号		自动登录	找回密码
密码			立即注册