| 数学无穷与中介逻辑(上)——Leibniz的割线与切线问题在中介逻辑中的逻辑数学解释方法(英文) |
| |
| 作者姓名： | 朱梧槚 宫宁生 杜国平 |
| |
| 作者单位： | School of Information Science and Technology, Nanjing University of Aeronautics and Astronautics;State Key Laboratory of Software Development Environment, Beihang University;School of Electronics and Information Engineering, Nanjing University of Technology;Institute of Modern Logic and Applications, Nanjing University |
| |
| 基金项目： | 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.
|
| 关 键 词： | calculus limit theory medium logic potential infinity actual infinity |
| 本文献已被 CNKI 等数据库收录！ |
