Refs 1 and 2 provide the definition of the concepts of‘potential infinity’(poi)and actual infinity(aci);Ref 3 discusses and verifies that poi and aci are a pair of contradictory opposites without intermediate(p,-p)....Refs 1 and 2 provide the definition of the concepts of‘potential infinity’(poi)and actual infinity(aci);Ref 3 discusses and verifies that poi and aci are a pair of contradictory opposites without intermediate(p,-p).The second part of this paper,i.e.,§2,further discusses the manners in which a variable x approaches infinitely to its limit x0 using the poi and aci methods and concludes that,in any system compatible with both poi and aci, the two approaching manners are also a pair of contradictory opposites without intermediate (A,-A).Finally,on the basis of this conclusion,we reexamine the fundamental question of Leibniz’s Secant and Tangent Lines in calculus and the limit theory and offer our analysis and raise new questions.展开更多
From the perspective of potential infinity (poi) and actual infinity, Ref [4] has confirmed that poi and aci are in 'unmediated opposition' (P,﹁P ) whether in ZFC or not; it has further been proved that the m...From the perspective of potential infinity (poi) and actual infinity, Ref [4] has confirmed that poi and aci are in 'unmediated opposition' (P,﹁P ) whether in ZFC or not; it has further been proved that the manners in which a variable infinitely approaches its limit also satisfy the law of intermediate exclusion. With these results as theoretical bases, this paper attempts to provide an accurate and strict logical-mathematical interpretation of the incompatibility of Leibniz's secant and tangent lines in the medium logic system from the perspective of logical mathematics.展开更多
Abstract： Ref [5] provides a logical-mathematical explanation of the incompatibility ofLeibniz＇s secant and tangent lines in medium logic. However, the expression （＊）（△y/△x） ismeaningful and dy/dx is the tang...Abstract： Ref [5] provides a logical-mathematical explanation of the incompatibility ofLeibniz＇s secant and tangent lines in medium logic. However, the expression （＊）（△y/△x） ismeaningful and dy/dx is the tangent slope） derived from ⑦ and ⑧ in §4 of Ref [5] is unimaginablewithin the framework of two-valued logic, why shouldn＇t the same conflicting concluslon be reached in the medium logic calculus？ This paper has subjected these questions to careful logical analysis, and approached them from the perspective of logical mathematics. As the two approaches have led to the identical conclusion, the paper thereby rigorously and thoroughlv answers these questions.展开更多
基金Supported by the Open Fund of the State Key Laboratory of Software Development Environment(SKLSDE-2011KF-04)Supported by the Beihang University and by the National High Technology Research and Development Program of China(863 Program)(2009AA043303)
文摘Refs 1 and 2 provide the definition of the concepts of‘potential infinity’(poi)and actual infinity(aci);Ref 3 discusses and verifies that poi and aci are a pair of contradictory opposites without intermediate(p,-p).The second part of this paper,i.e.,§2,further discusses the manners in which a variable x approaches infinitely to its limit x0 using the poi and aci methods and concludes that,in any system compatible with both poi and aci, the two approaching manners are also a pair of contradictory opposites without intermediate (A,-A).Finally,on the basis of this conclusion,we reexamine the fundamental question of Leibniz’s Secant and Tangent Lines in calculus and the limit theory and offer our analysis and raise new questions.
基金Supported by the Open Fund of the State Key Laboratory of Software Development Environment(SKLSDE-2011KF-04)Supported by the National High Technology Research and Development Program of China (863 Program)(2009AA043303)
文摘From the perspective of potential infinity (poi) and actual infinity, Ref [4] has confirmed that poi and aci are in 'unmediated opposition' (P,﹁P ) whether in ZFC or not; it has further been proved that the manners in which a variable infinitely approaches its limit also satisfy the law of intermediate exclusion. With these results as theoretical bases, this paper attempts to provide an accurate and strict logical-mathematical interpretation of the incompatibility of Leibniz's secant and tangent lines in the medium logic system from the perspective of logical mathematics.
文摘Abstract： Ref [5] provides a logical-mathematical explanation of the incompatibility ofLeibniz＇s secant and tangent lines in medium logic. However, the expression （＊）（△y/△x） ismeaningful and dy/dx is the tangent slope） derived from ⑦ and ⑧ in §4 of Ref [5] is unimaginablewithin the framework of two-valued logic, why shouldn＇t the same conflicting concluslon be reached in the medium logic calculus？ This paper has subjected these questions to careful logical analysis, and approached them from the perspective of logical mathematics. As the two approaches have led to the identical conclusion, the paper thereby rigorously and thoroughlv answers these questions.
