Computer Science ›› 2018, Vol. 45 ›› Issue (6A): 69-71.

• Intelligent Computing • Previous Articles     Next Articles

Generation Mechanism and Interpretations of Paradoxes

WU Mei-hua,WANG Yong-jun,YANG Yi-chuan,WANG Xiao-yang   

  1. School of Mathematics and System Sciences,Beihang University,Beijing 100191,China
  • Online:2018-06-20 Published:2018-08-03

Abstract: 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.

Key words: Category theory, Diagonal arguments, Paradox, Quantum mechanics, Self-reference

CLC Number: 

  • TP301
[1]千红.罗素悖论与数学危机[J].中国科技纵横,2002(10):138-140.
[2]MARCHAL B.Theoretical computer science and the natural sciences[J].Physics of Life Reviews,2005,2(4):251-289.
[3]张建军.逻辑悖论研究引论[M].北京:人民出版社,2014:.
[4]KRIPKE S A.Outline of a Theory of Truth[J].Journal of Philosophy,1975,72(19):690-716.
[5]YANOFSKY N S.Computability and Complexity of Categorical Structures[OL].http://www.researchgate.net/publication/280243417_Computability_and_Complexity_of_Categorical_Structures.
[6]YANOFSKY N S.A Universal Approach to Self-Referential Paradoxes,Incompleteness and Fixed Points[J].Bulletin of Symbolic Logic,2003,9(3):362-386.
[7]YUKALOV V I,SORNETTE D.Mathematical basis of quantum decision theory[J].Swiss Finance Institute Research Paper,2008(08-25):1-37.
[8]AERTS D,GABORA L,SOZZO S,et al.Quantum Structure in Cognition:Fundamentals and Applications[J].ComputerScien-ce,2011,53(5):314-348.
[9]YABLO S.Paradox without Self-Reference[J].Analysis,1993,53(4):251-252.
[10]PRIEST G.The Structure of the Paradoxes of Self-Reference [J].Mind,1994,103(409):25-34.
[11]SMITH N.The principle of uniform solution (of the paradoxes of self-reference)[J].Mind,2000,109(433):117-122.
[12]PARENT T.Paradox with just self-reference[J/OL].http://www.unc.edu/~tparent/d.pdf.
[13]杨义川,王拥军.《数理逻辑与集合论》中的对角化原则[J].大学数学,2017,33(1):109-113.
[14]ABRAMSKY S,TZEVELEKOS N.Introduction to Categories and Categorical Logic[M]∥Introduction to higher order categorical logic.Cambridge University Press,2011:3-94.
[1] YU Shan-shan, SU Jin-dian and YI Fa-ling. Descriptions for Ontologies Based on Category Theory [J]. Computer Science, 2016, 43(5): 42-46.
[2] SU Jin-dian. Survey on Categorical Data Type in Computer Science [J]. Computer Science, 2016, 43(10): 9-18.
[3] MIAO De-cheng, XI Jian-qing and SU Jin-dian. Category Theoretical Method of Inductive Data Types [J]. Computer Science, 2015, 42(6): 8-11.
[4] CHEN Zhi-yuan,HUANG Shao-bin and HAN Li-li. Research on Applications of Modern Modal Logic in Computer Science [J]. Computer Science, 2013, 40(Z6): 70-76.
[5] . Formalizing Geo-ontology Alignment and Integration Based on Category Theory [J]. Computer Science, 2012, 39(7): 242-244.
[6] ZHOU Li 1i , LI Fan-zhang. Data Dimension Reduction Based on Category Theory [J]. Computer Science, 2011, 38(9): 242-244.
[7] SU Jin-dian,YU Shan-shan. Comonad Theory and its Applications in Functional Programming Language Haskell [J]. Computer Science, 2011, 38(7): 144-147.
[8] WANG Jin-quan,ZHENG Yu-jun. Category Theoretic Framework of Multi-language Program Generation [J]. Computer Science, 2011, 38(4): 185-187.
[9] SU Jin-dian,YU Shan-shan. Coinductive Data Types and their Applications in Programming Languages [J]. Computer Science, 2011, 38(11): 114-118.
[10] LIU Chao,WANG Wen-jie. Research on Hamiltonian Cycle Based on Path with Interface [J]. Computer Science, 2010, 37(9): 252-256.
[11] LIANG Zheng-ping, MING Zhong,WU Guo-qing. Research on Integration Process of Viewpoints in Viewpoint-oriented Requirements Engineering [J]. Computer Science, 2009, 36(8): 138-144.
[12] ZHANG Yuan ,LI Shi-Xian (Department of Computer,Sun yat-sen University,Guangzhou 510275). [J]. Computer Science, 2006, 33(9): 1-3.
[13] Xiong Wei;Ju ShiEr;Luo XuDong. [J]. Computer Science, 2005, 32(8): 145-146.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!