历时99天,完成《GEB》电子版校对

从 3 月 12 日开始,历时 99 天,终于完成了《哥德尔、艾舍尔、巴赫》这本豆瓣第一科普书电子版的校对工作。包括电子版本书错误和原纸质版错误在内,总计提出各种勘误建议 500 条,还更新了不少插图,制作了生僻字和自造字的内嵌字体文件等,先佩服一下自己😄 。

原帖地址

以下为勘误总表(不包括《炸脖》、《文献目录》和注释):

位置上下文错误备注
作者为中文版写的序言 鬼与曹丞相完全没有来自异国它帮之感,因此“因此”改为“那么”纸版书是“因此”,但觉得改成“那么”更通顺
作者为中文版写的序言 没泡沫的可乐采纳这一方计看来肯定是更为合理的“方计”改为“方针”
作者为中文版写的序言 移译何时正当可能会有这样的反对意见“意见”后缺少冒号引号
概览 对位藏头诗该定理的一个解释是“是”后面缺少冒号引号
概览 蚂蚁赋格对话中惠藏了许多赋格技巧“惠藏”应为“隐藏”
概览 蚂蚁赋格那弦唱片上的赋格“弦”应为“张”
概览 心智和思维这样一个问題“題”改为简体
概览 心智和思维问题是大脑能否“是”后面缺少冒号引号
概览 对实论及我们妒何无意识“妒”应为“如”
插图目录投出字母一汉字状的影子“一”应为破折号
插图目录印符酶所拴的位托表“托”应为“置”
插图目录邦加德问题85 87号。数字之间缺少“~”
插图目录邦加德问题70 71号。数字之间缺少“~”
导言等多处“又称拨弦古钢琴”等多处括号内文字版式不一
导言 巴赫这是个意大利词,意思是“探求”此段不应缩进
导言 巴赫类似的说法:“recherché”最后的é前面在多看kindle上有空白可能是字体原因
导言 卡农和赋格quaerendoinvenietiso后缺空格
导言 艾舍尔 图7艾舍尔自画像纸板原文是“艾舍尔的自画像”
导言 哥德尔使得νGenγ或Neg(νGenγ)Gen前后缺少空格
导言 图6 图8等排版效果不好,插图太小,看不清
第三章 图形与衬底迄今为止我们巳把握到的概念是加法“巳”应该改成“已”
对话 三部创意曲然而就在那一瞵间“瞵”应该改成“瞬”
(目录中的标题)树懶卡农树懶卡农“懶”应该改成简体字“懒”(正文中的标题是正确的)
导言 消除怪圈但对于说谎者悖论或格瑞林悻论却不起作用“悻论”应为“悖论”
对话 三部创意曲(希腊的一位勇士,长着一双飞毛腿,是跑得最快的人)这段文字应该移到对话开始前的说明处
第二章 数学中的意义与形式总是喜欢找点理由,是那个“事实”千脆成了假的。“千脆”应为“干脆”
对话 二部创意曲假海龟从末发明过的双关语“从末”应为“从未”
第二章 判定过程把这一点记在心里形式“形式”前缺冒号引号
第二章 自底向上之别于自顶向下略微想一想之后,可以看到之前的“等等,等等”不应居中
第二章 同构产生意义读者甚至可以认为后面的符号串应为“—–q–p—”
第二章 主动意义之别于被动意义的影响而认为符号串后面的符号串应为“——–q–p–p–p–”
第二章 欧几里德的证明不能是2的倍数此行和以下几行应该居中或至少有缩进
第二章 绕过无穷不管60是什么改成“不管是什么”
对话 无伴奏阿基里斯奏鸣曲你自己知道是什么引起的吗后面缺少问号
对话 无伴奏阿基里斯奏鸣曲让我和你一起来研究研究。后面应拆分新段落
对话 无伴奏阿基里斯奏鸣曲用你那个“图形一衬底”的暗示“一”应为破折号
第三章 把握合数阻止自己把符号串认作数目3改成:阻止自己把符号串“—”认作数目3
第三章 图形和衬底当我们构思我们的印符数论(即TNT)括号一半全角一半半角
第三章 图形和衬底图17上下颠倒了,应垂直翻转一下原书错误
第三章 递归可枚举集之别于递归集那么我们总是能够刻划问题改成:那么我们总是能够刻划C。问题
第三章 素数作为图形而非衬底—-BZC————前半部分少一个短杠
第四章 《对位藏头诗》与哥德尔定理之间的映射留给你去寻找《对位藏头诗》中其它类型的隐含意义多了个“离”字原书也如此,但英文原文为“I now leave you to look for any other types of implicit meaning in the Contracrostipunctus”,所以应该是原书中就有的错误。
第四章 哥德尔的结果造成的问题乌龟说没有一个足够强有力的唱机会在“有足够强有力”改成“足够强有力”原书也如此,但去掉第二个“有”更通顺,而且紧接着的“哥德尔说没有一个足够强有力的形式系统”中也没有这个“有”字
第四章 非欧几里德几何面面观当一个人彻底离开日常之琐砗“琐砗”应为“琐碎”
第四章 假想的世界和一致性更具体地说就是一个系统加上解释是逻辑一致”的“逻辑”前缺少引号
第四章 视知觉中的稳定性层次一但确定了它们“一但”应为“一旦”建议检查下书中是否还有其他“一但”
第四章 数学在每个可想象的世界里都是一样的吗?必是恰有一条与之平行的直线但等一下“直线”后缺少省略号,并应拆分段落具体需对照原书
对话 和声小迷宫,这种时候你怎么还想吃东西“况咀”应为“况且”原书如此,但应改正
对话 和声小迷宫你最喜欢一幅?“那”应为“哪”原书如此,但应改正
对话 和声小迷宫然而把它们合在起“起”前缺少“一”原书如此,但应改正
对话 和声小迷宫由于他这么出了舌头应该是:由于他这么猛烈地摇晃,那两只蜥蜴“咝咝”叫着迅猛地朝他伸出了舌头
对话 和声小迷宫而阿基里斯却先小心地把着灯的链子从屋顶上的钩中脱出来应为:而阿基里斯却先小心地把挂着灯的链子从屋顶上的挂钩中脱出来
对话 和声小迷宫走下一段楼梯“陂”应为“陡”
对话 和声小迷宫阿基里斯轻轻地着刻在那盏黄铜灯“檫”应为“擦”
对话 和声小迷宫擦元灯“檫”应为“擦”
对话 和声小迷宫她擦元元灯“檫”应为“擦”
对话 和声小迷宫以前的那盏上有“元灯”字样“刘”应为“刻”
对话 和声小迷宫这个词一般指怪物怪物应为:这个词一般指怪物、元怪物
对话 和声小迷宫他们发现故事在继续进着应为:他们发现故事在继续进行着另外,这句话后面直到对话结束的排版有错误(但“可别是推入锅酥!推入锅酥和弹出锅酥可真不好分清呀。”这一句除外),需整体多缩进一级,因为对话结束时仍有一层“没弹出来”。
对话 和声小迷宫恐怕我污境恢复错了应为:恐怕我们的环境恢复错了
对话 和声小迷宫我希望我的愿望不批准应为:我希望我的愿望不被批准
对话 和声小迷宫它仅仅来得及记下我们是在艾舍尔的一幅有蜥蜴的画里去掉第一个“的”
对话 和声小迷宫现在我可以艾舍尔的世界里弹回我的房子里了应为:现在我们可以从艾舍尔的世界里弹回我的房子里了
对话 和声小迷宫哦,真的?书是什么?应为:哦,真的?书名是什么?
对话 和声小迷宫但是我可不想让那瓶弹出煮调冒险“冒险”前缺少“饮”
对话 和声小迷宫我现在就想它拿到手“想”后缺“把”
对话 和声小迷宫手杖伸出来抵墙壁应为:手杖伸出来抵着墙壁
对话 和声小迷宫让我们赶离开这儿吧“决”应为“快”
对话 和声小迷宫看你话说的样子应为:看你说话的样子原书如此,但改过来更好一点
第五章 什么是递归?假定和C的通话结束了。建议改句号为逗号原书如此,但觉得改过来更好一点
插图目录图81和图91前的序号错了
第五章 音乐中的堆栈和全局性的解决实际上“解决”后缺少句号原书印错位了,有句号但看不清
第五章 递归迁移网假定我们选择边通道的面一条通道“上”和“下”反了原书如此,但很明显错了
第五章 图案G和递归序列FIBC应为:FIBO
第五章 图案G和递归序列这两个函数的RTN彼此互相调用前面公式中的“当n>0”在kindle中上下不居中
第五章 一个紊乱的序列前17个Q数排列如下下面的公式中的第一个“10”有点分离
第五章 两个令人惊异的递归图这个问题是磁场中晶体“磁场”前缺少冒号引号
第五章 物质最低层次上的递归电荷守恒等等去掉“图”
第五章 物质最低层次上的递归中微子巧介子和夸克应为:中微子、π介子和夸克
第五章 副本和同一性这些鱼和时,它们才是一样的。人人都知道一条鱼的“鱗”是繁体
第五章 副本和同一性也不是这条鱼小副本“鱼”后缺少“的”原书如此,但应改正
第五章 副本和同一性我们便可以问这样一个问题后面缺少冒号引号
第五章 程序设计与递归:模块性、循环、过程测试自然数N是否素数的方法是“否”后应该加上一个“是”原书如此,但应改正
第五章 程序设计与递归:模块性、循环、过程高层循环的结果会是一大块布“结果”后面应该前加上一个“却”原书如此,改过来更通顺
对话 音程增值的卡农一壶茶和两个福气小绀饼“绀”应为“甜”
对话 音程增值的卡农自动唱机公理一张唱片一首歌。“公理”后缺少冒号引号冒号引号是个常见问题,建议用正则表达式统一查找一下
第六章 信息携带者与信息揭示者因此我们在从pq系统的定理中“pq”应为英文字符
第六章 任何消息都分三层列奥纳德·迈耶“需要不同的感知认识态度”后面的注释中写的是“列奥纳德·迈尔”原书如此,但应保持统一
第六章 地球沙文主义其它神类的智能生物“神”应为“种”
第六章 DNA中的消息有多大普遍性?就是若要恢复一条消息“是”后缺少冒号引号
第七章 存在一个对定理的判定过程吗在任何可能世界中都是真的“可能”后加“的”原书如此,但不通顺。而且我觉得把“conceivable”翻译成“可想象的”会更好点。
第七章 我们知道系统是一致的吗我现在来介绍在我所看到的这两个方面建议改为:我现在根据自己的理解来介绍一下它们原书如此,但很不通顺,英文原文为:I will now present those two sides as I see them
第七章 我们知道系统是一致的吗我不准备那怕是考虑一下“那”改为“哪”原书如此,但应改正
第七章 多处“⊃”在Kindle上显示不出来可能是字体原因,这样应该在所有版本的多看上都有问题
对话 螃蟹卡农那怕一丁、那怕一星“那”改为“哪”原书如此,但应改正
对话 螃蟹卡农“恐怕你也知道口味无须争辩”改为:恐怕你也知道:“口味无须争辩”
对话 螃蟹卡农美术字由陈春光设计。]去掉“]”跟原书对比,是“乐谱”前缺少方括号,但我觉得把后面的去掉也可以
第八章 螃蟹卡农和间接自指你可以想象当我,对话的作者,注意到这一点两个逗号改成破折号原书如此,但应改正
对话 和声小迷宫可别是推入锅酥!推入锅酥和弹出锅酥可真不好分清呀。排版错误,此句在第一层次,不应缩进上次调整缩进后,这句仍有错误
第八章 我们希望在TNT中都能表示些什么它仅只意味着自然数建议去掉“仅”、“只”中的一个或改为“它仅指自然数”原书如此
第八章 我们希望在TNT中都能表示些什么729是两个立方数的和“729”应为“1729”
第八章 变元和术语“-”这个串不是3这个数短杠数量不对
第八章 这一行中的窍门于是这个公式将成为后面公式中的b和c应该用a’、a"代替原书如此,但明显错了
第八章 翻译我们的例句但是–pq是定理这个事实,几乎一点也不依赖下面这一事实:其“等价的”串-p–q-得是个定理两个串应该分别是:–p-q—、-p–q—
第八章 翻译我们的例句比较起来我更喜欢下面这两种翻译它后面两种写法的括号都不匹配,等号两边各少一个右括号
第八章 关于良构性的规则如果S和t都是项“S”应小写
第八章 关于良构性的规则下面的规则是告诉我们如何去制作完整的良构公式后面的“原子”应该加粗
第八章 关于良构性的规则如果一个原子中含有一个变元那么u是在它里面是自由的改为:如果一个原子中含有一个变元u,那么u在它里面是自由的
第八章 关于良构性的规则如果U是一个变元,X是一个良构公式,U在它里面是自由的“UX”应小写
第八章 再来几个翻译练习不同的自然数有不同的后继后面缺少句号
第八章 再来几个翻译练习上面——并且你还颇知道点数论的时候,再去标点都改成逗号或都改成破折号原书如此
第八章 存在量词这个句子在TNT中的完美自然的表述删除前面的句号
第八章 非法的捷径你能把修补好吗改为:你能把它修补好吗原书如此,但明显错误
第八章 非法的捷径而然后用特称删除“而”原书如此,但不通顺
第八章 最后一条规则公式11中的“-”应为“=”
第八章 一个长推导公式17和18最后缺少“>”
第八章 一个长推导公式19中的“O”应改为“0”
第八章 一个长推导s能够在一个加法里面前后滑来滑去“s”应为大写
第八章 数论专家赋闲你就一定会到达x或者~X“X”应为小写
第八章 希尔伯特方案嵌入到系统中去东西改为:嵌入到系统中去的东西原书如此
对话 一首无的奉献“干吗”改为“干嘛”,共2处原书如此
对话 一首无的奉献阅读和欣赏公案就是在体行禅宗“体行”改为“修习”,共2处原书如此,英文为“Would you say that to read al koans is to practice Zen? ”,practice翻译成“体行”也说得过去,但觉得翻译成“修行”或“修习”更好
对话 一首无的奉献更喜欢那另一个公案去掉“那”原书如此,但不通顺
对话 一首无的奉献我想让你分享一个秘密“让”应为“向”原书如此
对话 一首无的奉献我真地逆箭头了“地”应为“的”原书如此
对话 一首无的奉献那它们一定是呆在它的一个出入方便的层里。不然就是堕界中的所有地方都同样地出入不方便那它们一定是待在堕界的一个出入方便的层里。不然就是堕界的所有地方出入难度都相同原书如此,感觉改一下更通顺一些
对话 一首无的奉献“呆”改为“待”原书如此,但表示“停留”时用“待”更合适
对话 一首无的奉献“玳瑁屡因僧问物皆具佛性也无?”标点错误,改为:玳瑁屡因僧问:“物皆具佛性也无?”
对话 一首无的奉献一曰改为:一日
对话 一首无的奉献他写下语音转录式“语音”改为“拼音”原书如此,但根据前文,“phonetic”译为“拼音”更好点
对话 一首无的奉献竟默然劈手攫过其串双挂于足间改为:竟默然劈手攫过其串挂于双足间原书如此,但根据前文,明显错误
对话 一首无的奉献我在那儿见过它“那”改为“哪”原书如此
第九章 因陀罗之网这两幅图像都能由扩充转移网简明漂亮地表示出来“转移”改成“迁移”原书如此,但在第五章中用的都是“迁移”
第九章 咨询TNT以解答有关可产生的数的问题“30是一个WJU”数翻译成TNT记号改成:“30是一个WJU数”翻译成TNT记号原书如此
第九章 自食恶果:对TNT进行哥德尔配数老的在新的下面后面的新记法串缺少逗号分隔符(后文提到了这些逗号)
第九章 自食恶果:对TNT进行哥德尔配数而质数的首笔是撇改成:而“质数”的“质”首笔是撇原书如此,但建议改一下,看了半天才看明白
对话 前奏曲…前奏曲及陚格曲“陚”改成“赋”
对话 前奏曲…我有一阵子喜欢得都要疯颠了“疯颠”改成“痴癫”原书如此,也没有错误,但后文都是“痴癫”
对话 前奏曲…某个声部一只是一种非常普通“只”前面的“一”改成破折号
对话 前奏曲…那样地至着脑袋“至”改成“歪”
第十章 描述的层次而是在一个平面的一片闪烁的光点改成:而是平面上闪烁的一片光点原书如此,但不通顺
第十章 组块化与棋术一个高手在和当今最好的下棋程序对局时仍可以稳操胜券建议加电子版注,指出:超级计算机“深蓝”在1997年5月击败了国际象棋世界冠军卡斯帕罗夫;浪潮天梭在2006年8月击败了由柳大华等五位中国象棋大师组成的大师队;谷歌的阿尔法围棋于2016年3月击败围棋世界冠军、韩国九段棋手李世石,后又于2017年5月击败世界排名第一的中国棋手柯洁。本书作者侯世达教授在深蓝战胜卡斯帕罗夫后评论说“这是历史性的转折,但和电脑变聪明了没有关系”(据维基百科“侯世达”)。
第十章 计算机系统然而不同的层次上得到的见解仍然极其不同的去掉最后的“的”原书如此,但不通顺
第十章 计算机系统一组对象被当作一个“块”而重新看成是一个单位改成:把一组对象当作一个“块”后,可以把它们看成一个单位原书如此,但不通顺
第十章 计算机系统一个典型的字中大概有36位左右建议加电子版注,指出:现代计算机字长一般为2的整数次方,即16位、32位、64位等
第十章 指令和数据指向存储器中其它字的“指计”“计”改成“针”
第十章 更高级的语言、编译程序和解释程序就是赋予它们下迷能力“迷”应为“述”
第十章 妄想狂和操作系统查出有多少用户在便用机器“便”应为“使”
第十章 计算机只能做你告诉它去做的事计算7C的前一百万位“7C”应为“π”
第十章 计算机只能做你告诉它去做的事程序执行停止于为代数表达式‘(A+B)/Z’,赋值的过程中改为:程序执行停止于计算代数表达式‘(A+B)/Z’的过程中原书如此(没有那个逗号)。但作为一个程序员,我觉得我的描述更准确一点
第十章 更高级的语言、编译程序和解释程序一个解释程序和一个编译程序相比,就像一个同声翻译和一个书面发言翻译相比一样改为:如果把编译程序比作书面发言翻译,那么解释程序就可以被比作同声翻译原书如此,觉得改一下更好一点
第十章 微程序设计和操作系统和以前当作奇迹的“裸”电话相比“以前”后面加“被”原书如此,改一下更通顺
第十章 组块化和确定性之间的利弊权衡一个组块化模型是定义了一个“空间”改为:一个组块化模型是:定义一个“空间”原书如此,改一下更通顺
第十章 两类系统这类似于气罐里的煤气所服从的定律“气罐”前加“煤”原书如此,改一下更一致,因为后文都是煤气罐
对话 蚂蚁赋格图60此图和原书不一样看的出这张图为了清晰重绘过了,但最低层的“无”没有体现,笔画的组成也与原书不一致,而对话中提到了这些东西
对话 蚂蚁赋格她确实是我有幸的结识的蚁群中受教育最好的一个去掉第一个“的”原书如此,改一下更通顺
对话 蚂蚁赋格“光荣的。”改为:“光荣的”。原书如此
对话 蚂蚁赋格改为:那么原书如此
对话 蚂蚁赋格蚁群和蚁队的道理也是一样的前面缺少句号
对话 蚂蚁赋格大脑里是没有种姓分布这类意儿的“类”后加“玩”原书如此,但明显错误
对话 蚂蚁赋格但我会好好考虑它们的。后面应拆分出新段落
对话 蚂蚁赋格已经叫我很头疼了去掉“这”原书如此,但不通顺
对话 蚂蚁赋格所以我看我们没法儿回答这个问题。后面应拆分出新段落
对话 蚂蚁赋格种音乐上的分号前面加“一”
对话 蚂蚁赋格几十年建立起来的改为:几十年建立起来的原书如此,但不通顺
对话 蚂蚁赋格一只共生的鱼正在过桥“蠢”应为“蠹”
对话 蚂蚁赋格从三百多天前那年起改为:从三百多天前的那年起原书如此,但不通顺,且与“前奏曲”中相应文字不呼应
对话 蚂蚁赋格“体”字是草体删除句号
第十一章 大脑中的“蚂蚁”它们都始于一个出自胞体的单一脉冲“胞”前加“细”原书如此,修改后上下文更一致
第十一章 脑的大尺度结构它却是能以一种非常基本的方式作出反应“是”改为“只”原书如此,觉得修改后更准确一点,英文原文:despite the complexity of its input, a single neuron can respond only in a very primitive way-by firing, or not firing
第十一章 汇集到神经模块某一时刻有人可能主张“有”前加句号原书有句号,但印错位了
第十一章 汇集到神经模块在她罩衫上有多少扣子去掉“在”原书如此,去掉更通顺一些
第十一章 活跃的符号因为一个神经元仅有唯一的方式发送信息改为:因为神经元仅用唯一的方式发送信息原书如此
第十一章 活跃的符号因而符所表示的概念大概也就是这种规模的“符”后缺“号”
第十一章 类与例不同于几天后的同一张报纸:正在我的炉子中燃烧改为:而不是几天后在我的炉子中燃烧时原书如此
第十一章 从类中分离例卫星绕着它转——些相应于“些”前缺“一”
第十一章 过程性知识和描述性知识根本就没有像“汉语”“汉语”改为“中文”原书如此,但“中文”与上下文更一致
第十一章 视觉表象你曾注意应与后文合并为一段
第十二章 心智之间能够彼此映射吗?一旦发生这种情况,就说明你没有充分理解你刚才的自己。你现在的大脑到你刚才的大脑的那个同构是不完善的。去掉“你刚才”中的“你”,两处原书如此
第十二章 心智之间能够彼此映射吗?然而的确有丰富的涵义传达出来。改为:然而,的确有丰富的涵义传达出来了。原书如此
第十二章 不同语义网络的比较假定我们同意称两个蛛网是“同构”的最合理标准是它们应该由同一种类的蜘蛛做成。那么改为:假定我们同意“两个蛛网同构”的最合理标准是“它们由同一种类蜘蛛做成”,那么原书如此
第十二章 “炸脖ꪡ”的翻译?
第十二章 “炸脖ꪡ”的翻译?仰或是一种爬行动物“仰”改为“抑”
第十二章 语言和文化在多大程度上引导思维?由一些从没有在广西住过的人们改为:让一些从没有在广西住过的人原书如此
第十二章 自想国中的旅行和旅行路线一个想法若充分经常地在一个人的大脑中重现改为:一个想法在人的大脑中重现足够多次以后原书如此
第十二章 可能的、潜在的、反常的通道这的确是些可能的路线去掉“些”原书如此
第十二章 可能的、潜在的、反常的通道梦也许就是这种在精神的自想国里随意的漫游改为:梦也许就是这种在精神的自想国里的随意漫游原书如此
第十二章 小说翻译的不同风格要是这样,我们用改为:要是这样,我们就应该用原书如此
第十二章 小说翻译的不同风格除去这几种办法以外删除“以外”原书如此
第十二章 小说翻译的不同风格加许多脚注来解释那些英语词的意思?换一种方式改为:然后加许多脚注来解释那些英语词的意思?或者换一种方式原书如此
第十二章 小说翻译的不同风格用一种不是他们母语的语言描述的事情改为:一件不是用他们的母语描述的事情原书如此
第十二章 程序之间的高层次比较这些组块使得每个程序看上去是从全局的规模——而非局部的规模——合理地设计出来的。这就是说,这些组块配合得很好地组织成程序,使我们能领会程序员的目的。这些组块使程序看上去是经过了合理的全局——而非局部——设计。也就是说,程序是由这些组块很好的配合在一起而组织成的,使我们能领会程序员的目的。原书如此
第十二章 程序之间的高层次比较这称为存储器倾卸“倾卸”改为“转储”原书如此,“转储”是“dump”目前更专业的翻译
第十二章 大脑之间的高层次比较而那个问题是编码在我们大脑中当前不活跃的区域里去掉“是”原书如此
第十二章 大脑之间的高层次比较而且实际上还能给出全部那个大脑的组块化描述而且实际上还能给出那个大脑的完整的组块化描述原书如此,但英文原文“give a complete chunked description of it”中,complete 修饰的是 description 而不是 it,所以修改后更准确也更通顺
第十二章 潜在信念,潜在符号如果这是我们在进行组块化描述时为之奋斗的目标如果这是我们进行组块化描述时的奋斗目标原书如此
第十二章 潜在信念,潜在符号从北京到广州的旅行即可以沿东面路线走“即”改为“既”原书如此,但明显错误
第十二章 子系统同时子系统与“外界”——也就是大脑的其余部分——之间也存在着大量通讯子系统和“外界”——也就是大脑的其余部分——也有大量通讯原书如此
第十二章 子系统每一支曲子都是在我大脑中一个单独的隔间里以某种方式制造出来,或“演奏出来”每一支曲子都是在我大脑中的一个单独隔间里以某种方式制造或“演奏”出来的原书如此
第十二章 子系统“我”开始获得了一个对那两个子系统活动的一个组块化描述。“我”开始获得了一个关于“那两个子系统的活动”的组块化描述。原书如此
第十二章 子系统和共用编码然后就几乎真的感应与后文合并为一段
第十二章 子系统和共用编码那么这个子系统是否包括了这样一些符号,它们分别对应于那些我认为在他大脑中会有的符号?那么,对于那些我认为在他大脑中会有的符号,这个子系统是否包括了一些与之分别对应的符号呢?原书如此
第十二章 子系统和共用编码那其实是多余的。很可能这个子系统会大量地利用我大脑中已有的符号。这其实是多余的,很可能这个子系统会大量利用我大脑中已有的符号。原书如此
第十二章 子系统和共用编码在我这里符号“山”的激活符号“山”在我这里的激活原书如此
第十二章 子系统和共用编码我这里对于他记忆的表示也是处于复杂的大脑符号彼此激活的形态他的记忆在我这里的表示也是处于复杂的大脑符号彼此激活的形态原书如此
第十二章 自我符号与意识像这样的子系统怎么能保证实际存在于我们的大脑里呢怎么能保证这样的子系统实际存在于我们的大脑里呢原书如此
第十二章 我们与卢卡斯的初次会面他甚至无法说出它能力的极限在哪里删除“他”原书如此
第十二章 我们与卢卡斯的初次会面那些没有被哥德尔问题所难倒的系统因此就不是图灵器,即,就它们对哥德尔问题的反应而言,在这种意义上,它们不是机器没有被哥德尔问题难倒的系统就不是图灵器,即:在“对哥德尔问题的反应”这一点上,它们不是机器原书如此,英文原文:In fact we should say briefly that any system which was not floored by the Gödel question was eo ipso not a Turing machine, i.e., not a machine within the meaning of the act.
第十二章 我们与卢卡斯的初次会面图灵器改为“图灵机”Turing Machine的标准翻译,可能应该在全书范围内查找一下
第十二章 我们与卢卡斯的初次会面我们还将回到在这篇奇怪的文章中撩人地一掠而过的许多话题我们还将回到在这篇奇怪的文章中许多撩人地一掠而过的话题原书如此
对话 咏叹调及其种种变奏一个名叫沃尔夫的人——位音乐学家“位”前加“一”
对话 咏叹调及其种种变奏我们能得到《哥德堡变奏曲》全部的其余部分改为:我们能得到全部的《哥德堡变奏曲》原书如此
对话 咏叹调及其种种变奏两个问题都还有解决“有”前加“没”原书如此,但明显错误
对话 咏叹调及其种种变奏看得出测试这些性质完全都是直截了当的改为:这些性质的测试全都是直截了当的原书如此
对话 咏叹调及其种种变奏在这儿呆了这么长时间“呆”改成“待”原书如此,但“待”的意思更合适
对话 咏叹调及其种种变奏古怪的一份名单啊后面名单排版有问题,对角线(kindle上)不明显,建议用等宽字体或改用表格图片等
第十三章 可体现性与冰箱因此他要求“他”改为“它”原书如此,但前半句用的是“它”,保持一致
第十三章 可体现性与冰箱这些N中的“核心真理”是什么后面加“呢”原书如此
第十三章 可体现性与冰箱将作为我们称一个系统为“足够强有力”的判别标准将作为我们判别一个系统是否“足够强有力”的标准原书如此
第十三章 元数学中的岩头之斧结果你的系统即是不完备的。另一方面,如果你的系统不是足够强有力的(即不是所有原始递归真理都是定理),那么你的系统由于有这个缺陷,也是不完备的。结果你的系统是不完备的。反过来,如果你的系统不足够强有力(即不是所有原始递归真理都是定理),那么因为这个缺陷,它也不完备。原书如此
第十三章 元数学中的岩头之斧人们发现很弱的系统依然是会受到哥德尔方法攻击的人们发现很弱的系统依然会受到哥德尔方法的攻击原书如此
第十三章 选择适当的过滤器来发现有序排版:对话的楷体在kindle上无效
第十三章 BlooP测试IF N=0, THEN“N=0”改成“N<2”,中文注解也应相应修改原书错误,程序逻辑会导致1被判为素数。另外本章等号全角半角不太一致,建议统一查找处理,英文字符中间的等号全改为半角。
第十三章 BlooP程序包含了过程组成的链这样,一个完整的BlooP程序的例子应当是一个过程 TWO-TO-THE-THREE-TO-THE 的定义,后面跟着一个调用
TWO-TO-THE-THREE-TO-THE[2]
这将会得到答案512
例如,过程 TWO-TO-THE-THREE-TO-THE 的定义和后面跟着的调用
TWO-TO-THE-THREE-TO-THE[2]
合起来构成了一个完整的BlooP程序,它的运行结果是512
原书如此,但歧义很大,易让人把“一个完整的BlooP程序”误解为本章的一节。修改时请注意排版
第十三章 BlooP程序包含了过程组成的链LOOP AT MOST应为“LOOP AT MOST N TIMES”,后面的中文注解应该“循环至多N次”
第十三章 推荐的练习题此节练习题排版效果不好,建议按下面的方式:
(1) FACTORIAL[N]﹦N!(N的阶乘),例如:
  • FACTORIAL[4]﹦24
(2) REMAINDER[M,N]﹦用N除M所得的余数,例如:
  • REMAINDER[24,7]﹦3
(3) PI-DIGIT[N]﹦π在小数点后的第N位数字,例如:
  • PI-DIGIT[1]﹦1
  • PI-DIGIT[2]﹦4
  • PI-DIGIT[1000000]﹦1
第十三章“表示”一个谓词只不过是一个从自然语言到严格的形式化表述的翻译问题“表示”一个谓词只是从自然语言到严格的形式化表述的翻译问题原书如此
第十三章而要“体现”一个谓词,这可就是个强得多的概念了而“体现”一个谓词就是强得多的概念了原书如此
第十三章任何具体的加式任何具体的加法算式原书如此
第十三章我们可以设想这张表的开始部分可能是这样的去掉“可能”原书如此
第十三章然后把其中的每一个都设成别的什么数字“设”改为“改”原书如此
第十三章例如,设我们从每个对角线上的数字中减去1(并约定0减1得9)。那么我们例如,如果我们从每个对角线上的数字中减去1(并约定0减1得9),那么我们原书如此
第十三章康托尔的论证可能似乎不足以完全使人信服去掉“可能”、“似乎”中的一个原书如此
第十三章这种特性使得我们可以用FlooP为妙极性及乌龟性质这样的性质写测试程序——而这样的测试程序我们用BlooP是无法写出的这种特性使我们可以用FlooP为“妙极性质”或“乌龟性质”这样的性质写测试程序——而这样的测试程序是无法用BlooP写出的原书如此
第十三章而且导致一个不同于1-4-2-1-4-2-1……的封闭循环但导致了一个不同于1-4-2-1-4-2-1……的封闭循环原书如此
第十三章立刻我们就会想到我们立刻就会想到原书如此
第十三章它们只有形式上差别它们只有形式上的差别原书如此
第十三章因为这对我们的目标说来是没有必要的因为这对我们的目标来说是没有必要的原书如此
对话 G弦上的咏叹调两人吃吃地笑起来“吃吃”改为“哧哧”原书如此,但“哧哧”是更标准的象声词
对话 G弦上的咏叹调现在可以用不着这个窍门了去掉“可以”原书如此
第十四章说哪一个想法更为深刻的“活”应为“话”原书错误
第十四章我们离开一会儿TNT证明对我们离开TNT证明对一会儿原书如此
第十四章下面有个类似的例子“面”应为“两”原书错误
第十四章逐个检查它们是否能根据某一条推理规则从这个所谓推导的某些出现在先的行中得到逐个检查它们是否能根据某条推理规则从前面的某些行中得到原书如此
第十四章如果全部非公理的行都是根据推理规则从出现在先的行中得到的如果全部非公理的行都是根据推理规则从出现在前面的行中得到的原书如此
第十四章是否TNT定理是否是TNT定理原书如此
第十四章~∃a:∃a’:SSSS0应为:~∃a:∃a’:SSSS0
第十四章对哥德尔数为a"公式作算术对哥德尔数为a"的公式作算术原书如此
第十四章一个大得难以想象的数后面公式(即formala07.png)中,所有的123之间都应该有逗号,且省略号前后字体应相同
第十四章那末应为:那么原书错误
第十四章非定理一个符号串的哥德尔数代入一开公式此段应删除,跟后面的列表重复
第十四章我们怎么居然能做这么荒唐而又蹩脚的事呢删除“居然”原书如此
第十四章引进即“超自然数”也就是引进了“超自然数”原书如此
第十四章当有人问他:“人的两条腿删除冒号原书标点错误
第十四章还有一个数的平方根也是1还有一个数的平方也是-1原书多了个“根”,电子版缺少负号
第十四章但却拿不出否证但却没有否定它的证据原书如此
第十四章对此戴维斯[Davis]与赫什[Hersh]的文章《希尔伯特第十问题》有更全面的论述戴维斯[Davis]与赫什[Hersh]的文章《希尔伯特第十问题》对此有更全面的论述原书如此
对话 生日大合唱
对话 生日大合唱那可是一门受人尊敬学问那可是一门受人尊敬的学问原书错误
对话 生日大合唱我以为我现在看穿了你的那个无穷把戏我已经看穿了你那个无穷把戏原书如此
对话 生日大合唱那末那么原书错误,已出现多次,建议全书查找替换
第十五章形成TNT征明对“征”应为“证”
第十五章会受到哥德尔证明的打击受到哥德尔证明的打击原书如此
第十五章~∃a:a’<(TNT+G)应为:~∃a:∃a’<(TNT+G)
第十五章不存在一个数a能与u“u”应带撇
第十五章多重分叉现象排版错误,第一次出现时应为章节标题,第二次没问题
第十五章加进TNT应是把所有的数论真理壳全公理化时所需步骤中的最后一步加进TNT是把所有的数论真理完全公理化时所需步骤的最后一步文字润色和错别字修改
第十五章就可以在TNT+Gω内部体现诸如“ω”应为脚标
第十五章但距形式地定义算术真理却相去甚远但却与形式地定义算术真理相去甚远原书如此
第十五章可以公理标出来的一个子程序可以把公理标出来的一个子程序原书错误
第十五章机器不能保持着真理性地把这个公式产生出来,尽管人类心智会看出它是真的尽管这个公式是真的,机器却不能生成它,而人类心智则能看出它是真的原书如此,但觉得翻译有问题,英文原文:This formula the machine will be unable to produce as being true, although a mind can see it is true.
第十五章那只能看作是肚皮挨拍的跳水——倒是挺感人改成“就只能说是夜郎自大了”或“就只能说是不自量力了”建议性质,原文是直译,没有错误,但感觉有点像“没泡的可乐”,英文是:which can only be considered a pathetic bellyflop if it is attempting to produce all of number theory’s truths
第十五章我们仍将继续由于这种像墙和纸那样的平的表面而对空间产生错觉我们仍将继续由于这种平的表面而对空间产生错觉原书如此,根据上下文,删掉“像墙和纸那样的”不会改变语义,但让句子变通顺
第十五章它仍然是呆在平面上“呆”改为“待”原书问题,“待”更合适
第十五章这条龙极力想挣脱他的二维性“他”改为“它”原书问题,应与上下文保持一致
第十五章那末那么原书如此
第十五章生日大合唱哇乌阿乌阿生日大合唱哇哇哇乌阿乌阿乌阿原书如此,但应与前文标题一致
第十五章由于她与自己很相似,他感到非常激动,而此时这种相似性也使她有点恐慌一开始,他由于她长的与自己很像而非常激动,但之后就有点害怕了原书如此,但翻译错了,英文原文:Such a thing he has never seen before, and at first he is wondrous thrilled at her likeness to himself; but then, slightly scared of her as well
第十五章我们偶而也能打破常规“而”改成“尔”原书错误
第十五章他对这整个环境都是客观的删除“这”原书如此
对话 一位烟民富于启发性的思想都不过是尘芥不过是土壤“尘芥”后加一个逗号原书如此
对话 一位烟民富于启发性的思想这是他那些鬼话里一句“一句”前加“的”原书错误
对话 一位烟民富于启发性的思想然后深吸了儿口烟斗“儿”应为“几”
对话 一位烟民富于启发性的思想我不想自命我明白事情的原因我不知道事情是如何发生的原书如此
对话 一位烟民富于启发性的思想我打算嚼碎所有那些设有正确标记的唱片“设”改为“没”,删除“那些”修正原书错误并改进措辞
对话 一位烟民富于启发性的思想他陷入沉默中,随后,吸了几口烟斗,一脸深思熟虑的样子他陷入沉默,随后,满脸沉思的吸了几口烟斗原书如此,但觉得翻译的不好,英文:He trails off into silence. Then, looking quite pensive, he takes a few puffs on his pipe.
对话 一位烟民富于启发性的思想画有燃烧的大号那幅画下面的那个屏幕画有燃烧的大号那幅画下面的那个屏幕原书如此
对话 一位烟民富于启发性的思想如果13不是个素数的话,我会再加上一个的。这句话是图81图注的一部分图81建议拆成几张小图,现在只能显示在一页上,图太小,文字看不清
对话 一位烟民富于启发性的思想他又转回头盯着屏幕,脸上掠过一丝惊诧的神情。排版错误,此句应为楷体
对话 一位烟民富于启发性的思想摄像机也没动呀。螃蟹:偶而排版错误,应从“螃蟹”前拆分新段;“偶而”应改成“偶尔”
第十六章这一串串单词就是冰山的尖顶“单词”改成“字符”原书如此,但“单词”是个英语概念
第十六章它是一幅说谎者自杀自语的写照。它是说谎者处决自己的写照。原书如此,但觉得翻译有问题,根据图片的标题改了一下。但可能也有问题,英文原文:it is a picture of Epimenides executing his own death sentence. 注意其中的“sentence”可能是个双关,因为它既有“句子”的意思又有“判决”的意思。
第十六章图84通过显示冰山的可见部分和不可见部分,提示了对所处理的句子来说,为辨认自指性所需要的相对比例。而为了辨认一个句子的自指性所需要的处理的相对比例,就像是图84中的冰山的可见和不可见部分的相对比例。原书如此,但后半句缺个定语,读起来很不舒服
第十六章不过,这种尝试总归要失败,因为任何一个能够在自身内部整个地引用的句子,总得比它自身短不过,这种尝试必然失败,因为一个句子引用自己后得到的新句子总是比自己长原书如此
第十六章在一个汉语句子中利用描述——不利用自引用或使用词组“本句子”——但仍达到自指目的的方法之一就是蒯恩的方法蒯恩的方法是使用描述——而不是自引用或词组“本句子”——来在一个句子中实现自指的方法之一原书如此
第十六章是前三行的程序所定义的一个过程是程序的前几行定义的一个过程原书如此,但纸版的三行在电子版上可能变成四行、五行,所以需要改一下,顺便改的通顺一点
第十六章在尽可能的程度上,它明显地含有复制自己的指挥过程它应该尽可能明显的包含复制自己的方法原书如此,英文:to the maximum extent possible, it explicitly contains the directions for copying itself.
第十六章要的仅仅就是我7“我”改成“按”原书错误
第十六章由于信息全存在自动唱机内“存”前加“保”原书如此,但易将“存在”误认为一个词而导致断句错误
第十六章说的是把它译成来自太平洋另一侧的语言,并加上引号放在前面说的是把它译成太平洋另一侧的语言,然后再加上引号放在前面原书如此
第十六章一个精确的“象”“象”改为“像”原书错误
第十六章写出G的语言TNT似乎根本没有希望谈论自己的结构写出G的语言——TNT——似乎根本没有希望谈论自己的结构原书问题
第十六章另一面“什么是原件?”“面”后缺少冒号
第十六章现在,我们该讨论二十世纪中一项最吸引人而又意义深远的课题了:对“生命王国的分子逻辑”进行研究现在,我们该讨论“生命王国的分子逻辑”这个在二十世纪最吸引人而又意义深远的课题了。原书如此
第十六章DNA⇒RNA⇒蛋白质“⇒”没有使用嵌入字体,显示不出来(但上一版好像能正常显示)
第十六章而嘧啶拷贝成嘌呤而嘧啶总是复制成嘌呤原书如此,但与前半句用的是“复制”,所以把“拷贝”改成“复制”
第十六章如果复制养成在持续,那么“插入”指令就与两个串有关——基自身插入酶所工作的串,其补基插入另一个关了,插入其补串的必定是一个空格。如果复制状态在持续,那么“插入”指令就与两个串有关——基自身插入酶所工作的串,其补基插入另一个串。而在非复制状态下,“插入”指令就只与原串相关了,所以必须在其补串上插入一个空格。原书错误,应该是丢字导致了完全的“不知所云”,尝试着翻译了一下。英文:If Copy mode is on, then the “insert” command pertains to both strands - the base itself into the strand the enzyme is working on, and its complement into the other strand.If Copy mode is off, then the “insert” command pertains only to the one strand, so a blank space must he inserted into the complementary strand.
第十六章总是不处于拷内阁状态的复制状态总是关闭的原书错误
第十六章后代会发生什么事情后代时会发生什么事情原书如此
第十六章印符遗传密码如图87所示图87中有错误,G那一行缺少翻译
第十六章断成二元组,就是排版错误,不应缩进后面的两行中文也不应缩进
第十六章图88.印符酶的三级结构此图中的左右箭头显示不出来,应使用内嵌字体相同问题后面还有,需全文检查
第十六章如左边的箭失所指出的“失”应为“头”
第十六章读者在了解印符遗传学的过程中“者”后加“把”原书如此
第十六章出现在DNA核苷酸中的四种类型的基是后文排版有问题,大括号右边的文字上下未居中
第十六章与顺着脊柱方向的强共价键比较“比较”改为“相比”原书如此
第十六章也比较容结合“容”后缺少“易”
第十六章如印符遗传学一样“如”改为“同”原书如此
第十六章看上去有点像是这样排版问题,后文中的“模板”和“副本”应该是逐字对齐的原书问题,英文版是对齐的
第十六章每一种都由三个字母来表示后文表格中的“谷氨酸”对应的字母应该是“glu”原书错误
第十六章图94.遗传密码排版问题:此图建议不要绕排,字太小看不清
第十六章图95.肌红蛋白的结构此图的标题应为:从一些高分辨率的X光资料推断出的肌红蛋白的结构
第十六章选自莱宁格尔《生物化学》“尔”后缺少逗号
第十六章因为总是要追溯到同一种类次序在先的成员身上因为往前追溯总是会遇到当前对象的同类原书如此
第十六章在每个酶中都有一个裂缝或口袋或别的某种界说清楚的外貌牲每个酶中都有一个裂缝或口袋或某种别的清晰定义的外观特性原书如此
第十六章有时也会遇上“画饼”“画饼”改成“李鬼”原书问题,“画饼”对应的英文是decoy,意为“诱饵”,译成“画饼”显然不合适,结合上下文,觉得翻译成“李鬼”要好一些
第十六章这种事情可以持续三、四层删除顿号原书问题,但根据顿号使用规范,这里不应有顿号
第十六章到头来,生产出最后定型的酶的副本的一个“指示器”最后,生产出一大批最终型号的酶的副本原书问题,英文:In the end a “shower” of copies of the final type of enzyme is produced,其中的shower应该是一大批,而不是指示器
第十六章Felis-catus改为“家猫”,两处原书问题,根据维基百科,Felis-catus就是指普通的家猫
第十六章可能就会更好地体会这个值得注意的事实建议加电子版注,指出:“猫”在英语里是“CAT”
第十六章DNA能被读成这样的序列后面序列的排版在Kindle上很乱,建议改成图片形式,原书上没有另外“二级结构”那一行
第十六章不可在这台唱机播放的唱片“机”后缺少“上”
第十六章不可由这个细胞复上制的DNA串删除“上”
第十六章把唱片的音糟转变为声音的过程DNA串“糟”应为“槽”
第十六章多幅插图来源的作者和书名之间应该有逗号,但目前体例不一。不只本章
第十六章大约二十四、五分钟删除顿号原书问题
第十六章图103.T4病毒的形态发生删除“发生”,另外此图太小,看不清,建议不要绕排。
第十六章机制之中后面加“的”原书如此
第十六章而是计算数值后面公式中的“n”都应是大写
第十六章从而哄骗那些它们打算侵入的细胞来复制它们第二个“它们”改成“自己”原书如此,根据上下文,“自己”更容易理解
第十六章在被转录时它将促使一些将会毁掉这个细胞(或DNA)的蛋白质生产出来,而这就造成该DNA的“非复制过程”在被转录时它将促使一些能毁掉这个细胞(或DNA)的蛋白质被生产出来,从而造成该DNA“绝收”。原书如此,non-reproduction被直译成了“非复制过程”,但我觉得“绝收”更生动些。
第十六章各自发展起来的保护和颠覆这两种机制的精神实质各自发展起来的两种机制--保护和颠覆--的精神实质原书如此
第十六章对于我们想要加以区分的那些混合在一起的层次,大自然却感到十分惬意我们倾向于认为有明显区别的那些层次,被大自然十分惬意的混合在了一起原书如此,但觉得翻译不准确,英文:nature feels quite comfortable in mixing levels which we tend to see as quite distinct
对话 的确该赞美螃蟹这的确是一部了不起的作品“的确”改成“可”原书如此(这句话是中文特有的,没有对应英文),但“可”的语气更合适
对话 的确该赞美螃蟹我跟你说起过螃蟹不久前收到了一封莫名其妙的崇拜者来的信吗我跟你说起过螃蟹不久前收到了一封崇拜者写来的莫名其妙的信吗?原书如此
对话 的确该赞美螃蟹那么我就不插嘴了,你们继续讨论吧。我奉陪了那么我就陪你们走走,但不插嘴了,你们继续讨论吧原书如此,但“奉陪”容易被误解成一起参与讨论
对话 的确该赞美螃蟹无论按数学这个词的哪种意义来说,我当然都不是什么数学家当然,无论按数学这个词的哪种意义来说,我都不是什么数学家原书问题
对话 的确该赞美螃蟹祛在长笛上“祛”应为“挂”
对话 的确该赞美螃蟹他演奏起来,看上去挺严峻排版错误,应为楷体
对话 的确该赞美螃蟹这个一这个一这个两格“一”都应该是破折号
对话 的确该赞美螃蟹突然!得如释重负应为:突然显得如释重负
对话 的确该赞美螃蟹神情泣丧地应为:神情沮丧地
第十七章下面这段文字引自斯坦尼斯拉夫·乌兰姆的自传《一位数学家的奇遇》下面这段引自斯坦尼斯拉夫·乌兰姆的自传《一位数学家的奇遇》的文字原书如此
第十七章那天,我从报上读到排版问题:建议把这句话和下面的一句改成引文版式
第十七章他坚持认为他只是靠模糊的直觉得出这个结果的,与那个自觉地进行研究探索的王国全不相干然后坚称这个结果完全来自自己模糊的直觉,这与那个有意识的进行研究探索的领域是格格不入的原书如此
第十七章连分数的第一项是我已经得到的解应从此句之前拆分新段
第十七章以后的逐个的项则表示了如果街上的门牌号数可以无限制地增长下去时,两个数之间的同种类型的关系的问题的逐个答案而如果街上的门牌号数可以无限制地增长下去的话,后续各项就将依次成为这个问题的后续的解。原书如此
第十七章读者会发现,动手解一解有关二次方的类似问题肯定很有意思,而这就要容易得多了有关二次方的类似问题要容易的多,读者可以试着动手解一解,说不定会觉得很好玩的原书如此
第十七章载詹姆斯·纽曼编,《数学世界》逗号应改成“的”
第十七章图105.湿利尼吠萨·拉玛奴衍及其神奇的印度旋律之一排版问题,图注的文字应该放到公式下面,或者把这张图分成A,B两部分,A部分图注是拉玛奴衍,B部分图注是印度旋律
第十七章就在我脑子是出现了“是”应为“里”原书错误
第十七章只是他可以用不同寻常的速度和准确来做好它“准确”后加“度”原书如此
第十七章ABOUT应为:ABORT原书错误
第十七章注释的第3、5、6、7、8条,“纽曼书”应为全文,即第2条页码之前的内容多看弹注是分离的,读者可能没看第2条,这样就不知道“纽曼书”指啥了。
第十七章因而最终是被“硬件”所支持删除“是”原书如此
第十七章层次使思维得以“滲透”“滲”应为“渗”
第十七章图107.大脑的神经和符号运动排版问题,字太小,建议不要绕排
第十七章完全不同种类的基质智商的“智商”应为“之上”
第十七章深究诸如人类心智等这类抽象结构时删除“这类”原书如此
第十七章外的东西时。它才算是出句号应为逗号原书问题
第十七章“是定理”这个性质是可表示的(尽管不是可体现的),这我们已然看到我们已然看到“是定理”这个性质是可表示的(尽管不是可体现的)原书如此
第十七章以辨认出它是否一条定理“否”后加“是”原书如此
第十七章不知什么原因,涉及到了意义这一事实,与很难弄清一个符号串是否是TNT定理,这两者是密切相关的不知什么原因,“涉及到了意义”这一事实,与弄清一个符号串是否是TNT定理的难度,是密切相关的原书如此
第十七章其意义总还有些方面未被发现也不可能发现其意义的所有方面原书如此
施德鲁,人设计的玩具图110, 111和112图片上蓝色物体上的“蓝”字在黑白屏上看不清,建议反显;图注(“与施德鲁对话开始时的情景”等)在原书上没有,它们来自插图目录,但并不合适(尤其是图112,并非最终状态),建议保持和原书一致,并修改插图目录
施德鲁,人设计的玩具再采取行动。施德鲁:行“施德鲁”前拆分段落原书错误
施德鲁,人设计的玩具“上边”统一替换成“上面”原书问题,一些相互关联的上下文不一致
第十八章一个硬件层次上的运行偶然失误一个偶然的硬件层次上的运行时失误原书如此
第十八章至于原来那个问题“机器能思维吗?”“问题”后加破折号原书如此
第十八章模拟神经元系统的行为删除“元”原书问题
第十八章十分浮浅十分肤浅原书问题,“浮浅”指态度、作风等,“肤浅”指具体的事物
第十八章比如说,的确无法设想一个人能够模拟“伊莉莎”的行为,对他来说“伊莉莎”的语言能力构成了他的极限比如说,当一个人仅具有“伊莉莎”的语言能力时,的确无法设想他能模拟“伊莉莎”的行为原书如此,但感觉翻译有问题,英文:it is truly impossible to imagine a human who could imitate ELIZA, for example, but for whom ELIZA’s language abilities were his limit
第十八章设法确定和它们笔谈的“它们”改成“他们”原书问题
第十八章在特定领域中问答问题“问答”应为“回答”原书错误
第十八章段落成更长的文章应为:段落或更长的文字片段原书错误
第十八章因为他对于这个世界具有深入的理解删除“于”原书如此
第十八章即使是那些启发式规则也不像正式规则那样严格,它们为了解棋盘上进行的事件提供捷径,而正式规则是不能提供这种知识的虽然不像正式规则那样严格,但启发式规则为了解棋盘上进行的事件提供了捷径,而这是正式规则做不到的原书如此
第十八章我不能在唱机X上被播放我不能在被唱机X播放原书如此
第十八章并以此来处理复杂的概念意义,那时这种情况才可能发生并以此来处理复杂的概念意义时,这种情况才可能发生原书如此
第十八章这样现在你就把两个子目标删除“现在你”原书如此
第十八章尽管目标找是无穷大的“找”应为“栈”
第十八章有一个目标的话,就使得你能构成一种达到那个目标的策略。这和机械地超前搜索是基于两种完全不同的原理有一个目标就使你能构成一种达到那个目标的策略,这是与机械的超前搜索完全不同的理念原书如此,英文:Having a goal enables you to develop a strategy for the achievement of that goal, and this is a completely different philosophy from looking ahead mechanically
第十八章决定乘车去南边一百公里地方“地方”前加“的”
第十八章那我意须先进行许多“意”应为“必”
第十八章它们此在对感知情景方式的选择中应为:它们,因此在对感知情景方式的选择中
第十八章能解决各种各样的问题前面加上“以便”原书如此
第十八章就得跳出系统之外删除“之外”原书问题
第十八章而只有当一个程序中的数学知识是包含于广博的现实经验之中的时候,或许才能被我们认为是以与我们同样的方式在“理解”或许,只有当一个程序将数学知识植根于广博的现实经验之中的时候,我们才会认为它是以与我们同样的方式在“理解”原书如此,主要修改了对embed的翻译,从“包含”改为“植根”
第十八章这种想法被下棋程序所证实,在这些程序里棋盘局势被编码在某种矩阵或列表之中下棋程序证实了这种想法,在这些程序里,棋盘局势被编码在某种矩阵或列表之中原书如此
第十八章那你还不如开始就直接把这些信息表示成过程的形式“开始”前加“一”原书如此
第十八章后者允许复杂的比较可以更自然地得以实现后者允许更自然地实现复杂的比较原书如此
第十八章开始我想把语法搞成具有灵活性和递归性的最初,我想把语法设计的具有灵活性和递归性原书如此
第十八章面在那以后“面”应为“而”
第十八章因为这个原因它们以一种新的方式引人发笑它们因此而以一种新的方式引人发笑原书如此
第十八章杂志中摘下来的排版问题,后面的注应该挪到逗号前面原书问题
第十八章则是远远超出意义之外的则是远远超出了“意义”的原书问题
第十八章但和pq系统不同的是,这些“定理”当这样解释了之后并非都是真陈述但和pq系统不同,在这样解释了之后,这些“定理”并非都是真陈述原书如此
第十八章某些积木可能迭在别的积木“迭”应为“叠”原书问题
第十八章在汉语中5个最常用的名词“5”应为“五”原书问题,不符合汉语规范
第十八章注意如果第一个寻找指令是事先说明只查找一个特定对象的话注意,在事先说明了第一条指令 --找到方块X1--只查找一个特定对象的情况下原书如此
第十八章程序将检查对这个项来说该目标是否成立程序将检查该目标在这个项上是否成立原书如此
第十八章一旦从一段自然语言中生成了一个Planner程序,然后它就可以被送到Planner解释程序,这时施德鲁的高层就可以被解放出来,去处理新的任务了这样,根据自然语言生成了Planner程序并将其送到Planner解释程序之后,施德鲁的高层就可以被解放出来,去处理新的任务了原书如此
第十八章这都是今天的人工智能所面临的一些最困难的问题这几个是人工智能在今天所面临的最困难的问题中的一部分原书如此
第十八章我们就很难说清人工智能系统的哪一层应该完成一个任务的哪一部分所以很难说清人工智能系统的哪一层应该完成一个任务的哪一部分原书如此
第十八章这就使你对本章前面的对话场景背后的东西略见一斑希望以上内容能帮助你管窥一下本章前面的对话场景背后的东西原书如此
对话 对实我已经与闻不少了“与”改成“耳”原书错误
对话 对实乒乓球应为:乒乒球原书错误(根据第十九章内容)
对话 对实第三个四分之一场第三节原书如此,但“第三节”是目前体育比赛的通用翻译
对话 对实紧右边改成“最右边”,两处原书如此,但怀疑“紧”是方言,可能有些人看不懂
对话 对实都是亊实的本来面目“亊”应为“事”
对话 对实要是螃蟹贏得了虚拟电视机的话“贏”应为“赢”
第十九章这福作品“福”应为“幅”
第十九章弗朗克教授“朗”应为“兰”原书问题,前后不一致
第十九章哪些是“胡闹”后面加“呢”原书如此
第十九章一个活生生的心智总能发现通往可能性世界的窗口一个活生生的心智总能发现通往充满了可能性的世界的窗口原书如此,英文:A live mind can see a window onto a world of possibilities
第十九章它们构成了情景中暂时固定的方面,虽然不是永久固定的它们虽然不是永久固定的,但却构成了情景中暂时固定的方面原书如此
第十九章一个环境的可计算例示环境的可计算的实例化原书如此,英文:a computational instantiation of a context
第十九章要分析我们是如何感知一个复杂事件分析我们如何感知一个复杂事件原书如此
第十九章在一定程序上被“理解”了“序”应为“度”原书错误
第十九章表示了下列思想后文排版建议改成列表形式,两处
第十九章以致于根本丧失意义以致于完全丧失意义原书如此
第十九章邦加德问题70~71号第70号问题的I-D图中的一条线段中间断了
第十九章随便说一下顺便说一下原书如此
第十九章这种多少是对严格模拟的小小偏离,但显然还是保持有螃蟹卡农的精神这多少是对严格模拟的小小偏离,但显然还保持有螃蟹卡农的精神原书如此
第十九章因为我是以一种前所未有过方式看到它的“过”改为“的”原书如此
第十九章而不是某种需要“人工授精”的东西,不论是通过骰子、衰变的原子核、随机数表还是别的什么而不是需要通过骰子、衰变的原子核、随机数表或别的什么方式来“人工授精”的东西原书如此
第十九章它们所做的事大多数还都是很“机械的”它们所做的事大多数还都很“机械”原书如此
第十九章这仅仅证明事实上它们还没能准确地模仿我们的思维方式这仅仅证明了它们还没能准确地模仿我们的思维方式这个事实原书如此
第十九章具有共同的概念骨架的概念以一种类似于和谐的方式产生共鸣,这种和谐的“概念和弦”如果在一张想象的“概念键盘”上测量,各个键可能离开很远共享同一概念骨架的思想以一种类似于和弦的方式产生共鸣,如果在一张想象的“概念键盘”上测量这种和谐的“概念和弦”,可能会发现其邻近的“音符”同样相距甚远原书如此,觉得翻译不准确,前半句的英文:Ideas that share a conceptual skeleton resonate in a sort of conceptual analogue to harmony
第十九章而在人们那里则像是而在人这里则像是原书如此
第十九章就必须全部拥有这些知识就必须拥有全部这些知识原书如此
第十九章好像人类的确不是受规则所控制的好像人类的确是不受规则控制的原书如此
第十九章程序化了的“乐盒”台式的“台”前少冒号
第十九章它里面得能把诸如希望与恐惧删除“里面”原书如此
第十九章为什么这对一个智能程序就不能同样成立呢排版问题,缩进不正确
第十九章因此如果你只需要一个正确的答案因此,如果你只需要一个正确的答案原书如此
第十九章跳出系统外删除“外”原书问题,类似错误好几次了,且后面还有
第十九章那也一定是看上去和我们很不同也一定看上去和我们很不同原书如此
第十九章在某个关键性的层次上看,我们中的每个人大概都对这些东西有尽可能好的理解在某个关键层次上,所有人大概都对这些东西有一个他所能达到的最好的理解原书如此
第十九章隔离状态下的单个语句理解隔离状态下的单个语句的理解原书如此
第二十章从错综复杂的神经元中产生后面加“的”原书如此
第二十章生日大合唱哇乌阿乌阿生日大合唱哇哇哇乌阿乌阿乌阿原书问题,与前文不一致
第二十章作者侯某某去掉一个“某”原书问题,上下文不一致
第二十章克林瓶改成:克莱因瓶原书如此,但Klein Bottle的标准翻译是“克莱因瓶”
第二十章我们的心智的确使用着带有某种精神拓扑的空间想象力我们的心智却使用着带有某种精神拓扑的空间想象力原书如此
第二十章如果哥德尔定理说明上述想法是“果”不应加粗
第二十章限制性定理都说明“都”不应加粗
第二十章“惊讶”这个因素还是很重要的“令人惊讶”这一点很重要原书如此
第二十章已经跳出你自己之外“出”改为“到”,虽然删除“之外”也行,但句子会不太通顺原书问题
第二十章使他们跳出作品之外删除“之外”原书问题
第二十章树獭树懒原书如此,没有错误,但其它地方都是“树懒”
第二十章这就得到一个“‘我’”(而非“我”或‘“‘我’”’)所有引号都应是双引号,有特殊意义
第二十章所有这些常识都可能导致下述观念的瓦解“常识”改为“尝试”,或直接删除原书错误,英文:All of this was perhaps intended to break down the notion
第二十章这取决于你在开始描述前先要往回走多远取决于你在开始描述前往回走了多远原书如此
第二十章那时唯一办法是求助于那些看上去没有用规则定义清楚的力量,而它们才是更高层规则的唯一来源——这就是低层规则你唯一的办法反而是求助于那些看上去没有用规则定义清楚的力量——低层规则,因为它们是更高层规则的唯一来源原书如此
第二十章这是不合理的删除“这”原书如此
第二十章这已经隐含设了我是不完全的删除“设”原书如此
第二十章因此我不存在这种想法是自相矛盾的因此,“我不存在”这种想法是自相矛盾的原书如此
第二十章对一个量的测量会使得对一个相关量的同时测量成为不可能对两个相关量的同时精确测量是不可能的原书如此
第二十章在二十世纪音乐和绘画所经历的危机中也反映出了与这个问题的深刻联系音乐和绘画在二十世纪所经历的危机,也反映了它们与此问题的深刻联系原书如此
第二十章它们只能是存在而已它们为了存在而存在原书如此,英文:now there is a tendency to explore the capacity of music and art to not express anything just to be
第二十章符号一对象二元论“一”应为“-”
第二十章恰好是使智能得传递的条件恰好是使智能得以传递的条件原书如此
第二十章在TNT层上从根本上看缺乏一种为更高层次所具有的解释能力从根本上看,TNT层缺乏为更高层次所具有的解释能力原书如此
第二十章这个解释依赖于同时在不止一个层次上进行理解,同时一个层次上的理解方式要反映它的元层次,还依赖于这种反映的结果这个解释依赖于同时在多个层次上进行理解,并且,在一个层次上的理解还要既反映它的元层次又反映“这个反映的结果”原书如此,英文:The explanation hinges on understanding not just one level at a time, but the way in which one level mirrors its metalevel, and the consequences of this mirroring.
第二十章你退出系统之外时的观察事物方式你退到系统之外时观察事物的方式原书问题
第二十章把一切都看成一副“副”改为“幅”原书问题,与后半句也不一致
第二十章心智物理学只是在我们为世界建立内心模型时起辅助作用心智物理学在我们为世界建立内心模型时只是起辅助作用原书如此
第二十章会往那边转弯吗“那”改为“哪”原书问题
第二十章但在一个较高的层次上我们可以看到,事实上符号正在被用来摹写环境和影响决定但在一个较高的层次上,我们可以看到符号正在被用来为环境建模和影响决定原书如此,英文:But on a high level we can see the fact that symbols are being used to model the situation and to affect the decision
第二十章为我们提供了对一个缠结的层次结构中的删除“一个”原书如此
第二十章正悠闲地在晒太阳正在悠闲地晒太阳原书如此
第二十章示意图包含夫个步骤“夫”应为“六”
第二十章并使之发扬光大“大”应为粗体
对话 六部无插入赋格检验过的一种新意儿“新”后缺“玩”
对话 六部无插入赋格里面所有的三个棋后面缺“手”
对话 六部无插入赋格花卉和楦物“楦”应为“植”
对话 六部无插入赋格搖好了架势“搖”应为“摆”
对话 六部无插入赋格大约过了一刘钟“刘”应为“刻”
对话 六部无插入赋格不可原肴“肴”应为“宥”
对话 六部无插入赋格个优美的主题前面缺“一”