关于人造语、计算机语言及思维效率的迷思

语言只是思维的工具，但这个工具的好坏会影响思维的质量与结果。（这是否仍然还只是个假设？）经过适当的训练，在进行数学公式推导时，其实是不需要自然语言辅助多少的。显然，数学语言及符号系统是效率很高的。程序员在编写代码时，将思路转变成代码，其实就是在进行一次语言的转译。人可以在自然语言与计算机语言之间进行转译，这时候，计算机语言本身也变成了人思维的工具。那么，计算机语言、数学符号系统等，对思维的辅助作用与自然语言相比，如何呢？人工设计的自然语言（人造语）会不会极大提高人类的思维效率？如果假想成立，如何合理地设计这样的人造语呢？

另外，除了语言之外，人的思考工具其实非常多，比如人可以借助图表、数学公式、设计图纸、旗语、体势语等等进行思考。但人使用最频繁的仍然是自然语言（包括人造语，比如以Esperanto为母语的人）。

----
有感于本茶室的一则讨论：“日常语言的若干奇怪用法”
http://www.changhai.org/community/article_load.php?aid=1307454368