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

1. 关于二进制，您的担心似乎是不必要的。二进制和10进制是等效的（早期计算机其实是十进制的，不过后来发现二进制更适合电子计算机），也和其他任何固定数字进制是等效的（甚至很可能和其他非固定数字进制也是等效的），本质上没什么区别。而且三分四分法n分法理论上都可以归结到2分法。

2. 关于整数（自然数）的定理定律在同样适用于二进制。而所有的公理系统要么

1）不够强大，也就是说没有整数（自然数）系统强大，不能抽象出自然数概念。

2）足够强大，那么都可以用整数系统来表达。（哥德尔）

3. 关于容错性，申农已经有一篇论文优雅地解决了这个问题，理论上可以达到需要的任意精度。

4. 关于确定性与不确定性的问题，目前还是看个人信仰（哲学）。比如在物理学中，以爱因斯坦为代表的经典派和哥本哈根派的争论，就是关于世界本质是确定性的还是不确定性的争论。不过实际上确定性与不确定性之间的关系可能没有想象中的那么水火不容，比如：

1） 蒙特卡洛算法，是用不确定计算确定，比如经典的布冯试验是用概率方法计算圆周率这个宇宙中最基本的几个确定的值之一。

2） 确定性的算法也可以产生貌似随机的混沌现象以及其他。比如计算机产生的伪随机数，如果算法选的好，很难和真正的随机数区分出来，那么理论上讲，也许所谓“真正的”随机就是一个周期非常长，很难发现的伪随机（大概爱因斯坦就是这么认为的）。不过这样的想法似乎也没什么意义，即使“真正的”随机是伪随机而又根本不能发现那个种子数和算法，那么为什么不用“奥卡姆剃刀”直接忽略这种想法呢？（这大概就是哥本哈根派的想法）。所以归根结底是个人信仰或哲学问题。

3） 概率和逻辑并不矛盾，因此有所谓的概率逻辑。

5. 关于语言的问题。一是是否所有思维都可以用语言来表达？二是如果一为真，那么是否所有所有的（有意义的）语言都可以用逻辑尤其是数理来表达？这些问题目前也是看个人的信仰和哲学的。比如中国古人所追求的“意境”就认为一种超越语言的东西（“得意忘言”）。而西方“逻各斯中心主义”却认为所有思维都是可以且必须用语言表达的（“语言不仅是思维的工具还是思维的载体”）。而目前的语言学，语言哲学，逻辑学，数理哲学等则试图回答第二个问题，目前也分成很多派别。

总的来说，关于计算机和智能的关系目前还没有一个确定性的结论，不过符号主义派实现人工智能的途经似乎是这样：

智能（思维）<->语言<->逻辑<->计算<->计算机

如果上面的每一步都可以无损或接近无损，那么理论上计算机就可以实现智能。当然这里的“计算”将来也可能发展出新的计算模型和新的方法，“计算机”也可能和现在的完全不同（不过目前这方面还没什么太大进展，图灵机模型还是最强的，并行化量子化也许会有突破也许不会）。总之，如果相信“人是机器”，那么总会有一种（人造的）机器能实现智能；反而如果相信智能里有某种“超验的”/“先天地生的”/“不属于物质世界的”/...比如“灵魂”/“微管结构”（彭罗斯）/...，那么机器，尤其是现在的计算机是不可能有（人类的）智能的。

以上只是大概说一说思路，有很多地方不严谨也不准确，有兴趣的话可以查看相关书籍。尤其是这一本奇书：

《哥德尔、艾舍尔、 巴赫：集异璧之大成》(Godel，Escher，Bach：An Eternal Golden Braid)

作者：((美)Douglas Hofstadter(侯世达))

• &quot;人工智能&quot;: &quot;带着时间赌博&quot;