主题：【讨论】龙芯什么时候能配上中文计算机语言编译的源程序？ -- 唵啊吽

首先提一下您关于阿拉伯数字的看法，本人认为这个和哲学关系不太。其实印度人发明的阿拉伯数字本身只提供了两个优点：一是单独的0符号，二是十个单独的没有重叠的简单符号（几乎都是一笔画）。其实更重要的是十进位值制，这个最早是中国人发明的，在公元前14世纪就有记载；而印度到6世纪才有，欧洲至少9世纪以后才有（欧洲现有最早文献是公元976年的）。如果这个东西作用大到能影响哲学甚至科学发展，那么中国几乎要领先世界2000年。

下面是本人关于中文化计算机语言的一点不成熟看法：

首先，中文化计算机语言不是现有计算机语言的中文化，后者做出来的东西顶多能和原版一样好用（大多数情况下应该是远远不如的），所以几乎没什么价值。中文化计算机语言，至少是读起来象中文（这个可以和COBOL与英语的关系对比），玄一点说就是能反映中国的文化。要做到这一点，俺有一个猜想（仅仅是个猜想，甚至是想象），就是假设没有西方文化的情况下，中国人自己发明的计算机会是什么样子，其中俺觉得最有可能的是：

1. 算盘->算盘机->广泛使用的算盘机体系结构->在此体系结构下的成熟的算盘机机器语言和汇编语言。

2. 汉语的文法语法分析->形式化的汉语子语言生成规则理论->生成规则可用上述算盘机进行描述和执行->汉语化的高级计算机编程语言。

以上的每一步其实在现实中都有很大障碍，但不妨碍我们做假设。上面的1以现在的技术实现起来应该没什么太大问题，已经有理论证明算盘机的计算能力和一般递归函数是等价的，因而也是和图灵机等价的，即使不做个真机器，写个模拟器应该没什么太大问题。关键是2，目前来看仍然处在研究之中，少有重大突破（也许有其它方法，就不是俺所能知道的了）。

最后说几句关于“名学”的，这个东西其实早失传了，著名的“辩家21事”，大部份连命题的具体内容都不知道了，“白马非马”的真正含义到魏晋就很少有人理解了。如果不是胡适写了本《先秦名学考》，估计到现在我们也不会知道（这本书只写了一半，胡适凭它拿到博士学位后就不写了，所以别人叫他“半卷博士”）。

《公孙龙子-名实》中说（其实这本书很多部分可能不是公孙龙本人写的）：

“物以物其所物而不过焉，实以实其所实而不旷焉”。

俺的看法，这里似乎已经包含了朴素的集合论思想，那么白马非马的就个可以解释为：｛白马这个集合｝非->不是->不等价于｛马这个集合｝