美祺's profileEden of HexagonPhotosBlogListsMore ![]() | Help |
|
May 24 《歌德尔,埃舍尔,巴赫——集异壁之大成》《哥德尔、埃舍尔、巴赫--集异璧之大成》,之所以会提到这本书,也是因为在我每月订阅的科学期刊上偶尔看到一篇对此书的评论,同时也看了不少埃舍尔大师匪夷所思的大作,如果有兴趣,baidu的图片里可以找到很多。
这本书应该算一本科普读物,内容涉及数理逻辑、音乐、美术、分子生物学、人工智能、物理等多个方面,主要是讲数理逻辑。
特此摘抄一些书评:
看完这本书的第一个感觉就是真的不知道“我”是什么了,因为我就是“自指”,而书中大量的实例说明了自指会引起悖论。而实际上,我认为,我们在说“我”的时候,总是有意或无意的跳到自身之外,也就是说我是没有办法谈论“我”的。也许这就是佛教里面要破除“我执”的道理吧。(我必须承认我的世界观在读这本书之前就倾向于佛教了,这本书中也讲到了佛教的禅宗,但我想作者是一个彻底的唯物主义者)。
还有一个问题就是人工智能是否能够实现,或者换句话说人的心智是否是机械的。如果你回答是,那么根据哥德尔的定理,我们永远不可能认识清楚整个世界,结论非常的悲哀!(顺便说一句,佛教认为凡夫对世界的认识用的是“阿赖耶识”,是不可能认识到世界的本质的,这里是否可认为阿赖耶识是机械的,而我们都还有一个不机械的“自性”,只是不善于利用呢?)如果你回答否,那么你就是在承认“灵魂”的存在。或者你也可以回答“是 and 否”、“not 是 and not 否”、“”,我觉得这三种回答都是有佛教倾向的,最后一种最明显。 最后一点是关于可计算性的,因为是学计算机的,所以我以前一直把时间复杂度和空间复杂度作为衡量一个问题是否可计算的标准。但书中的标准是把"理论上能不能终止"作为标准,例如判断一个数是否是两个质数的和(哥德巴赫猜想)是可计算的,而判断一个数是否是两个质数的差则不一定可计算。 另外书中还证明了对任何一台足够强大的计算机,都至少有一个完全按照它所要求的规格写出的程序是它不能执行的, 而如果这台计算机不那么强大, 就不一定了,非常有意思。书中还有很多对话,写得非常好,形式与内容一体。
当然,我还没有看过这本书,而且这本书也很难买到了,只好过几天从北京订购了:)好期待我看完这本逻辑性极强的书之后也产生的那种晕眩的感觉:) May 16 催眠催眠
第一口蛋糕的滋味
第一件玩具带来的安慰 太阳下山太阳下山冰淇淋流泪 第二口蛋糕的滋味 第二件玩具带来的安慰 大风吹大风吹爆米花好美 从头到尾忘记了谁想起了谁 从头到尾再数一回再数一回 有没有荒废 啦┅┅ 第一次吻别人的嘴 第一次生病了要喝药水 太阳下山太阳下山冰淇淋流泪 第二次吻别人的嘴 第二次生病了需要喝药水 大风吹大风吹爆米花好美 忽然天亮忽然天黑诸如此类 远走高飞一二三岁四五六岁千秋万岁 May 08 强名称工具(SN.exe).NET Framework 工具
强名称工具 (Sn.exe)
强名称工具有助于使用强名称对程序集进行签名。Sn.exe 提供用于密钥管理、签名生成和签名验证的选项。 sn [-quiet][option [parameter(s)]]
参数
示例下面的命令创建一个新的随机密钥对并将其存储在 keyPair.snk 中。 sn -k keyPair.snk 下面的命令将 keyPair.snk 中的密钥存储在强名称 CSP 中的容器 MyContainer 中。 sn -i keyPair.snk MyContainer 下面的命令从 keyPair.snk 中提取公钥并将其存储在 publicKey.snk 中。 sn -p keyPair.snk publicKey.snk 下面的命令显示公钥和 publicKey.snk 包含的公钥的标记。 sn -tp publicKey.snk 下面的命令验证程序集 MyAsm.dll。 sn -v MyAsm.dll 下面的命令从默认 CSP 中删除 MyContainer。 sn -d MyContainer May 03 程序集链接器(AL.exe).NET Framework 工具
程序集链接器 (Al.exe)
“程序集链接器”从一个或多个文件(可以是模块,也可以是资源文件)生成一个带有程序集清单的文件。模块是不含程序集清单的“Microsoft 中间语言”(MSIL) 文件。 al sources options
参数您可以指定以下一个或多个 sources。
您可以指定以下“选项”;请注意,必须指定 /out。
备注所有 Visual Studio 编译器都产生程序集。但是,如果您有一个或多个模块(没有清单的元数据),则可使用 Al.exe 在单独的文件中创建带清单的程序集。 要在缓存中安装程序集,从缓存中删除程序集,或列出缓存内容,请使用全局程序集缓存工具 (Gacutil.exe)。 示例以下命令使用 t2.netmodule 模块中的程序集创建可执行文件 t2a.exe。入口点是 MyClass 中的 Main 方法。 al t2.netmodule /target:exe /out:t2a.exe /main:MyClass.Main May 01 5.1了,憧憬一下5.1了,憧憬一下
这次伤大了,上周五打球前热身,做拉腰部韧带的时候不小心把腰给拉伤了,直接导致两天病假在家卧床不起(不是我不起,是腰无法发力),搞得自己像T-Mac一样,嘿嘿,懂球的别笑我哈:)
好了,这次的5.1看来不能像往年全勤去球场了,在家里也没法子举哑铃了,应验了一句球场名言阿——“腰好一切都好”。雷巴龙(lebron james的绝招)也来不起来了,ally-opp也没有了。。。日子指数要开始单调递减咯,55555555。
节假日望兄弟姐妹们吃好玩好,自己也赶快把我的T-mac小腰养养好。 |
|
|