数学和软件

我的理解是：
数学好的人，可以把软件用纯数学的语言来描述，这种方式也许只能数学水平相当的两个人才能交流吧；
数学不好的人，可以用他惯用的描述语言来描述软件，比如UML！

逻辑分形式逻辑和非形式逻辑两类，一般说的数学能力锻炼逻辑能力仅指形式逻辑能力。而非形式逻辑能力如辩论，说服，谈判，反驳需要理科之外的学习和训练。很遗憾，国内的基础教育中非形式逻辑训练非常匮乏，幸好还有GRE,GMAT的逻辑考试。

我觉得软件开发有个三个主要问题：做什么；怎么做；为什么这么做。数学有助于后两个问题，重要性不言而喻。不过数学和第一个问题没什么太大关系。计算机科学不是应用数学，我们每开辟一个学科领域是为了解决某个层面的具体问题，所以不能假设生物学是应用化学，化学是应用物理学，物理学是应用数学，所以数学就能解决一切问题。

对我们一般程序员来讲，如果将两者结合起来，是有相当难度的。不但要掌大量高等数学知识，还要能够熟练应用――这么高的门槛，绝非一朝一夕之功，这一下子就挡住了许多人的进入。我对数学虽然感兴趣，也只是门外汉，掌握数学所付出的努力，要比学会几门编程语言要高得多。象我这种为生存而奋斗的人，可能只有想想的份，哪有勇气拿出大段时间再读数学呢。