Gödel, Escher, Bach: An Eternal Golden Braid 哥德尔、艾舍尔、巴赫：集异璧之大成 Douglas Hofstadter 侯世达 9787100013239 上一章里，作者介绍了一个叫做“命题演算”的形式系统，这章第八里作者开始介绍一个全新的形式系统，叫做“印符数论”，简称TNT（Typographical Number Theory）。我的理解是，这是一个用印符来描述数论（N）的形式系统，但与此同时TNT和N又是不一样的东西。所谓数论（ N），是描述自然数（0，1，2，3……）的句子。 比如说这样一个数论“5是素数”，我们可以重新叙述一下，即“不存在这样的数a和b：它们都大于1，而且5等于a乘以b。”也就是说，对于数论的描述，我们通常可以通过以下这些短语来总结：对任何数b、存在一个数b使得、等于、乘以、加上…… 那么我们现在就开始来构造这个TNT了。 数字：0，S 0表示0。 当在一个串前加上一个S，即表示这个东西的“后继”。例如，SS0表示2。 变元：a、b、c、d、e或者加撇的a’、b”等 表示那些非指定的数或者说可变的数。 术语：+，⋅，= 分别表示乘以和加上，但是必须加上括号来构成串、而且这样的运算永远是二元的。 原子与命题符号：P，Q，R，~x，<x∩y>，<x∪y> ，<x→y> 也就是上一章里命题演算的所有符号也都适用于TNT。 自由变元与量化变元 这两者都是在一个串中含有变元，但是区别在于： 1）前者是开公式，后者是闭公式； 2）前者表达的是一种性质，后者表达的是一种断言； 3）前者可以被认为是（不带主语的）一个谓语；后者则是带有主语的句子； 4）前者仅仅有变元，后者必然还带有量词。 量词：∃，∀ 存在量词∃代表“存在”。例，∃b:(b+S0)=SS0，代表存在一个b使得b加1等于2。 全称量词∀代表“任何”或者“所有的”。例，∀b:(b+S0)=SS0，代表任何b都使得b加1等于2。 我们构造完TNT的所有元素之后，我们来尝试用TNT来描述前面那个数论“5是素数”，即“不存在这样的数a和b：它们都大于1，而且5等于a乘以b。”用TNT来描述的话就是：~∃a:∃b:SSSSS0=(SSa⋅SSb) 在这里我想特别提一句，因为这里出现了一个让我们后来非常困惑而且到现在也有点不解的地方，这里出现了~。表达“不存在这样的数a和b”的方式，为什么是“~∃a:∃b:”而不是“~∃a:~∃b:”呢？~的这个否定，到底否定在哪里呢？再比如“~∀b:”的意思，应该是“对于任何b都不使得”，还是“不是任何b都使得”吧？“对于任何b都不使得”不就是”不存在b使得”吗？“不是任何b都使得”不就是“存在一个b不使得”吗？ 其实这一点我现在还有点头晕，先记下一笔，希望待会我再重做那几道练习题的时候可以想明白。 刚才作者已经用TNT表达了数论“5是素数”，那么我们在尝试表达数论“存在有无穷多个素数”，即“对于每一个数a，存在一个大于a的数b，具有这样的性质：不存在大于1的数c和d，使得b等于c乘以d。” ∀a:∃e:~∃c:∃d:(a+Se)=(SSc⋅SSd) 另外值得一提的是，对于同一个数论，TNT的表达方式可以是多种多样的。 接下来，作者给大家出了6道翻译题。这6道题目大家翻来覆去做了好几遍，互相讨论，不断推翻和被推翻得出的结论。但是却依旧很难达成作者给出的提示，即这6题中有两个为真四个为假，或者四个为真两个为假。 我先把题目抄下来。 ~∀c:∃b:(SS0⋅b)=c ∀c:~∃b:(SS0⋅b)=c ∀c:∃b:~(SS0⋅b)=c ~∃b:∀c:(SS0⋅b)=c ∃b:~∀c:(SS0⋅b)=c ∃b:∀c:~(SS0⋅b)=c 据我的理解，翻译是这样的： 不是所有数都是偶数。（真） 所有数都是奇数。（假） 对于任何一个c，总存在一个b使得2b≠c。（真） 不存在一个b，使得任何一个c=2b。（真） […]
Wednesday, January 25, 2012
11張撲克牌 11枚のとらんぷ 泡坂妻夫 王華懋（译） 9789866562990 我是抱着极大的期待来读这本书的，豆瓣上接近9分的高分还是国内尚未引进的，我暗自决定要是这本好看的话，泡坂妻夫的亞愛一郎三部曲我也要都去看。我本来期待的是超高水准超强密度的推理佳作，并做好一口气读完的打算的，谁知道这本书我一读即放，竟然拖了近两个月才读完。只是因为作者的叙事节奏太慢了，现在想来这本书和日本当时那个年代的推理作品都是这个节奏，或许比起松本清張的社会派本格推理还要好一点呢。 以下詳述本書構成： ．第Ⅰ部 11項魔術 業餘魔術師俱樂部舉辦公演，11項魔術在生澀技巧引發的混亂中逐一登場，每個會員都擁有漫畫角色般的鮮明個性，帶出無數風趣演出，充分展現泡坂式獨特的魔術笑匠風格。然而，命案卻在最終的魔術段子裡發生了。美女魔術師喪命，身邊宛如被施巫術般陳列了11款魔術道具，竟然全是一本魔術小說集《11張撲克牌》當中出現過的東西…… ．第Ⅱ部 牌類魔術小說集《11張撲克牌》 這部「作中作」正是本書的神來之筆！集結了11篇關於獨創牌類魔術手法的極短篇，介紹11款魔術小道具，篇篇充滿戰前探偵小說浪漫主義風格，讀者可選擇單獨閱讀，樂趣加倍！ ．第Ⅲ部 第11項詭計 「世界國際魔術師會議東京大會」在某大飯店舉行，前述業餘魔術師俱樂部的會員全員到場觀摩，除了透過會議中的動人演講，讓讀者得以一窺魔術在日本的發展史，更透過此「所有關係人齊聚一堂」的日推經典場景，揪出「第Ⅰ部」中暗藏的伏線以及「第Ⅱ部」中透露的線索，以正統本格推理手法漂亮偵破這樁美女魔術師命案！ 当然值得一说的是这本书的构造的确是花了一番心思。首先能和11拉上关系的地方全部和11相对应。其次，这本书还有“书中书”这个概念，书里面也有一本同名的小说也叫《11張撲克牌》。尽管书中的这本《11張撲克牌》虽然用非常短的11篇篇幅介绍了11种扑克猜牌的手法，但是其手法的惊喜程度还是差强人意。毕竟这部书中书的作用还是给读者一个下马威。因为到了第三部份的时候，作者借主角之口告诉大家在第一部分里面的那个命案迷题已经被解开了，而且解开迷题所需的所有推理证据都已经藏在那本书中书《11張撲克牌》里面全文给大家看过了。我觉得，其实这一整本书洋洋洒洒三百多页，真正的精华也就在这最后的50页里面。前面那么多拖沓的内容根本可以精简压缩一下，当然可能这样的压缩就把作者精心设计的书中书的桥段给破坏掉了。所以这本身就是一个矛盾，要么是一本构造独特的推理小说，要么是一本情节拖沓的推理小说，作者的实力（也可能是当时的写作大趋势）决定了两者必然为一。 最后是仅供我自己的防痴呆结局反白。凶手是没有嗅觉的松尾。他的不在场证明是用反射看到了牌面和顶替套进麻袋。在书中书里也证明了只有他是没有嗅觉的。
Pour un oui ou pour un non Nathalie Sarraute 9782070407514 去年年底的时候，我看了一部叫做《没什么？》（Pour un oui ou pour un non）的话剧。几十块钱在网上团购的票子，到了现场竟然换到了第一排最中间的位子，离主角演员近得伸手就能碰到的距离。这部话剧一共只有两个角色，由两位重量级演员俞洛生老先生和娄际成老先生联袂出演，全部的剧情就由这两位你一言我一语地长达一个小时的叙说。大概的剧情我引用一个梗概： 两个交往了一辈子的好朋友，突然发现他们之间出现了裂痕。经过两人的追究，他们发现这条裂痕来自于很多年前的一件“小事儿”：一个急于炫耀自己的“成功”，而另一个则淡淡地说了一句“不错啊……这个……”，这句话里也许暗含着某种“优越感”，也许真的“没什么”。后来，两人的“追究”更加深入，终于发现他们俩是完全不同的两类人…… 我个人觉得简直是精彩极了，而且是感触颇多。于是千里迢迢去买了Nathalie Sarraute原版的剧本拜读。不敢说我完全读懂了这位法国作家在她93岁晚年写成的最后一部巨作，仅就我想到的大框框谈谈我的一些想法。我觉得能够最好的切入此剧的方式，便是前言引用文学评论家Roland Barthes的那一段话。 On entend souvent dire que l’art a pour charge de l’exprimer l’inexprimable: c’est le contraire qu’il faut dire (sans nulle intention de paradoxe): toute la tâche de l’art est d’inexprimer l’exprimable, d’enlever à la […]
从海报上可以看出来，从第二季开始这部剧的正式主角除了William Garrow和他的导师John Southouse之外，又加了一位Lady Sarah。于是Lady Sarah这条线的剧情开始占相当大的部份，也就是说几乎每一集William Garrow一半时间在操心Old Bailey上的案件，另一半时间在操心这位Lady Sarah和她的孩子。个人觉得这条主线情节是这部剧唯一的不足，实在是没有兴趣去花大把时间关注言情情节的方面。根据片尾的说明，这位Lady Sarah的确是真实存在的人物（即Garrow的老婆），但是实际上她根本没跟那个贵族结婚生子过。编剧偏要加上这么一段“轰轰烈烈”的历史，我觉得是有点画蛇添足。 还是说说这部剧的亮点，即使有Lady Sarah这条线的剧情，但是这部剧也还是超级值得一看的。只能说，William Garrow这个人物实在是太inspiring了。不仅仅是在法庭上的各种案件具有的历史性和启发性，还在于Garrow勇于争取正义和他的超前意识。我印象最深的是S03E03，摆在William Garrow一个道德选择题：只要他帮忙高权贵在法庭上限制他的诉求，就能帮他的爱人拿回孩子。Garrow一向是刚直不阿的，但是面对爱人的痛苦，他几近思量，最终决定帮忙高权贵。这一行为本身很难让人职责，如果说揭发恶势力要以身边的人的丧子痛苦为代价，那叫谁都是不愿意的；或者说Garrow牺牲自己的志愿，只为了爱人免遭痛苦，那甚至是感人的。此时，Garrow的导师Southouse病重并看出了苗头，于是他把Garrow叫到床边，跟他说了一句“Fiat justitia ruat caelum”（Let justice be done though the heavens fall）。这正如一语惊醒梦中人，一切都变得明了了。
Thursday, January 19, 2012
我终于明白Steven Moffat的逻辑了：要成就一部作品，必须先把主角的缺点最大化明显化到理所应当。这就是所谓的试图通过毁掉一个角色拯救整部剧集吗？显然Steven Moffat在接手《Doctor Who》之后非常成功地做到了“毁掉一个角色”这一点，于是在第二季的《Sherlock》里面他也试图做同一件事。在这一季中，编剧继续把Sherlock的令人厌恶的个性升级并且发扬光大。弄到后面我越来越为反派着想，希望反派出奇招把Sherlock打败，看到Sherlock黔驴技穷和一败涂地成了我最大的乐趣。人家James真的就是比Sherlock聪明，而且也没Sherlock这么讨人厌。 可是赖结皮的Steven Moffat竟然最后又让Sherlock出现了？是不是不小心把这剧本跟上一季的《Doctor Who》的剧本搞混了呀？这两个的梗怎么一模一样啊？但是Steven Moffat是只会制造悬念而不会完美圆满悬念的呀，这一点大家已经通过观看《Doctor Who》很心知肚明了，再比如看这一季《Sherlock》开头那个承接上一季悬念的狗血转折就知道这一季的开头会是多么让人失望了。 另外，Russell Tovey和Katherine Parkinson的客串根本就是打酱油的么。我本来还满心期待的。
Tuesday, January 17, 2012
燃燈者 趙越勝 9780193961289 这是2012年我读完的第一本书，对我来说这是我今年读书的最好的一个开头，我喜欢这本书。我心目中，这本书是中国版的《驯服的艺术》，不仅仅是地域上的更接近，连所讲述的人物也似乎更要亲近的感觉。 一定要读牛津大学出版社的版本，因为国内出版社删减了很多很多内容。“正版”里面共收集了三篇，分别是《辅成先生》《忆宾雁》《骊歌清酒忆旧时》。作者赵越胜说：佛家常以灯喻指明破暗，以宣佛法，故《五灯会元》中说“是知灯者，破愚暗以明斯道”。而燃灯者，即指明破暗之人。三篇里面的这三个人物，即是他人生中的“燃灯者”。而这三位人物不同，我喜欢张志扬归纳的说法：辅成先生将人类知识奠基于人道； 宾雁先生是将政治救赎奠基于人道；唐克则是来自知识的另一极要求在理性规范中伸张感性权利的人性欲求者。 在我的眼中，这三个人每一个都是顶呱呱的人，只可惜他们被困于这样一个环境。愈是在这样的黑暗之中，燃灯者的光芒会显得更加的明亮和弱不禁风吧。我喜欢看赵越胜讲他们的故事，该平静的时候平静地叙述美好，该激动的时候就激动地破口大骂。平静的时候让人更觉主人公的可爱，激动的时候更显现实的可悲。而且关键是，这些可爱和可悲不仅仅是那个时代的，拿到现在来还是这样，只不过现在的可爱藏得更深、可悲越加麻木得好像理所应当。 如此的可爱和可悲，戳到我的哭点无数。一开始还是看着看着竟然情绪饱满翻腾得看不下去了，然后我只好暂时放下调整心情。如此累积，到看到最后一篇唐克在蒙马特拿杯垫的时候竟然真的落泪了，好歹作者马上结束了全文。 我全心全意地推荐这本《燃灯者》，五颗星。
Wednesday, January 4, 2012
Gödel, Escher, Bach: An Eternal Golden Braid 哥德尔、艾舍尔、巴赫：集异璧之大成 Douglas Hofstadter 侯世达 9787100013239 GEB我们继续读第七章《命题演算》，在这一章里作者试图向大家介绍一种用字母和符号表示的逻辑演算形式系统。 首先，给出了四条递归的原则，即形成规则：如果x和y都是良构的，那么以下的四种串也可以都是良构的： （1）~x 非 （2）<x∩y> 并 （3）<x∪y> 或 （4）<x→y> 若…则… 然后可以利用各种规则来进行幻想规则，在这个幻想规则中还可以进行“推入”和“弹出”的递归使用。命题演算的所有规则清单如下： （1）联结规则：如果x和y是定理，那么<x∩y>是个定理。 （2）分隔规则：如果<x∩y>是个定理，那么x和y两者都是定理。 （3）双弯号规则：“~~”这个串可以从任何定理中删除，它也可以嵌入到任何定理中去，只要所得的结果本身是良构串。 （4）幻想规则：如果假定x是一个定理时能推导出y来，那么<x→y>是个定理。 （5）搬入规则：在一个幻想里边，任何来自于“现实性”搞一个层次的定理都可以拿进并使用。 （6）分离规则：如果x和<x→y>两者都是定理，那么y是个定理。 （7）易位规则：<x→y>与<~y→~x>是可互换的。 （8）德·摩根规则：<~x∩~y>与~<x∪y>是可互换的。 （9）思维陀螺规则：<x∪y>与<~x→y>是可互换的。 接着作者把字母用实际内容代入，比较直观地解释了几条规则。然后，提出了一个“岩头之斧”的禅宗公案来做练习。 德山一日谓师曰：“我这里有两僧入山，住庵多时，汝去看他怎生。”师遂将一把斧去。见两人在庵内坐，师乃掂起斧曰：“道得也一下斧，道不得也一下斧。”二人殊不顾。师掷下斧曰：“作家！作家！”归，举似德山，山曰：“汝道他如何？”师曰：“洞山门下不道全无，若是德山门下，未梦见在。”（《五灯会元》卷七） 这个禅宗故事可以分两部分来讲，开头是这样的： 德山一日谓师曰：“我这里有两僧入山，住庵多时，汝去看他怎生。”师遂将一把斧去。见两人在庵内坐，师乃掂起斧曰：“道得也一下斧，道不得也一下斧。” 就是说，德山禅师让岩头禅师去看一下两个僧侣，岩头禅师拿着一把斧头跑过去一看这两人正在庵里坐着，于是他拿起斧头对两位说：“如果你们说点什么，我就砍一斧头；如果你们不说什么，我也砍一斧头”。说话也被砍、不说也被砍，那结论自然就是被砍，这是我们平时的直觉逻辑来理解这句话。侯世达把这一句话符号化进行命题演算，假设用P来将“道得”符号化，用Q将“一下斧”符号化，那么岩头禅师这句话就可以用这样的串来表达：<<P→Q>∩<~P→Q>>。那么如果从这一条字符串演算得到结果呢？侯世达利用上上面提到的各种规则处理这条串。 （1）[ 推入 （2）<<P→Q>∩<~P→Q>> 岩头公理 （3）<P→Q> 分隔规则 （4）<~Q→~P> 易位规则 （5）<~P→Q> 分隔规则 （6）<~Q→~~P> 易位规则 （7） [ 再次推入 （8） […]
Wednesday, January 4, 2012
平面国 Flatland: A Romance of Many Dimensions Edwin Abbott Abbott 朱荣华（译） 9787214057846 第一件事是要大批特批中文版的插图和插图上自以为是加上去的注解，不但画面简陋拙劣，注解也是莫名其妙跟书本身的寓意南辕北辙。而且在最开始介绍平面国基本设定的时候，还把关键的信息在图示上面写反掉，弄得人一头雾水。 然后在回来说这本一百多年以前写成的书，书的第一部分讲了平面国的基本设定和介绍，第二部分讲平面国里的一个主人公与一维世界和三维世界的交互故事。看起来的时候的确感觉是语言很简单故事内容也很浅显，好像小孩也是看得懂的。我觉得可能这和时代还是有关系的，我们现在看来稀松平常的道理，可能在百年前的民众看起来似乎是超前的知识。但是说到底，这应该还是一本政治讽刺的作品。我觉得这个讽刺还分两个层次：第一层次是比较明显的，那就是作为主人公的二维世界里的正方形在明白有更多纬度存在之后，虽然似乎得到了真理，但却没有一个人赞同他，相反地却是遭到迫害。这是关于当权者面对民众的态度的一个表现。第二层次我觉得更为彻底。试想，作为二维世界的人觉得一维世界里的人只知道一维而觉得一维的人很无知很可悲，同样的三维世界的人觉得二维世界里的人只知道二维而觉得二维的人很无知很可悲，这还都是对于科学的认知角度的。我觉得其实作者更想要表达的不止是关于对于科学的认知，平面国里面的社会阶层和制度，在我看来几乎是没有道理的。其中的女性地位之低，种族阶层之残酷，畸形人之被排挤歧视，这都是在我这个三维世界的人看来很无知很可悲的。那么同样的，我们现在就算是自以为很进步的社会形态，是不是在四维世界的人看来也是很无知很可悲的呢？
专辑类 Perfume – JPN 12月份的重磅炸弹是Perfume的新专辑《JPN》，从她们的上一张《⊿》到现在这一张其间的所有单曲我是一张一张追着听的，所以有出新专辑更是激动。新专辑中大多收录的还是已经发表过的单曲，另外添加了几首新歌。反正对我而言，单曲收录的那几首每一首都非常好听啦，值得一提是两首《レーザービーム》和《GLITTER》还重新编曲，我特别喜欢这两首新的编曲；至于新歌也有不错听的，我比较喜欢《MY COLOR》，这一首稍微偏离了一点电音风格，展现的是类似《微かなカオリ》的清新曲风。总之，Perfume的专辑无条件的五星啦。 Rie fu – I Can Do Better 这是Rie fu的一张精选集，不得不说她的声音真的听起来太舒服了，这些精选的老歌也都很好听。我最喜欢的三首是《Life is Like a Boat》、《I Wanna Go To A Place…》和《Tiny Tiny Melody》。特别是《Life is Like a Boat》，我有把它列入我心目中想要不断单曲循环播放收听的曲目，不管是词曲还是Rie fu嗓音的意境都觉得很顺耳。而且我觉得Rie fu的歌用耳机听和外放感觉差别很大，这样细腻的声音还是更适合耳机听。 GARNET CROW – メモリーズ GARNET CROW又有新专辑了，没有哪首特别有感觉的，普遍保持水准。 Crystal Kay – LOVE SONG BEST 我本来对Crystal Kay的这张精选集期待蛮高的，但是听下来却觉得没什么大意思。的确有几首还算好听，但是论节奏曲调的有趣性比不上Perfume、论动人程度比不上Rie fu，把她放在这个月真的有点吃亏，还是RNB的曲风在我心目中果然已经过气了么？ 单曲类 清水翔太 – 冬が终わる前に 冬日里最温暖的声音，搭配上应季的单曲，超级好听！也不用我多说什么了。唯一的不满是《冬が终わる前に》的MV情节设计太俗套了，完全把本来很有感觉的词的意境也拉低了么。 加藤ミリヤ – ROMAN […]