悖论的生成机制和解释  

Generation Mechanism and Interpretations of Paradoxes

作　　者：吴美华[1] 王拥军[1] 杨义川[1] 王潇扬 WU Mei- hua WANG Yong- jun, YANG Yi- chuan WANG Xiao -yang(School of Mathematics and System Sciences, Beihang University, Beijing 100191, Chin)

机构地区：[1]北京航空航天大学数学与系统科学学院,北京100191

出　　处：《计算机科学》2018年第B06期69-71,共3页Computer Science

基　　金：国家自然科学基金(11271040);北航凡舟教学团队建设资助

摘　　要：从计算机科学中的具体悖论实例出发,使用对角线方法来说明一类悖论的生成机制,并指出自指代现象是悖论产生的深层次原因。传统的应对策略往往采用回避的方式,简单禁止自指代以避免悖论。从量子力学和范畴理论两个新视角出发,给出容纳悖论的新模型。结果表明,从新角度审视悖论不仅可以使悖论在某些新领域得到合理解释,而且能提供认识问题本质的新思维。Based on some concrete paradoxes in computer science,this paper used the diagonal arguments to explain the generation mechanism of a class of paradoxes,and pointed out that a deep reason of resulting in some paradoxes is the self-reference.Moreover,from two new perspectives in quantum mechanics and category theory,this paper gave some interpretations including paradoxes rather than traditional method to avoid a paradox by prohibiting the self-reference.It shows that our models not only can provide a reasonable explanation for some paradoxes,but also can provide some new ideas to understand the essence of the paradoxes.

关 键 词：悖论 自指代 对角线方法 量子力学 范畴理论 

分 类 号：TP301[自动化与计算机技术—计算机系统结构] O141[自动化与计算机技术—计算机科学与技术]