科研之友
微信
新浪微博
Facebook
分享链接
摘要
Purpose - Aims to focus on the co-existence of potential and actual infinities in modem mathematics and its theoretical foundation. It has been shown that not only the whole system of modem mathematics but also the subsystems directly dealing with infinities have permitted the co-existence of these two kinds of infinities.
Design/methodology/approach - The paper discusses the issues surrounding the two problems that urgently need to be solved. One of the problems is how to select an appropriate theoretical foundation for modem mathematics and the theory of computer science. The other problem is, under what interpretation can modem mathematics and the theory of computer science be kept in their entirety?
Findings - This paper constructs the mathematical system of potential infinities in an effort to address the two afore-mentioned problems.
Originality/value - Highlights that the said mathematical system of potential infinities is completely different of the mathematical system constructed on the basis of intuitionism.
