Descriptive definitions of potential and actual infinities

被引:16
作者
Zhu, Wujia [3 ]
Lin, Yi [1 ,2 ]
Gong, Ningsheng [4 ]
Du, Guoping [5 ]
机构
[1] Nanjing Univ Aeronaut & Astronaut, Coll Econ & Management, Nanjing 210016, Peoples R China
[2] Slippery Rock Univ, Dept Math, Slippery Rock, PA 16057 USA
[3] Nanjing Univ Aeronaut & Astronaut, Dept Comp Sci, Nanjing 210016, Peoples R China
[4] Nanjing Univ Technol, Coll Informat Sci, Nanjing 210009, Peoples R China
[5] Nanjing Univ, Inst Modern Log & Applicat, Nanjing 210008, Peoples R China
关键词
cybernetics; critical thinking; set theory;
D O I
10.1108/03684920810863372
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Purpose - The paper's purpose is to analyze the concepts of potential and actual infinities. Design/methodology/approach - The exploration and research on potential and actual infinities generally touch on many disciplines, such as philosophy, logic, computer science, mathematics, etc. From the angle of a brief history, recall and development, the authors analyze the concepts of potential and actual infinities on one starting point and two locations to cut in. Findings - Clarify the difference and connection of these two infinities on the level of mathematics and introduce the symbolized, descriptive definitions for potential and actual infinities. Originality/value - It is the first time that the difference between the concepts of potential and actual infinities are clarified, which leads to the discovery of the fourth crisis in the foundations of mathematics.
引用
收藏
页码:424 / 432
页数:9
相关论文
共 13 条
  • [1] *BEIJ U I FOR HIST, 1962, PHIL ANC GREEKS
  • [2] Consistency of V = HOD with the wholeness axiom
    Corazza, P
    [J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2000, 39 (03) : 219 - 226
  • [3] DAUBEN JW, 1988, CANTORS MATH PHILOS
  • [4] DAUBEN JW, 1979, GEORG CANTOR HIS MAT
  • [5] A new natural structural congruence in the pi-calculus with replication
    Engelfriet, J
    Gelsema, T
    [J]. ACTA INFORMATICA, 2004, 40 (6-7) : 385 - 430
  • [6] Potential infinite models and ontologically neutral logic
    Hailperin, T
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2001, 30 (01) : 79 - 96
  • [7] KANOVEI V, 2000, STUDIA LOGICA, V64, P37
  • [8] LENIN V, 1959, COMPLETE COLLECTION
  • [9] Systemic yoyo structure in human thoughts and the fourth crisis in mathematics
    Lin, Yi
    Zhu, Wujia
    Gong, Ningsheng
    Du, Guoping
    [J]. KYBERNETES, 2008, 37 (3-4) : 387 - 423
  • [10] Wang LM, 2003, APPL MATH MECH-ENGL, V24, P917