皇帝新脑

coolsila

若干年前曾钻研过该书前两章，对电脑编程的兴趣就是由该书的第二章《算法和图灵机》引起的。该书的译文比较难懂，有时一段文字我就要反复看上大半天，能够坚持看完图灵机对我来说已经是奇迹了，尤其普适图灵机那串占了几页版面的长长数字让我印象深刻。下面摘抄一段普适图灵机的描述，并给出整本书的链接。
　　我还未描述普适图灵机的概念。虽然其细节是复杂的，但是它背后的原则并不十分复杂。它的基本思想是把任意一台图灵机T的指令的表编码成在磁带上表示成0和1的串。然后这段磁带被当作某一台特殊的被称作普适图灵机U的输入的开始部分，接着这台机器正如T所要进行的那样，作用于输入的余下部分。普适图灵机是万有的模仿者。“磁带”的开始部分赋予该普适机器U需要用以准确模拟任何给定机器T的全部信息！
　　为了了解这是如何进行的，我们首先需要一种给图灵机编号的系统方式。考虑定义某个特殊的，譬如讲在前面描述的图灵机的一个指令表。我们必须按照某种准确的方案把这表编码成0和1的串。我们可借助于以前采用的“收缩”步骤来办到。因为，如果我们用数2，3，4，5和6来分别代表符号R、L、STOP、箭头（→）以及逗点，那么我们就可以用１１０、１１１０、１１１１０、１１１１１０以及１１１１１１０的收缩把它们编码。这样，出现在该表中的这些符号实际的串可以采用分别被编码成０和１０的位数0和１。由于在该图灵机的表中，在二进位计数的结尾大写的数的位置足以把大写的０和１从其他小写的阿拉伯数字中区分开来，所以我们不需要用不同的记号。这样，110１将被读成二进位数1101，而在磁带上被编码成１０１００１０。特别是，0０读作00，它可毫不含糊地被编码成０，或者作为被完全省略的符号。实际上我们可以不必对任何箭头或任何在它紧前头的符号进行编码，而依靠指令的数字顺序去标明哪些符号必须是什么。尽管在采用这个步骤时，在必要之处要提供一些额外的“哑”指令，以保证在这个顺序中没有缝隙。这样的做法具有相当好的经济性。（例如，图灵机XN+1没有告诉我们对110０要做什么的命令，这是因为这条指令在机器运行时从不发生，所以我们应该插入一条“哑”指令，譬如讲110０→0０R，它可合并到表中而不改变任何东西。类似地，我们应该把10１→0０R插入到XN×2中去。）若没有这些“哑的”，表中后面的指令的编码就会被糟蹋了。因为在结尾处的符号L或R足以把一条指令和另一条隔开，所以我们在每一指令中实际不需要逗号。......

http://202.113.227.137/songz/index/ebook/chn/830.htm

noame

呵呵，的确有点拗口，个人感觉有点把不是太麻烦的问题复杂化（主要是借助译者那深厚的咬文嚼字功底），图灵的确是位了不起的天才，这种编码的思想以及对后世的影响之大的确非同一般，呵呵，如果有一天中国的某位高人能够得个图灵奖，那才真是牛了。

对于这类书，我觉得编码的奥秘倒是不错的入门选择，翻译的也还不错，chinapub有该书的全本，有兴趣的朋友可以看看。btw，coolsila兄，你给得连接我连不上，本来想看看的结果没有了相关的发言资格了，只好谈点别的，望兄莫见笑。

doshelp

下面是引用coolsila于2005-04-04 22:58发表的皇帝新脑:
  普适图灵机是万有的模仿者。“磁带”的开始部分赋予该普适机器U需要用以准确模拟任何给定机器T的全部信息！
......

彭罗斯主要想说明现实世界（包括意识）的不可计算性，也就是普适图灵机不可能是万有的模仿者！同时又强调“宇宙在所有时刻的全部历史都是固定的”。这就是他一直坚持的强宿命论（我也赞同这个观点）

该书还隐约提到理想连续模型在物理世界中的问题，就是牛顿同志一手建立的微积分大厦（现代科学赖以生存的数学基础）并不是那么完美。

到底用图灵检验来定义智慧充不充分，上帝或许有正确答案。

有兴趣的可以到这个地方Dr. Richard S. Wallace's ALICE和机器做一次对话（当然要用E文）

coolsila

noame兄，那个网址一直可用啊

谢谢doshelp兄提供的信息

我英文虽不行，也要试试机器人能模仿人到何种程度：

Human: Do you know Turning?
ALICE: No, tell me about him, her or it.
Human: I don't know,too
ALICE: Would you like to know? Do you like to be number one?
Human: yes
ALICE: Did you play a lot of sports in school?
Human: Can I ask you question?
ALICE: Sure, ask me anything. Of course. Ask me anything.
Human: what meaning of readfree
ALICE: I can ask someone about it.
Human: OK, I have my business,God bless you
ALICE: Have you told many people that your business God bless me? Whoa.
Human: I thing you misunderstand my meaning
ALICE: That's good information: unknown person said he thing you misunderstand his or her meaning.
Human: I think I'll say bye to you
ALICE: Since when? I am very happy for you.
Human: From now
ALICE: Right now? Do not ask me any more questions please.
Human: I have no question now
ALICE: Right now? Would you like to have it?
Human: I can't stand you

noame

晕了，怎么我这里的ip就是打不开，换了台同学的机器就好了，不会是封掉了我的ip吧，多谢coolsila兄，有时间一定好好研究研究，好像的确不错，不过如果一定要用代理才能看实在令人气愤，隔天到同学那里统统当下来好了。