A. Peres constructed an example of particles entangled in the state of spin singlet. He claimed to have obtained the CHSH inequality and concluded that the violation of this inequality shows that in a measurement in w...A. Peres constructed an example of particles entangled in the state of spin singlet. He claimed to have obtained the CHSH inequality and concluded that the violation of this inequality shows that in a measurement in which some variables are tested, other variables, not tested, have no defined value. In the present paper is proved that the correct conclusion of the violation of the CHSH inequality is different. It is proved that the classical calculus of probabilities of test results, obeying the Kolmogorov axioms, is unfit for the quantum formalism, dominated by probability amplitudes.展开更多
The paper resolves the great debate of the 20th century between the three philosophies of mathematics-logicism, intuitionism and formalism—founded by Bertrand Russell and A. N. Whitehead, L. E. J. Brouwer and David H...The paper resolves the great debate of the 20th century between the three philosophies of mathematics-logicism, intuitionism and formalism—founded by Bertrand Russell and A. N. Whitehead, L. E. J. Brouwer and David Hilbert, respectively. The issue: which one provides firm foundations for mathematics? None of them won the debate. We make a critique of each, consolidate their contributions, rectify their weakness and add our own to resolve the debate. The resolution forms the new foundations of mathematics. Then we apply the new foundations to assess the status of Hilbert’s 23 problems most of which in foundations and find out which ones have been solved, which ones have flawed solutions that we rectify and which ones are open problems. Problem 6 of Hilbert’s problems—Can physics be axiomatized?—is answered yes in E. E. Escultura, Nonlinear Analysis, A-Series: 69(2008), which provides the solution, namely, the grand unified theory (GUT). We also point to the resolution of the 379-year-old Fermat’s conjecture (popularly known as Fermat’s last theorem) in E. E. Escultura, Exact Solutions of Fermat’s Equations (Definitive Resolution of Fermat’s Last Theorem), Nonlinear Studies, 5(2), (1998). Likewise, the proof of the 274-year-old Goldbach’s conjecture is in E. E. Escultura, The New Mathematics and Physics, Applied Mathematics and Computation, 138(1), 2003.展开更多
Rough set axiomatization is one aspect of rough set study, and the purpose is to characterize rough set theory using independable and minimal axiom groups. Thus, rough set theory can be studied by logic and axiom syst...Rough set axiomatization is one aspect of rough set study, and the purpose is to characterize rough set theory using independable and minimal axiom groups. Thus, rough set theory can be studied by logic and axiom system methods. To characterize rough set theory, an axiom group named H consisting of 4 axioms, is proposed. That validity of the axiom group in characterizing rough set theory is reasonable, is proved. Simultaneously, the minimization of the axiom group, which requires that each axiom is an inequality and each is independent, is proved. The axiom group is helpful for researching rough set theory by logic and axiom system methods. Key words rough set - lower approximation - axioms - minimization CLC number TP 18 Foundation item: Supported by the 973 National Basic Research Program of China (2002CB312106) and Science & Technology Program of Zhejiang Province (2004C31G101003)Biography: DAI Jian-hua (1977-), male, Ph. D, research direction: data mining, artificial intelligence, rough sets, evolutionary computation.展开更多
The aim of this paper is to introduce the concept of generalized topological molecular lattices briefly GTMLs as a generalization of Wang’s topological molecular lattices TMLs, Császár’s setpoint generaliz...The aim of this paper is to introduce the concept of generalized topological molecular lattices briefly GTMLs as a generalization of Wang’s topological molecular lattices TMLs, Császár’s setpoint generalized topological spaces and lattice valued generalized topological spaces. Some notions such as continuous GOHs, convergence theory and separation axioms are introduced. Moreover, the relations among them are investigated.展开更多
In recent papers [1] [2] [3], we framed suitable axioms for Space called Super Space by Wheeler [4]. Using our axioms in Newtonian formalism and considering the density of the universe to be constant in time, we showe...In recent papers [1] [2] [3], we framed suitable axioms for Space called Super Space by Wheeler [4]. Using our axioms in Newtonian formalism and considering the density of the universe to be constant in time, we showed in the above references that at t = 0 the radius of the universe need not be zero. And thus, we avoided the problem of singularity. We further showed that the Hubble factor is no longer constant in time and goes on decreasing as confirmed by experiments. We pointed out in the above references that Space is the source of dark energy which is responsible for the accelerated expansion of the universe. With a view to improving the above-mentioned results quantitatively, in this paper, we are discussing the consequences of our axioms using Einstein’s field equations of general theory of relativity. Friedmann-like Cosmological equations with Dark Energy built-in are derived. This derivation is obtained using Robertson-Walker line element and by introducing a suitable expression for Energy-Momentum tensor in terms of matter and Dark energy contents of the universe. The solutions of our cosmological equations obtained here, show that the radius of the universe cannot reach zero but has a minimum value and there is also maximum value for the radius of the universe. The inflationary expansion of the very early universe emerges from our theory.展开更多
This article presents four (4) additions to a book on the brain’s OS published by SciRP in 2015 [1]. It is a kind of appendix to the book. Some familiarity with the earlier book is presupposed. The book itself propos...This article presents four (4) additions to a book on the brain’s OS published by SciRP in 2015 [1]. It is a kind of appendix to the book. Some familiarity with the earlier book is presupposed. The book itself proposes a complete physical and mathematical blueprint of the brain’s OS. A first addition to the book (see Chapters 5 to 10 below) concerns the relation between the afore-mentioned blueprint and the more than 2000-year-old so-called fundamental laws of thought of logic and philosophy, which came to be viewed as being three (3) in number, namely the laws of 1) Identity, 2) Contradiction, and 3) the Excluded Middle. The blueprint and the laws cannot both be the final foundation of the brain’s OS. The design of the present paper is to interpret the laws in strictly mathematical terms in light of the blueprint. This addition constitutes the bulk of the present article. Chapters 5 to 8 set the stage. Chapters 9 and 10 present a detailed mathematical analysis of the laws. A second addition to the book (Chapter 11) concerns the distinction between the laws and the axioms of the brain’s OS. Laws are part of physics. Axioms are part of mathematics. Since the theory of the brain’s OS involves both physics and mathematics, it exhibits both laws and axioms. A third addition (Chapter 12) to the book involves an additional flavor of digitality in the brain’s OS. In the book, there are five (5). But brain chemistry requires a sixth. It will be called Existence Digitality. A fourth addition (Chapter 13) concerns reflections on the role of imagination in theories of physics in light of the ignorance of deeper causes. Chapters 1 to 4 present preliminary matter, for the most part a brief survey of general concepts derived from what is in the book [1]. Some historical notes are gathered at the end in Chapter 14.展开更多
文摘A. Peres constructed an example of particles entangled in the state of spin singlet. He claimed to have obtained the CHSH inequality and concluded that the violation of this inequality shows that in a measurement in which some variables are tested, other variables, not tested, have no defined value. In the present paper is proved that the correct conclusion of the violation of the CHSH inequality is different. It is proved that the classical calculus of probabilities of test results, obeying the Kolmogorov axioms, is unfit for the quantum formalism, dominated by probability amplitudes.
文摘The paper resolves the great debate of the 20th century between the three philosophies of mathematics-logicism, intuitionism and formalism—founded by Bertrand Russell and A. N. Whitehead, L. E. J. Brouwer and David Hilbert, respectively. The issue: which one provides firm foundations for mathematics? None of them won the debate. We make a critique of each, consolidate their contributions, rectify their weakness and add our own to resolve the debate. The resolution forms the new foundations of mathematics. Then we apply the new foundations to assess the status of Hilbert’s 23 problems most of which in foundations and find out which ones have been solved, which ones have flawed solutions that we rectify and which ones are open problems. Problem 6 of Hilbert’s problems—Can physics be axiomatized?—is answered yes in E. E. Escultura, Nonlinear Analysis, A-Series: 69(2008), which provides the solution, namely, the grand unified theory (GUT). We also point to the resolution of the 379-year-old Fermat’s conjecture (popularly known as Fermat’s last theorem) in E. E. Escultura, Exact Solutions of Fermat’s Equations (Definitive Resolution of Fermat’s Last Theorem), Nonlinear Studies, 5(2), (1998). Likewise, the proof of the 274-year-old Goldbach’s conjecture is in E. E. Escultura, The New Mathematics and Physics, Applied Mathematics and Computation, 138(1), 2003.
文摘Rough set axiomatization is one aspect of rough set study, and the purpose is to characterize rough set theory using independable and minimal axiom groups. Thus, rough set theory can be studied by logic and axiom system methods. To characterize rough set theory, an axiom group named H consisting of 4 axioms, is proposed. That validity of the axiom group in characterizing rough set theory is reasonable, is proved. Simultaneously, the minimization of the axiom group, which requires that each axiom is an inequality and each is independent, is proved. The axiom group is helpful for researching rough set theory by logic and axiom system methods. Key words rough set - lower approximation - axioms - minimization CLC number TP 18 Foundation item: Supported by the 973 National Basic Research Program of China (2002CB312106) and Science & Technology Program of Zhejiang Province (2004C31G101003)Biography: DAI Jian-hua (1977-), male, Ph. D, research direction: data mining, artificial intelligence, rough sets, evolutionary computation.
文摘The aim of this paper is to introduce the concept of generalized topological molecular lattices briefly GTMLs as a generalization of Wang’s topological molecular lattices TMLs, Császár’s setpoint generalized topological spaces and lattice valued generalized topological spaces. Some notions such as continuous GOHs, convergence theory and separation axioms are introduced. Moreover, the relations among them are investigated.
文摘In recent papers [1] [2] [3], we framed suitable axioms for Space called Super Space by Wheeler [4]. Using our axioms in Newtonian formalism and considering the density of the universe to be constant in time, we showed in the above references that at t = 0 the radius of the universe need not be zero. And thus, we avoided the problem of singularity. We further showed that the Hubble factor is no longer constant in time and goes on decreasing as confirmed by experiments. We pointed out in the above references that Space is the source of dark energy which is responsible for the accelerated expansion of the universe. With a view to improving the above-mentioned results quantitatively, in this paper, we are discussing the consequences of our axioms using Einstein’s field equations of general theory of relativity. Friedmann-like Cosmological equations with Dark Energy built-in are derived. This derivation is obtained using Robertson-Walker line element and by introducing a suitable expression for Energy-Momentum tensor in terms of matter and Dark energy contents of the universe. The solutions of our cosmological equations obtained here, show that the radius of the universe cannot reach zero but has a minimum value and there is also maximum value for the radius of the universe. The inflationary expansion of the very early universe emerges from our theory.
文摘This article presents four (4) additions to a book on the brain’s OS published by SciRP in 2015 [1]. It is a kind of appendix to the book. Some familiarity with the earlier book is presupposed. The book itself proposes a complete physical and mathematical blueprint of the brain’s OS. A first addition to the book (see Chapters 5 to 10 below) concerns the relation between the afore-mentioned blueprint and the more than 2000-year-old so-called fundamental laws of thought of logic and philosophy, which came to be viewed as being three (3) in number, namely the laws of 1) Identity, 2) Contradiction, and 3) the Excluded Middle. The blueprint and the laws cannot both be the final foundation of the brain’s OS. The design of the present paper is to interpret the laws in strictly mathematical terms in light of the blueprint. This addition constitutes the bulk of the present article. Chapters 5 to 8 set the stage. Chapters 9 and 10 present a detailed mathematical analysis of the laws. A second addition to the book (Chapter 11) concerns the distinction between the laws and the axioms of the brain’s OS. Laws are part of physics. Axioms are part of mathematics. Since the theory of the brain’s OS involves both physics and mathematics, it exhibits both laws and axioms. A third addition (Chapter 12) to the book involves an additional flavor of digitality in the brain’s OS. In the book, there are five (5). But brain chemistry requires a sixth. It will be called Existence Digitality. A fourth addition (Chapter 13) concerns reflections on the role of imagination in theories of physics in light of the ignorance of deeper causes. Chapters 1 to 4 present preliminary matter, for the most part a brief survey of general concepts derived from what is in the book [1]. Some historical notes are gathered at the end in Chapter 14.
