j*****w
发帖数: 1 | 1 如果智力和编译器之间有某种类比关系的话：
编译器是可以 bootstrap 的，意思是，你可以从机器语言来写一个汇编语言的编译器
，然后用这个汇编语言的编译器写一个基本的 C 语言的编译器，再用它写下一个版本
的 C 编译器，一直下去...
那么根据一些人的想法，智力也是可以 bootstrap 的，一个基本智力可以产生高一层
的智力，就像写一个更高版本的编译器，然后是更高一层的智力，一直下去...
智力可以 bootstrap 的理论是奇点理论的基础，也产生了其他的变体，比如说冯诺伊
曼探测器（von Neumann probe），简单地说是机器人自我繁殖。
但是这里面有一个逻辑环节常常避而不谈：并不是任何一个编译器都可以产生下一个更
好的编译器，有缺陷的编译器（比如无法编译某些指令）是无法产生比自己更加完备的
编译器的。而且从概率上来说，产生有缺陷的编译器的概率要远大与正常工作的编译器
。换句话说，编译器的功能要达到某个 threshold，才能产生比自己更加完备的编译器
，而这是非常小概率事件。
那么智力是否存在这样的 threshold？是否智力在达到这样的 threshold 之前，无法
产生更高一层的智力？人达到了吗？ |
t*****n
发帖数: 2578 | 2 编译器产生下一层更高级的编译器不是它自己做的，是程序员做的。
在这个意义上，智力也能产生更好的智力，比如你夫妻两个生出了更聪明的儿子。这个
进化也不是你们自己做的。是上帝做的。 |
g****t
发帖数: 31659 | 3 只要是图灵完备的语言，就有universal Turing machine. 就有固定点，就有自我扩展
的能力。这里没什么不清楚的啊。lisp写个domain specific language就几行的事情。
C用宏进行扩展也很容易。
我念的课本上，语言系统是从有限状态机讲起的。不存在universal finite machine,
就是说没有哪个有限状态机可以模拟所有其他的有限状态机。用formal language的办
法，或者信息论都可以证明。
简单的讲，从使用的角度出发，可以认为只要可以进行皮亚诺自然数公理系统规定的自
然数计算的形式语言系统，都有固定点。都有universal machine. 例如中國古代的算
盤。它是圖靈完備的。中國過去的算盤專家，也有很多很厲害的算法。據說第一個核武
器就是在上海找了一組算盤專家計算的。
所以你說的能和不能，这个问题的threshold就是自然数系统。至於編譯器的好壞，或
者性能等等。是另一個方面的問題了。
Formal language最早是弗雷格給出明確的定義的。王垠大師折騰了那麼多年，後來也
去讀弗雷格了。 |
j*****w
发帖数: 1 | 4 是的，编程语言里，图灵完备应该是 bootstrap 的前提。
武i
【在 g****t 的大作中提到】
: 只要是图灵完备的语言，就有universal Turing machine. 就有固定点，就有自我扩展
: 的能力。这里没什么不清楚的啊。lisp写个domain specific language就几行的事情。
: C用宏进行扩展也很容易。
: 我念的课本上，语言系统是从有限状态机讲起的。不存在universal finite machine,
: 就是说没有哪个有限状态机可以模拟所有其他的有限状态机。用formal language的办
: 法，或者信息论都可以证明。
: 简单的讲，从使用的角度出发，可以认为只要可以进行皮亚诺自然数公理系统规定的自
: 然数计算的形式语言系统，都有固定点。都有universal machine. 例如中國古代的算
: 盤。它是圖靈完備的。中國過去的算盤專家，也有很多很厲害的算法。據說第一個核武
: 器就是在上海找了一組算盤專家計算的。
|
x****u
发帖数: 44466 | 5 人工智能和PLT不共容啊，yinwang写的《机器学习与逻辑编程》几个月后删的差不多了
【在 g****t 的大作中提到】
: 只要是图灵完备的语言，就有universal Turing machine. 就有固定点，就有自我扩展
: 的能力。这里没什么不清楚的啊。lisp写个domain specific language就几行的事情。
: C用宏进行扩展也很容易。
: 我念的课本上，语言系统是从有限状态机讲起的。不存在universal finite machine,
: 就是说没有哪个有限状态机可以模拟所有其他的有限状态机。用formal language的办
: 法，或者信息论都可以证明。
: 简单的讲，从使用的角度出发，可以认为只要可以进行皮亚诺自然数公理系统规定的自
: 然数计算的形式语言系统，都有固定点。都有universal machine. 例如中國古代的算
: 盤。它是圖靈完備的。中國過去的算盤專家，也有很多很厲害的算法。據說第一個核武
: 器就是在上海找了一組算盤專家計算的。
|
d*******r
发帖数: 3299 | 6 这不还在么?
http://www.yinwang.org/blog-cn/2019/01/30/machine-learning
【在 x****u 的大作中提到】
: 人工智能和PLT不共容啊，yinwang写的《机器学习与逻辑编程》几个月后删的差不多了
|
x****u
发帖数: 44466 | |
