定义究竟是什么,这无疑是一个哲学的根本公理。然而对于实际中的人类哲学和数理哲学对这个问题的看法未必相同。一个典型的问题,什么是哲学,就可以表现出起根本的差异。
就人类的自然哲学来说,有一个定义,不管是世界观来说,还是爱智慧来说,起解释对于数理哲学来讲都是无意义的。
另外更进一步,符号表达式或者叫S-表达式的定义,在数理哲学来说是有意义的,但是在实际的角度是不可用的,或者叫不完整的。
也就是说,当你由上层的哲学角度开始构建一个完整的系统,这样的路子是行不通的。你必须不断的构建新的定义,至少在不同的层次你需要这样作。
于是纯粹的形成一个递归的定义结构成为不可能,由此必须建立一个以系列结构定义为链条的系统。而越是趋近于细节,碎片化自然越是严重,最终形成离散的趋势比内聚的趋势要严重。
由此来说,我以为由上而下的设计语言不可能完美的表达。
就人类的自然哲学来说,有一个定义,不管是世界观来说,还是爱智慧来说,起解释对于数理哲学来讲都是无意义的。
另外更进一步,符号表达式或者叫S-表达式的定义,在数理哲学来说是有意义的,但是在实际的角度是不可用的,或者叫不完整的。
也就是说,当你由上层的哲学角度开始构建一个完整的系统,这样的路子是行不通的。你必须不断的构建新的定义,至少在不同的层次你需要这样作。
于是纯粹的形成一个递归的定义结构成为不可能,由此必须建立一个以系列结构定义为链条的系统。而越是趋近于细节,碎片化自然越是严重,最终形成离散的趋势比内聚的趋势要严重。
由此来说,我以为由上而下的设计语言不可能完美的表达。