来自2018年最后的瞎扯——从“空间”到“强人工智能”

来自2018年最后的瞎扯——从“空间”到“强人工智能”

虚假的前言

这一部分毫无营养价值，纯粹是对笔者2018年做一个东拉西扯的总结，称得上或许有那么点价值的东西可能得从下一章看起。跳过该前言部分，可能会是各位2019年所有明智抉择的开始 ^_^。

2018年，倒没有做出什么让我无比骄傲自豪的工作，一切显得稀松平常。但这平常的一年我倒是学到了不少的东西，感觉头脑里面的无知可能确乎是真的少了那么一点。然而，随着塞进头脑里的东西越来越多，我现在感觉我思维里的东西愈发的庞杂混乱了。

我头脑里想象的空间，是我最引以为傲的东西，那是我最满意的试验场，也是我所有乱七八糟知识存放的地方。在其中某个角落，有一个只有经纬线的球在转着，我通过想象其旋转并且通过其转速来测试自己思维的状态，然后安排相适应的任务；在另一个角落，有一把算盘，那是我用来计算的工具；还有一个角落，有着各种杂七杂八的实验，比如通过自然定律来实现复杂运算规则，把整个大自然当做运算场并且在其中寻找运算的单元，我把这个叫做“物理运算场”，比如通过光的夫琅和费衍射做傅里叶变换，性能将远胜计算机，我曾构想过通过光器件构建神经网络，从而使得训练显得简单轻松。总之，在这个世界里，四处漂浮着各式各样的东西，有雷神的锤子，有通过莫比乌斯带上滚动圆柱体定义的周期性翻转卷积，有搞笑的收尾相连的找不到输出的神经网络，有躺在沙发上的加菲猫，有瞄准敌人狗头的98K，还有一些奇奇怪怪的图形。这个空间真是太有意思了，导致我对现实中很多东西都兴致缺缺。因为我知道只要我闭上眼睛，就能够在我自己的空间里把矩阵拉成圆形的、把曼德拉合金做成三级头，随心所欲。

然而现在这个空间显得有些粘稠了，我每一次拉扯东西出来，都粘连着其他的东西，当我想用拟牛顿梯度下降方法时，对抗噪声、莱布尼茨和放牛娃王小二也随着跃然而出，虽然他们只是在边缘的地方悄悄待着并不影响主体的工作，但这些额外的消耗依然让我不胜其烦、不堪其扰。我终于意识到，我需要一个更加高明的方法来梳理我的空间了，这也是我在后面很长一段时间里的需要面对的问题。

真正的前言

那么我们现在开始一些真正有那么一点意思的东西吧。

这篇文章，我将从自己理解的角度以一个更加广义的方向来谈谈“空间”这个司空见惯的东西，然后把人类的知识领域放在“空间”的框架下讨论，并且在这个基础上定义“强人工智能”这个概念。“从自己理解的角度”意味着，我狡猾的将可能犯下的错误放在了合情合理的位置并且欢迎各位批评指出。

我相信读者在读到这篇文章的时候对空间已经有了很多理解，比如三维线性空间，数据空间，误差空间，参数空间，不一而足。然而在开始我们所有的讨论之前，我希望读者先清空所有对空间已知的东西，脱离已知的东西对你的束缚，然后在一片虚无的脑海中从最根本的东西出发，尝试从无到有的思考下面的问题并且说服自己：

• 什么是空间？
• 众多对象组成的空间与其组成的集合有什么区别？
• 你自己定义的空间是否包容我们已知的空间？

当各位有了自己的答案和疑惑的时候，我希望我的答案与疑惑能够和大家一起交流。那么接下来，这篇文章便真正开始了。

1. 集合——“有”和“无”

我的脑海已经空空如也，perfect。

我需要知道我要研究些什么东西，我是要研究家具、数字、植物还是星球？这些我管不着，既然我希望在一个更加广泛的框架下讨论一些问题，任何东西都可以构成我想研究的总体。那么不妨这样，我拿出一个容器，我把所有的不同的想研究的东西放进这个容器里，我们不妨把这个容器叫做“集合”，把其中一个具体的研究对象叫做“元素”。太棒了，世界万物我都打上了标签“有”或者“无”，我想研究的对象的总体已经全部在我的容器里面，我只要研究这个集合与其中的元素，那么就可以研究我的研究对象。

这个方式太简洁美妙了，简洁美妙的似乎找不出瑕疵，对吧？

然而令人沮丧的是，即使是这样一个简单的方式也是存在着漏洞的：你不可能给出这样一个集合S，其元素为不属于该集合的元素，即

S = { x ∣ x ∉ S } S=\{x|x \notin S\} S={ x∣x∈/​S}

这不是玩我吗？不属于这个集合却又要属于这个集合？你以为你是波函数吗？但是这确实击溃了自信满满的集合论，这个悖论也被称之为“罗素悖论”，或者更为大家所知的“理发师悖论”：

在某个城市中有一位理发师，他的广告词是这样写的：“本人的理发技艺十分高超，誉满全城。我将为本城所有不给自己刮脸的人刮脸，我也只给这些人刮脸。我对各位表示热诚欢迎！”来找他刮脸的人络绎不绝，自然都是那些不给自己刮脸的人。可是，有一天，这位理发师从镜子里看见自己的胡子长了，他本能地抓起了剃刀，你们看他能不能给他自己刮脸呢？如果他不给自己刮脸，他就属于“不给自己刮脸的人”，他就要给自己刮脸，而如果他给自己刮脸呢？他又属于“给自己刮脸的人”，他就不该给自己刮脸。

带着些许的遗憾与沮丧，我们迫不得已的承认：即使一个简单的处理也没法包含万物。然而幸运的是，这样的情况是极端的，换句话说，通常我们的研究对象不会是这样如鲠在喉的S集合。

好的，现在集合在手，天下（大部分）我有，豪气中透着些许的心虚，我们来看看集合能够干什么，不能干什么。

集合，就是各个不同的研究对象的“有”和“无”，那么我们现在只能说，这个元素“在”这个集合中，这个元素“不在”这个集合中，这对于研究来说当然是不够细致与令人满意的。比如说，我想研究一条直线上0到1上所有的点组成的集合，0,0.1，0.927等等都只是直线上某个点的记号，他们与直线上的点一一对应，并没有什么实际的含义。换句话说，我只能说0.1，0.2这个两个记号对应的点在这个集合中，却不能说0.2>0.1这样的话，因为0.1,0.2是也仅仅是个名字，并无实际的含义。

这真是令人崩溃，集合连这些我们熟悉的东西都不能够细致的研究。不情愿的，我们显然必须在集合上面添加些东西了，下面我们来说说“空间”。

2.空间——赋予结构的集合

正如上一章所说，简单的集合并不能满足我们研究的需要，那么我们不得不对集合中的元素给与一些“结构”了。所谓结构，即集合中元素之间的一些关系。具体的，我们可以在集合S上给出这样的一些操作O，其能够将一组元素$S_1$对应到另一组元素$S_2$中，即：

$$S_2=O(S_1)$$

其中

$$S_2,S_1\subseteq S$$

我们现在把定义了这样一组操作O的集合叫做空间：

V = { S ∣ { O } } V=\{S|\{O\}\} V={ S∣{ O}}

其中 { O } \{O\} <