程序集合论导引

程序集合论首先是为了解决停机问题,所以定义了while语句的序型w。为清晰区分有if语句的while语句序型的不同,又定义了w[if]和w[if_break]。因此依据序型能发现循环错误。同时,我们发现对程序路径的判断可用if语句对程序数据集合A的划分和if语句的序型par A作为标准,而且根据par A能发现if语句中的错误。在程序的序型S与哥德尔数的比较过程中,由于哥德尔数根据变量的n元函数决定,因此我们借鉴编译原理的数据流分析,提出程序语句的数据集合分析方法,实现程序理解和程序调试。则程序集合论包括三部分,用在程序设计的全过程和软件理论研究上,有广泛应用。

富有价值的理论探索——评《艺术构造论》

长期以来,中国文艺理论界对诸多理论问题的研究阐释主要是从一般社会学研究的思路上穷思苦想或拓展延伸,结果是虽然对文艺现象的社会属性及意义论述细微,但同时又使文艺学研究笼罩上了浓厚的社会学意味,文艺学研究的独特品位几乎丧失殆尽。