General AI是什么

每个变量都有名字。每个名字都无关紧要----这不是说，这个名字所指的值不紧要。而是说这个名字被代以别的名字，程序是不变的。这个事实，地球上每个小学生都有学到。从小学课本，到最重要的数学论文里，把变量x,y,z换之以其他的名字,其所表达的命题之真假，不会有改变。其实，在小学我们学会把变量名用“x”而不是“张三的身高
”来表示，其目的就是让大家知道:名字不重要。这个“进步”是如此
重要，因此
它不会被提及（一旦提及了，你真懂了，那说不定还得重新再被训练一次）。
从ZFC公理系统，到图灵机，到lambda ...。所有的数理逻辑系统，都不包括命名的规
则。或者说，它们是invariant with respect to "x" 或者 “张三的身高","length
of
a vector"的替换的。所以，从变量到数学定理，都是名字无关的。因此，也就是没有名字的。
在图灵发明遗传算法的论文中，他讲到，数学真理的发现，也就是字符串搜索和替换。第一层，我们可以用传统的办法发明数学真理。第二层，我们可以用计算机模拟达尔文过程，以期发明数学真理，这就是遗传算法。第三层，我们可以进行更广泛的计算机模拟，文化，道德，传统...都可以模拟出来。但是他没有讲第三步怎么执行。连个
proposal都没有给。第三步他当然无法propose。我们刚学到了，没有哪个病毒的名字
是可以随便叫的。----至少在此刻，我们的世界是有名字的。所以所谓的general AI在目前是不可能的，从本质上它无法模拟我们的世界。
但是，未来如何呢？我们能不能让Bill Gates或者什么人出一笔钱，把所有的地方的
Kafka替换成K,然后再出一笔钱，让每个人对这个变化感到满意呢？这当然是有可能的
。如果一个人所有的部分都可以被pricing,那就意味着他的每个部分都可以被其他东西等价替换。那么，他的名字就可以被自由替换。说到底，每个人，每块石头，与他者之间，不可替换的东西，或者说无法pricing的东西，才是他的名字。如果这部分归零，
那么名字也就没有了----with respect to pricing，人人都是无名之辈，也就可以和
图灵机conformal了。
所以，General AI，乃是一个通过pricing系统，制造无名之辈的项目。

数学真理的发现，也就是字符串搜索和替换。

我认为这个是有问题得，字符串搜索和替换可以写出世界上任何书，但是这没有什么意义。自然语言有很多的歧义，否则就不需要大学了，直接看大牛的书就可以了。 这个
问题乔姆斯基思考的很深，他早就知道语言只是冰山一角，人有巨大的先天禀赋。 乔
姆斯基最近跟LEXI FRIDMAN有一个访谈，他还认为人虽然先天禀赋很高，但是还是可能有极限的。

【 在 chebyshev (......) 的大作中提到: 】
: 每个变量都有名字。每个名字都无关紧要----这不是说，这个名字所指的值不紧要。而
: 是说这个名字被代以别的名字，程序是不变的。这个事实，地球上每个小学生都有学到
: 。从小学课本，到最重要的数学论文里，把变量x,y,z换之以其他的名字,其所表达的命
: 题之真假，不会有改变。其实，在小学我们学会把变量名用“x”而不是“张三的身高
: ”来表示，其目的就是让大家知道:名字不重要。这个“进步”是如此
: 重要，因此
: 它不会被提及（一旦提及了，你真懂了，那说不定还得重新再被训练一次）。
: 从ZFC公理系统，到图灵机，到lambda ...。所有的数理逻辑系统，都不包括命名的规
: 则。或者说，它们是invariant with respect to "x" 或者 “张三的身高","length
: of
: ...................

你先找本Turing collected papers读下我说的论文。那不是宣传资料。

【 在 Caravel(克拉维尔) 的大作中提到: 】
<br>: 数学真理的发现，也就是字符串搜索和替换。
<br>: 我认为这个是有问题得，字符串搜索和替换可以写出世界上任何书，但是这没有
什么意
<br>: 义。自然语言有很多的歧义，否则就不需要大学了，直接看大牛的书就可以了。
这个
<br>: 问题乔姆斯基思考的很深，他早就知道语言只是冰山一角，人有巨大的先天禀赋
。 乔
<br>: 姆斯基最近跟LEXI FRIDMAN有一个访谈，他还认为人虽然先天禀赋很高，但是还
是可能
<br>: 有极限的。
<br>