Skip to content

Language and program

Language是我们与生俱来的天赋,我们使用language进行**描述**(describes)世间万物,或者说,语言的功能就是来进行**描述**的:

  • 使用语言描述definition
  • 使用语言来描述算法
  • ......(此处可以枚举数不清的例子)

language的大家庭中,有着多个成员,比如:

作为software engineer,我们幸运地已经使用了上面枚举的三种语言。

作为software engineer,我们是在使用programming language来描述世间万物,我们所做的很多工作,就是将人们使用natural languagelanguage of mathematics等语言的描述,转换为programming language的描述。

一切“描述”都是语言?

当谈到**语言**后,那么得说说“描述”这个词了,感觉这个词是一个非常宽泛、非常囊括的词,比如:

Language of mathematicsThe meanings of mathematics中就使用了“describes ”这个词(这段话总结的太好以至于我忍不住地把它摘录过来了):

Mathematics describes the real world: many areas of mathematics originated with attempts to describe and solve real world phenomena - from measuring farms (geometry) to falling apples (calculus) to gambling (probability). Mathematics is widely used in modern physics and engineering, and has been hugely successful in helping us to understand more about the universe around us from its largest scales (physical cosmology) to its smallest (quantum mechanics). Indeed, the very success of mathematics in this respect has been a source of puzzlement for some philosophers (see The Unreasonable Effectiveness of Mathematics in the Natural Sciences by Eugene Wigner).

Mathematics describes abstract structures: on the other hand, there are areas of pure mathematics which deal with abstract structures, which have no known physical counterparts at all. However, it is difficult to give any categorical examples here, as even the most abstract structures can be co-opted as models in some branch of physics (see Calabi-Yau spaces and string theory).

Mathematics describes mathematics: mathematics can be used reflexively to describe itself—this is an area of mathematics called metamathematics.

那不禁想问:数学是一门语言吗?如果从“描述”的角度来看话,我觉得可以回答“是”,下面是原文中紧跟着的对这个问题的论述:

Mathematics can communicate a range of meanings that is as wide as (although different from) that of a natural language. As English mathematician R.L.E. Schwarzenberger says:

My own attitude, which I share with many of my colleagues, is simply that **mathematics is a language*. Like English, or Latin, or Chinese, there are certain concepts for which mathematics is particularly well suited: it would be as foolish to attempt to write a love poem in the language of mathematics as to prove the Fundamental Theorem of Algebra using the English language.*

根据上面的论述来看,English mathematician R.L.E. Schwarzenberger 认为 数学是一门语言。

让我们沿着这个思路进一步进行推广就得到本小节的标题所描述的问题:“一切“描述”都是语言?”,这个问题我无法给出答案,以我目前的认知水平,我觉得是的。

关于这个问题,在我的工程Language的中对此也进行了讨论。

我对“语言”的探索