程序哲思（1）



程序是什么？我将以这个话题开始，最终引出一套理论。

        在通俗易懂与精确深刻之间，我还是偏向了后者，因为同时这是写给自己的总结，还有志同道合的程序员的。为了能达到精确深刻，我必须从抽象的集合论开始，这也实属是个无奈的选择。

        当然，我所谓的精确，不是数学上的那种严格的精确，我以能够揭示本质为标准，会忽略掉一些不重要的东西，同时也会加强一些概念，甚至重新定义一些概念。在语言上，我采用自己的语言，通俗易懂的。

         集合是什么？

         一堆东西而已。数量有什么限制？没有，数量任意，甚至可以是无限多的。东西指的是什么呢？任意，你能想到的，任意的事物，甚至是现实世界不存在事物。那么如何划分这堆东西？我怎么知道一个东西是不是属于你那一堆里的呢？问题的答案引出了一个概念：这个概念就是概念本身。

         程序员都至少小学毕业吧。举例如下：

         假设这堆东西是边长为一米的正方形，引出的概念是什么呢？是“边长为一米的正方形”。从语言结构层面看，是形容词+主语的结构。实质上，我们还没有给这个概念命名，概念应该只是一个名词，不能有所修饰。假设这些正方形是窗户的模型。于是我们给这个概念起名：模型A。

         于是，“边长为一米的正方形”就成了新概念“模型A”的定义。

         现在，我们开始问问题：

         问：“什么是模型A呢？”

         答：“模型A是‘边长为一米的正方形’”

         问：“什么是正方形呢？”

         答：“正方形是‘临边相等的长方形’”

         问：“什么是长方形呢？”

         答：“长方形是‘对边相等，四个角都是直角的四边形’”

         问：“什么是四边形呢？”

         答：“…………”

         …………，

         问：“什么是XX呢？”

         答：“XX是……样的YY”

         如此追问下去，答者最终会哑口无言。纵观所涉及的所有的概念，其定义都是如此模式：“XX是……样的YY”。于是我们看到一个概念链条：模型A------正方形----------长方形----------四边形--------……----------YY。每个概念是后继概念的一部分，都是符合一定条件的后继概念。如果用图形表示则是大圈套小圈的样子。最终总会有个YY的东西的。这个东西在数学上叫什么呢？叫“不定义概念”。

          我们再引入一个概念：菱形。什么是菱形呢？菱形是“对边相等的四边形”，继续追问得到另一个链条：菱形----------四边形--------……----------YY。

          我们看到，两个链条在“四边形”这个点上交叉了。是的，让我们以此一窥我们所有概念的全貌：整体上是颗概念的大树模型。我们刚刚分析了其中一个很小的枝杈，那个“四边形”恰是一个枝杈的分支点，而YY却是整个大树的树根。

          所有概念的全貌，所有概念是什么呢？没有任何限制，从日常的瓶瓶罐罐，到学术的动物界，植物界，数学，物理，化学……，所有的概念链条都指向一个方向，那是整个概念树的树根，也可以说，所有概念链条都最终交汇在一个点上。

          这个点叫什么呢？它在概念链条上已经没有其后继概念。

          这个YY就是“集合”。

          等等，不是说，集合是一堆东西得吗？还有个东西在啊。其实东西就是集合的通俗说法，在这个天涯的尽头，概念已经在原地打转了。