Search

PurposeThe paper's aim is to reconsider the feasibility at both the heights of mathematics and philosophy of the statement that each predicate determines a unique set.Design/methodology/approachA conceptual approach is taken.FindingsIn the naive and the modern axiomatic set theories, it is a well‐known fact that each predicate determines precisely one set. That is to say, for any precisely defined predicate P, there is always A={x|P(x)} or x∈A↔P(x). However, when the authors are influenced by the thinking logic of allowing both kinds of infinities and compare these two kinds of infinities, and potentially infinite and actually infinite intervals and number sets, it is found that the expressions of these number sets are not completely reasonable.Originality/valueDetailed analyses are given for the introduction of new symbols and representations for either potential or actual infinite sets.

PurposeThe paper aims to introduce the concepts of potential and actual infinities.Design/methodology/approachA conceptual approach is taken.FindingsIt is a common belief that both Cantor and Zermelo completely employed the thinking logic of actual infinities in the naive and modern axiomatic set theory, and that Cauchy and Weierstrass completely applied that of potential infinities in the theory of limits. However, when it explores in depth the essential intensions of both potential and actual infinities, and after sufficiently understanding the difference and connections between the infinities and revisiting the realistic situations on how the concept of infinities has been employed in modern system of mathematics, it is discovered that in set theory, the thinking logic of actual infinities has not been applied consistently throughout, and that in the theory of limits, the idea of potential infinities has not been utilized consistently throughout, either. As for those subsystems involving the concepts of infinities of modern mathematics, they generally contain both kinds of infinities at the same time. As a matter of fact in modern mathematics and its theoretical foundation, one only needs to slightly analyze and dig deeper, one will see the reality that the thinking logics and method of analysis of employing both kinds of infinities are everywhere implicitly.Originality/valueThe authors show the first time in history that the system of modern mathematics is not consistent as what has been believed.

PurposeThe paper's aim is to show a pair of deeply hidden contradictions in the system of mathematics.Design/methodology/approachThe paper takes a conceptual approach to the problem.FindingsIt is indicated that it is an intrinsic attribute of modern mathematics and its theoretical foundation to mix up the intensions and methods of two different thoughts of infinities, which provides the basis of legality for using the methods of analysis, produced by combining the two kinds of infinities, in the study of the modern mathematical system. In this paper, by exactly employing the method of analysis of mixing up potential and actual infinities, we card the logical and non‐logical axiomatic systems for modern mathematics. The outcome of our carding implies that in modern mathematics and its theoretical foundation, some axioms implicitly assume the convention that each potential infinity equals an actual infinity, while some other axioms implicitly apply the belief that “each potential infinity is different of any actual infinity.”Originality/valueBy using the concepts of potential and actual infinities, the authors uncover two contradictory thinking logics widely employed in the study of mathematics.

PurposeThe purpose is to show that all uncountable infinite sets are self‐contradictory non‐sets.Design/methodology/approachA conceptual approach is taken in the paper.FindingsGiven the fact that the set N={x|n(x)} of all natural numbers, where n(x)=df “x is a natural number” is a self‐contradicting non‐set in this paper, the authors prove that in the framework of modern axiomatic set theory ZFC, various uncountable infinite sets are either non‐existent or self‐contradicting non‐sets. Therefore, it can be astonishingly concluded that in both the naive set theory or the modern axiomatic set theory, if any of the actual infinite sets exists, it must be a self‐contradicting non‐set.Originality/valueThe first time in history, it is shown that such convenient notion as the set of all real numbers needs to be reconsidered.

PurposeAims to focus on the co‐existence of potential and actual infinities in modern mathematics and its theoretical foundation. It has been shown that not only the whole system of modern mathematics but also the subsystems directly dealing with infinities have permitted the co‐existence of these two kinds of infinities.Design/methodology/approachThe 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 modern mathematics and the theory of computer science. The other problem is, under what interpretation can modern mathematics and the theory of computer science be kept in their entirety?FindingsThis paper constructs the mathematical system of potential infinities in an effort to address the two afore‐mentioned problems.Originality/valueHighlights that the said mathematical system of potential infinities is completely different of the mathematical system constructed on the basis of intuitionism.

PurposeThe paper aims to show the existence of the systemic yoyo structure in human thoughts so that the human way of thinking is proven to have the same structure as that of the material world.Design/methodology/approachParallel comparison is used to reveal the underlying structure existing in human thoughts.FindingsAfter highlighting all the relevant ideas and concepts, which are behind each and every crisis in the foundations of mathematics, it becomes clear that some difficulties in the authors' understanding of nature are originated from confusing actual infinities with potential infinities, and vice versa. By pointing out the similarities and differences between these two kinds of infinities, then some hidden contradictions existing in the system of modern mathematics are handily picked out. Then, theoretically, using the authors' yoyo model, it is predicted that the fourth crisis in the foundations of mathematics has appeared. And, a plan of resolution of this new crisis is provided.Originality/valueThis paper shows the first time in history that human thought, the material world, and each economic entity, share a common structure – the systemic yoyo structure. And it proves the arrival of the fourth crisis in mathematics by using systems modeling and listing several; contradictions hidden deeply in the foundations of mathematics.

PurposeThe paper aims to show countable infinite sets are self‐contradictory non‐sets.Design/methodology/approachThe paper is a conceptual discussion.FindingsSince, long ago, it has been commonly believed that the establishment and development of modern axiomatic set theory have provided a method to explain Russell's paradox. On the other hand, even though it has not been proven theoretically that there will not appear new paradoxes in modern axiomatic set theory, it has been indeed a century that no one has found a new paradox in modern axiomatic set theory. However, when we revisit some well‐known results and problems under the thinking logic of allowing two kinds of infinities, we discover that various countable infinite sets, widely studied and employed in modern axiomatic set theory, are all specious non‐sets.Originality/valueA well‐known concept is shown to be not as correct as what has been believed.

PurposeThis 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/approachThe paper is a conceptual discussion of the metatheory.FindingsThe paper establishes the metatheory of the logical foundation for the mathematical system of potential infinities.Originality/valueThe authors prove the relevant results on the reliability and the completeness of the logical system.

PurposeThe paper's purpose is to analyze the concepts of potential and actual infinities.Design/methodology/approachThe 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.FindingsClarify 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/valueIt 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.

For the classical BP algorithm has some deficiencies, such as the accuracy is insufficient, the rate of convergence does not descend, weight value closes to zero. This paper proposes the AB neural network to adjust the step and the hidden-layer neurons algorithm based on BP network. Network A with learning ability configures and adjusts the structure of Network B and trains it, by adjusting the step and the hidden-layer neurons of Network B, obviously enlarge the modification of weight to escape from flat region. The introduction of “prior knowledge” made training of Network B intelligently and automatically. The simulation results of Sin Function shows that the proposed method can effectively speed up the multilayer feed-forward neural network training process.

Voice Recognition is a rising cross-subject, how to communicate with machines freely is a focus problem to many researchers. This paper provides a voice recognition method based on artificial neuron network model, and develops a telephone voice system for ordering songs.

To address the unconstrained optimization problem, the Conjugate Gradient Method (CG) uses the sequence of iterations to approach the minimum point of aim function. Because of the effect of rounding errors, many merits of CG are no longer in existence in practical use. Hence the rate of convergence is not ideal and a practical problem confronting us is how to improve conjugate gradient iteration so as to accelerate the convergence. Common improvements include better descent directions and restart strategies on the precondition of conjugate gradients. From the angle of the search step length, another major factor that influences the rate of convergence, the author proposes the use of the neural network model to introduce ‘priori knowledge’ in CG so that it may predict the next search step length. Large quantities of experimental data prove that this method can effectively improve the rate of convergence.

This paper presents a new variable step size LMS algorithm based on neural network (BP-LMS). A non-linear relationship amongst the input vectors, deviation errors and the learning steps is constructed by BP model, which is employed to determine the learning steps during adaptive processing. The proposed algorithm also takes the prior knowledge into the LMS algorithm. Simulation experiments suggest that BP-LMS algorithm is capable of decreasing the time of convergent progress rapidly and satisfactory performance is attainable even with the presence of high level of noise.