Mathematical system of potential infinities (III) – meta theory of logical basis
Abstract
Purpose
This paper is the third part of the effort to resolve the following two problems, which urgently need an answer: how can an appropriate theoretical foundation be chosen for modern mathematics and computer science? And, under what interpretations can modern mathematics and the theory of computer science be kept as completely as possible?
Design/methodology/approach
The paper is a conceptual discussion of the metatheory.
Findings
The paper establishes the metatheory of the logical foundation for the mathematical system of potential infinities.
Originality/value
The authors prove the relevant results on the reliability and the completeness of the logical system.
Keywords
Citation
Zhu, W., Lin, Y., Du, G. and Gong, N. (2008), "Mathematical system of potential infinities (III) – meta theory of logical basis", Kybernetes, Vol. 37 No. 3/4, pp. 505-515. https://doi.org/10.1108/03684920810863499
Publisher
:Emerald Group Publishing Limited
Copyright © 2008, Emerald Group Publishing Limited