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

一条路线，为类型疯狂。这条路线的语言以Haskell为代表。这种FP，一切以 …

数学的变量与计算机语言的变量不同。数学的变量更抽象，是真的变量。而计算机语言的变量是假的，其实还是属性，是某个 …

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

[猴娘]  基督教中国化，会不会产生一个类似禅宗一 …

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

斯金纳

就像过去的哲学家一样，过去很多心理学家试图通过观察自己的内心来寻 …

到非洲撒哈拉沙漠以南辽阔的大草原(Safari)上旅行可能是很多人的梦想。在电视上大家可能看过这样的镜头：纯净高远的蓝 …

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

数学和心理学的联系，应该要 …