可能很多人没有意识到，函数式编程（FP）有两种非常不同的路线。

一条路线，为类型疯狂。这条路线的语言以Haskell为代表。这种FP，一切以类型为
中心，编程的主要任务，是要把类型搞对了，让编译器高兴，号称是“如果程序编译通
过了，程序就是对的”。这条线来自学术界，有很长的历史，是FP的主流路线，有很多
其他FP语言以此为模版。科班出身的同学们说到FP，说的就是这条路线的FP。可能他们
上学的时候学过Haskell，甚至可能还给Haskell课当过助教，但是他们恨死了Haskell
。所以这些同学们，是打死不信FP能实用的。

科班出身的同学们不知道的是，FP还有另一条路线，与Haskell完全不同，它为数据疯
狂。这条路线的语言目前只有一个样本，就是Clojure。这条路线是野路子，来自一个
没有CS背景的学音乐的程序员，名字叫Rich Hickey。他发明Clojure是让自己还可以继
续编程下去。他当时主要用C++编程接活，还在NYU教过C++。但2007年的时候他觉得自
己身心俱疲，被并行编程快搞疯了 …

数学的变量与计算机语言的变量不同。数学的变量更抽象，是真的变量。而计算机语言的变量是假的，其实还是属性，是某个内存地址或者寄存器的属性。

一个非程序员A，第一次编程，看到变量，会很疑惑，比如我当年，“这是什么东西的 的变量啊”? 后来明白了，原来就是一个地址可以存不同的东西啊，明白了。指针？这不是很明显么，就是地址啊，有什么难的？ 另一个非程序员B，第一次编程，看到变量，说，哦，我知道，数学上小学就学了的，变量就是数学上的变量啊，懂了。结果看到指针，蒙了，数学上没有指针啊，到底什么是指针啊?

人和人的思维方式不一样，从对数学的态度可以看出。有的人，比如冯诺伊曼，说“ You don't need to understand mathematics, you just get used to it …

响应拜登副总统的“Buy a shotgun”的号召，我家买了一支泵动霰弹枪用于家防。这儿介绍一下这个枪的配置，配置的目标是让身材比较娇小的女性也可以比较容易地使用12GA的家防弹药。要不然，这个录像上的这些状况发生在Yunyao身上就不妙了。

必备项

1. 枪：Mossberg 500系列。

* 型号，其实关系不大，有比较短的枪管就可以，这样室内舞得开。枪管太短了也不行，至少要18英寸才合法。我在Big5 买的combo，两个枪管，一个18.5英寸的用来家防，另有一个28寸的枪管，现在闲置着，以后可以打飞盘或者打猎啥的。摩丝五百换枪管非常容易。
* 口径，我买的最常见的12GA口径的。有人认为20GA口径的后座力要小一些，也有人认为其实没区别，还有人认为20GA感觉更疼。我没比较过，但我觉得家防还是威力更重要，就买了更大一些的12GA口径的。
* 装弹量，我这个枪是标准的5+1， 就是弹筒里5发，枪膛里一发。有人可能觉得这比较少，不过我觉得足够了，一般贼人最多来三人，而且用霰弹枪要养成射击中一有空歇就装弹的习惯 …

下面是一个中文BBS上发生的一个关于中国传统文化和价值观的对话，我简单编辑了一下，贴在这儿，也许对某些人有所助益。

[猴娘]  基督教中国化，会不会产生一个类似禅宗一样的新宗教呢？儒学和基督教的融合，存在什么样的困难？
...

[东沟]  ...儒家其实从鸦片战争之后就有所蚕食，五四以后开始被踹，文革时候彻底踹倒。然后改革开放的现代化把其经济基础彻底瓦解，连死灰复燃的机会都没了。一句话：我没有说文革十年毁掉中华文化，我说的是文革十年在中华文化的破房子上踹上最重也是最终的一脚。

今天儒家只能当历史瞻仰，不可能当做信仰。你可以对儒家有无限怀念，但你绝对不会三妻四妾，绝对不会趋义弃利，父母死了绝对不会三年守孝，要是女的更绝对不会三从，也绝对不会饿死事小，失节事大等等等等。你可能会“三思而后行”，会“满招损谦受益”，会“学而时习之”，会“己所不欲勿施于人”，但因为这些东西跟普世价值太像了，你不能说信奉他就是信奉儒家。

[火柴]  你真逗,因为不能“三妻四妾趋义弃利三年守孝三从饿死事小失节事大”，所以儒家灭了。因为“满招损谦受益,学而时习之,己所不欲勿施于人”跟普世价值太像了,所以不能叫儒家得叫普适价值。感情叫不叫儒家不取决于自己,取决于别人 …

Peter Gardenfors, Conceptual Space: The Geometry of Thought, MIT Press, 2004

我先写个总的印象，再逐章总结一下，这书共八章。

这本书的基本思想其实并不新，这个基本思想就是用几何的观点来看认知。R.N. Shepard, J.Feldman等等很多认知心理学家的文章里面隐含就有类似想法，当然都没有系统阐述这个观点。我个人在读这本书之前其实早就已经认同了这个几何观点，并把有些想法用在了自己的工作中。所以当时买了这本书但一直没有认真读，觉得可能没有太多新东西。最近读了一遍，觉得还是有点料的，现在在看第二遍，随便作个总结和科普。

作者不是正统认知心理学出身，而是学哲学搞符号逻辑出身的，早年以搞belief revision成名。不知怎么的，在九十年代初突然就觉得符号逻辑的路途不通，转成了几何的路子。这本书用很大篇幅比较认知理论的三条道路：符号，几何和神经网络。他认为这三条道路并不相互排斥，而是从上到下的三个不同的层次。

这种层次论似乎对应于Marr的三个层次：计算，算法和实现。但好像又不太一样。作者没有对比。我个人理解作者主要是从科学哲学的角度来说的：科学理论是人的理论，必须是人能够理解和把握的 …

《1434》是一个英国退役的潜艇舰长Gavin Menzies写的书，是他的《1421》的后续。《1421》主要是说是中国
人，具体的说，就是郑和舰队的一支，发现了美洲。自然，有很多人质疑。其中一个观点就是如果中国人发现了美洲，咋没到更近的欧洲？《1434》就主要讲郑和的舰队的一支，在最后一次出航的时候的确到了意大利，并且带去了技术引爆了文艺复兴。 这本书也花很大篇幅介绍了中国舰队使用的星相航行技术的细节，弥补了上一本书的一些缺陷。

这本书的前两页我翻译了一下:

－－－－－－－－－－－－－－－－－－－－－－－－－
我(Gaviin Menzies)在写《1421》的时候，有一件事让我百思不得其解，这就是为什么很多职业历史学家如此缺乏好奇心。毕竟，哥伦布被认为是在1492年发现了美洲，但在他出航的18年前，他就已经有了一份美洲地图，并在他后来的航行日志中承认了。事实上，在他第一次出发前，哥伦布与西班牙国王和王后就签了合同，聘他为美洲总督。在1492与他同行的一个船的船长，Martin Alonso Pinzon,也在教皇的藏书室里见过一份美洲地图。你如何可以发现一个你已经有了地图的地方？

同样的问题可以问麦哲伦，连接大西洋和太平洋的海峡被以他这个伟大的葡萄牙探险家来命名。当他在1520年到达那个海峡的时候，他已经断粮了 …

心理学能成为一门关于思维的科学么？

斯金纳

就像过去的哲学家一样，过去很多心理学家试图通过观察自己的内心来寻求对行为的解释。通过内省，他们能观察自己的感情和心理过程。不过，内省的方法一直都不太让人满意。哲学家们承认这种方法的缺陷，但还是坚持认为这是自我认识的唯一方法。心理学家曾经尝试着去完善这种方法，使用受过训练的内省者和那些被威廉.詹姆斯很看不上的铜质仪器­。现在再也没人使用内省的方法了。认知心理学家号称可以认识到（心理）表征，甚至可能认为心理表征是唯一能够被认识到的东西，但他们并不号称他们能观察到自己处理心理表征的过程。心理分析师面对同样的问题：无意识的心理过程是不能被直接观察到的。和心理分析师一样，认知心理学家也转向用理论来解决问题。但是理论需要被验证，于是很多人转向了脑科学，在那儿，（心理）过程号称是可以被观测到而不仅仅是被内省到的。如果思维是 “大脑干的事”，而大脑又可以像其他器官一样被研究，那么最后，脑科学就应该能告诉我们以下过程到底是咋回事：建立一个对现实的心理表征，在记忆中存储心理表征，把目的转化成动作，感觉到快乐和悲伤，得出一个逻辑结论，等等。

但是，就如同思维或自我被认为能产生行为那样，大脑也是能够自发产生行为的么？大脑是身体的一部分，大脑干的事是身体干的事的一部分，也是需要被解释的东西的一部分。身体及其大脑是从哪里来的？为什么它们每时每刻都在发生细微的变化？对这些问题，我们不可能在身体及大脑本身上找到答案，无论是用内省的办法也好 …

到非洲撒哈拉沙漠以南辽阔的大草原(Safari)上旅行可能是很多人的梦想。在电视上大家可能看过这样的镜头：纯净高远的蓝天之下，水草丰美的草甸之上，大群大群的野生动物随意倘佯，与坐在越野车上的游客咫尺相邻，兴奋的游客们有的照相，有的惊呼指点，好不快活。不过，如果知道这些游客在上车前受到的警告，可能有人就不会觉得有这么快活了。我手头的这本旅游杂志是这样转述这些警告的：“不要下车，否则狮子会吃了你！不要把身体伸出车外，否则狮子会吃了你！”可以想见，当人们读到有游客因为下车到灌木从中撒尿而被狮子咬死的新闻的时候，是如何地既感到惋惜，又止不住有一种的哑然失笑的感觉的。当我听到有人哭喊着抱怨说“哲学不应该来指导科学”的时候，就想起了那些下车被狮子咬的游客。

如果我们把大草原想象成各种思想争奇斗妍的大舞台，大草原上各种野生动物就是如各色各样的非科学的思想，哲学的，宗教的，学院的，民间的，各不相同，千奇百怪，而科学，就如那驰骋在大草原上的越野车，自由自在，想到哪就到哪，所到之处，野生动物纷纷避让，科学简直就是无往而不胜的啊。科学的胜利难免让乘坐在科学的越野车上的人们产生了自己是不可战胜的幻觉，贸然走到车下，于是就有了人被狮子咬的新闻。

人们不应该忘记了，科学的战无不胜的原因，就如越野车一样，在于它本身具有的钢铁硬壳。没有硬壳的保护 …

面对嫉妒教徒(1)的所作所为，很多人很疑惑，为什么这些自称以耶酥为楷模的人群，
行为上和耶酥所教的往往是背道而弛呢？我现在说的行为，并不是指个别嫉妒教徒的恶
行，而是在嫉妒徒中普遍的存在的，在外人看来是虚伪的行为。一个极端的例子，就是
前美国新教福音派领袖Ted Haggard。而不那么极端的例子，读者如果留意，就可以在
身边找到。正如甘地所说："我喜爱你们的耶酥，只是太多的嫉妒徒和耶酥实在太不像
了。"(2) 这样的差异的来源是什么？ 本文试图从嫉妒教的教义和历史中寻求答案。

信嫉妒教的朋友们可能都知道，没有保罗，就没今天的嫉妒教。几乎完全是靠保罗一个
人的超强的组织能力，口才和热情，才使得嫉妒教在犹太人以外传播开来。指导嫉妒徒
日常生活的教义，基本上来源于保罗对教义的阐述。一本新约，只有前面四篇福音是纪
录耶酥的言行，剩下的倒有十四篇经文是纪录保罗的言行，篇幅和福音差不多长。就是
福音，保罗的印记也很明显。比如说，路加福音的作者就是保罗的弟子，马可福音的作
者也和保罗一起旅行传道过。事实上，新约的最早内容就是保罗的书信 …

显微镜下的数学 Mathematics under microscope (电子书下载)是本数学家写的
从认知角度看数学的书，挺有启发性的。

数学和心理学的联系，应该要比和物理学的联系还要紧密，还要更自然：数学是心理产
物（Mathematics is the study of mental objects with reproducible properties.
p.IX），而心理学是研究心理产物的产生过程的。如果对心理产物本身都不了解，如
何能正确认识其产生过程？

从方法上看，心理学也需要极大地增加数学的使用。有很多心理学实验结果，其实可以
找到数学上的解释。比如最近的一个例子，关于认知失调（cognitive dissonant)的，
实验结果用概率论也能解释，而不一定就是认识失调。具体可见这篇纽约时报的文章

另外一个有趣的观点，就是很多高深的数学计算，其实是很低级的神经系统作的。好的
数学家能把这些低级功能带入意识来。一个有关的例子就是所谓的白痴数学家。

我还没看完这本书 …

姓名：娇娇

性别：小美女。

品种： 巧克力点的巴利猫（Balinese， chocolate-point）

性情：哼，你们嫌我脸上有花，可我知道我是个美女～＿～。我感情特细腻，特丰富的。隔一小会儿没见着巴巴麻麻，见着了我就特激动，一边使劲咕噜咕噜，一边还要使劲蹭他们。我最喜欢被抱在肩膀上了，站得高，看得远。每天早上7点钟我都要把他们给咕噜咕噜醒，这是我的工作嘛。我高兴了还会给麻麻按摸呢，我的技术好极了。对了，我特好养，人吃啥我就吃啥，玉米和waffle是我的最爱，每次都让我高兴得要发疯了（不要意思，这时候我总会忘了我是个淑女的）。我很聪明的，唐唐会的我都会，他不会的我也会，比如上桌子找东西吃啥的。

进门的经历：麻麻在网上看见我的玉照就喜欢我了，把我领回了家，他们都很爱我。我也爱麻麻和巴巴。嗯，我也喜欢唐唐。他这个傻大个，我老欺负他，他也不生气，嘻嘻。当然了，我对他也不错，经常给他舔毛的 …

姓名：唐唐

性别：小帅哥。

品种： 沙特尔猫(Chartreux, 法国的国猫喔：-))

性情：麻麻说我是一只象狗的猫。理由如下：（１）我喜欢舔人，第一次见面的客人也要舔，使劲舔，这样大家才喜欢我呀；（２）麻麻走到哪个房间，我就跟到哪，我一边呆着，没准麻麻就会给我分配一个光荣任务呢；（３）我喜欢趴在麻麻的脚下睡觉; (4) 我会被牵着到外面去遛达; (5) 我懂 come, sit, stand的指令。 哦，我还会roll over， 嘿嘿，其实我只是喜欢躺在地上晒我的肥肚子，＂嗯，满腹经纶啊＂。我是一只乖乖猫，不挑食，也不乱吃东西，只喜欢吃猫粮。嗯，猫treat我也不会拒绝的，呵呵。他们说我乖，还因为我好对付，给我洗澡剪指甲啥的，我动动就闭上眼不动了，就当它没有发生吧。

进门的经历 …

昨天我的从中国来的访问学生说他的电脑中病毒了，然后很形象的给我合掌鞠躬，说，熊猫烧香。这个病毒我听说过，没想到在美国还有人中招，很吃惊。来美国以后，我很有一些年没被电脑病毒所困扰了。唯一的一次病毒事件，还是中了那个有名的‘爱情信’病毒。当时我从学校Samba服务器上把我的一些图片下到我的Windows机器上，马上就意识到了问题，因为硬盘开始疯狂地转，我一看task manager，有个进程用了100%CPU，我立即就把它杀了，然后用杀毒软件一查，果然，Love Letter病毒。我当时就写信给学校的bug buster小组，大大得抱怨了一番，他们回信道歉，说可能是有人的机器中了毒，随便就把文件服务器上的所有图片文件都染上了。从那以后，我就不太喜欢Samba文件服务器了，因为虽然服务器是Unix机器，不会染上毒，但上面的文件会被连着的Windows机器染上，而且，根本就不会被知道。这一次，是这个学生从中国带来的移动硬盘把毒带来的。据他说，中国的工作单位里还是像我十多年前在国内时一样，病毒很猖獗。我就说了，那为什么在中国大家还是宁可用盗版的Windows，天天被病毒所困扰，都不愿意用Linux呢？他说，Linux更难啊。我就说 …

人们一般说的逻辑指命题逻辑，它是理性思维的基本规则。比如以罗素为代表的数理哲学家就把逻辑看作数学的基础。命题逻辑的规则并不多，很多人心里都是知道一些大概的的，不过有人没有正式学过，有些地方不太清楚而已。这篇文章就简单扼要地说一说。更重要的是，本文要介绍现在一个新的进展，就是把概率论看作逻辑的扩展，把传统的亚里士多德的逻辑看成是概率论的特例。

让我们用大写字母表示命题，命题可以是任何论断或描述，有真假之分。比如，A:="今天要下雨"，:=表示"定义为"。这命题可能是真，也可以为假。逻辑学不管命题究竟现实是真是假，只根据这些命题的已知的真假，来决定逻辑推理的结论是真是假。

简单的命题可以用布尔逻辑操作符来组合成复杂的命题。比如，A:="今天要下"， B:="我出门要带伞"， AB:="今天要下雨，并且，我出门要带伞"。A＋B:="今天要下雨，或者，我出门要带伞"。～A 表示否定，"今天不会下雨"。

注意，只有当A，B都为假时，A＋B才为假，其余三种情况，A …

看看能坚持多久，呵呵。先把一些过去写的转过来吧。

有一天，海螺子在路上碰到了小爱和小刚。海螺子经常回答这两个小朋友的问题，和他们比较熟。

小刚抱怨说：海螺子叔叔，我有个问题。买买提信仰版上贴满了很多狗屁不通的信仰文章。好多我看都很荒唐啊，我回贴反驳，可是没人理我，这些人只是不停地贴这些东西，这是为什么啊？

小爱说：对呀。还有好多人使劲来找我谈天，好讨厌哦。

海螺子说：哦，这个呀，这是因为有人有东西要卖。你看电视上广告很多，都是要卖东西的；邮箱里垃圾邮件很多，也都是要卖东西的。真正有用的信息，不是这么不请自来的，你反而需要在网上找，打电话问，上帖子求的。

小刚问：那这些人要卖什么？

海螺子说：卖"福音"。

小爱问：卖"福音"？"福音"是什么呀？

海螺子说：福音就是"耶稣死而复活"。

小刚问：耶稣死而复活关我们什么事啊。再说了，这福音有什么用处？

海螺子说：嘿，这里面卖点多了 …

经常有人说现代科学不能解释人的思维活动，所以还需引入灵魂概念。当被问到具体什么问题现代科学解释不清，以至于灵魂都可以被当作不错的解释的时候，梦的问题就往往被列举出来了。这篇文章就试图把现代科学对梦的有关研究大致说说。

讲心理学里对梦的研究，自然要从弗洛依德讲起。弗洛依德的主要观点，是说梦是对人的潜意识的愿望的实现。这些潜意识的愿望，是和人的幼儿时期的经历有关的，比如男孩的恋母情节。这些愿望被压制在潜意识中，得不到发泄就会有心理疾病。梦，就提供了一个实现这些潜意识愿望的手段。与此相关就引出了一大套本我，自我，超我的复杂理论。弗洛依德的梦的理论过于强调性的作用，显然不能解释很多人的梦，但它指出了梦和个人经历是相关的。和灵魂论比起来，这是一个进步。

一个梦的研究的突破，是在上个世纪五十年代，发现了快速眼动睡眠（REM）。大约每一个半小时，睡眠中的人的眼球会短时间地在眼 …

有的嫉妒徒总是说人生来就是无神论者。言下之意，就是说有神论者是更高级的，是已
经过了无神论者这一初级阶段的人。而无神论者自然是还在初级阶段，也就是还没发育
完全的人。这篇文章，就是随便科普一下有关的话题，同时讨论一下这种说法有没有道
理。

首先，说人生来就是某某论者，在熟悉现代科学的人看来是荒诞不经的说法。人可能是
生出来的时候发展最不完全的一种动物了，除了吃奶和哭，啥也不会，怎么可能是某某
＂论＂者？论不起来的。虽然人的大脑在出生以后神经元的数目是基本不变的，但人的
智能主要体现在这些神经元之间的突触联系上。而这些突触，也就是神经元和神经元之
间联系的接口，主要是在出生后形成的。神经元A和神经元B连不连，如何连，都是后天
刺激决定的。这种说人先天就知道某某东西的理性主义论调是早就被科学和哲学都抛弃
了的。一个例子，狼孩因为缺乏早期的正常发展，回到人类社会后也不可能学习并形成
和正常人一样的功能。如果是人的知识和功能都是先天的，狼孩就应该可以被训练回人
的习性，但事实上是不可能的。因为不同功能的脑区的突触发展是有关键期的。在这个
关键期内没得到正常刺激，正常功能就发育不出来。一个得炸药奖的研究，就是发现小 …

刚才有网友转贴英国卫报的文章（1），说民调显示，英国多数人(82%)认为宗教的害处 多于好处，同时有三分之二的英国人认为自己并不虔信宗教。有意思的是，英国是有法 定国教（Anglican）的国家，英王本人同时也是国教教会的教主。反观美国，宪法是明 文规定政教分离的。而且，美国重要的国父，如杰佛逊和富兰克林，都是自然神论者（ Deist)，并非嫉妒教徒。但是，在现代美国，宗教，特别是嫉妒教的影响力是无处不在 的。美国多数人（80%）是嫉妒徒，40%的人自称经常参加教会活动（2）。美国政客如 果不自称为虔诚教徒，是几乎不可能在政坛上取得成功的。照理说，英美语言文化都一 脉相承，相互影响，为什么在国民的宗教观念上差异如此巨大？

对这个英美国民宗教观念差异的根源问题，我的假设是，这是两国哲学思想上的差异， 特别是在教育思想上的差异造成的。这儿的教育指从幼儿园到高中（K12）的学校教育 。到了大学 …

主要有３个原因。

首先，我一直对"信达雅"的翻译准则中的"雅"很不满。"信达"即可，追求"雅"就是人为 地加入原文中没有的东西，与"信达"是矛盾的。事实上，很多英文本身是很不雅的，非 要翻译得很雅，就有误导读者的嫌疑。我个人认为，这种美化外文的习惯也助长了一些 人盲目地崇洋媚外的心态。相反，如果不盲目追求"雅"，而是正确反映原文自身的味道， 那才是好译文。比如，傅东华翻译的<飘>，就把握得很好，显然比后来的译本好多了。 “郝思嘉”、“白瑞德”、“饿狼陀”和“曹家屯”翻译得都很传神。

第二，Christianity只是来源于一个人名Christ，本身没有意思，翻成基督教，就赋 予了它本身所没有的含义："基"有根本之意，"督"有权威之意 …