期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
The Resolution of the Great 20th Century Debate in the Foundations of Mathematics 被引量:1
1
作者 Edgar E. Escultura 《Advances in Pure Mathematics》 2016年第3期144-158,共15页
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. 展开更多
关键词 Axiom of Choice banach-tarski Paradox Goldbach’s Conjecture LOGICISM CONSTRUCTIVISM Fermat’s Conjecture Field Axioms Formalism Qualitative Modelling Rational Thought SELF-REFERENCE
下载PDF
逻辑悖论与固定点定理 被引量:1
2
作者 刘靖贤 王永峰 《重庆理工大学学报(社会科学)》 CAS 2016年第1期12-19,共8页
罗素悖论的解决方案被划分为两大范畴:有类型限制的方案和无类型限制的方案。无类型限制方案的背景逻辑是多值逻辑或者不包含否定词的经典逻辑,它的一致性证明在实质上是利用固定点定理构造模型。在介绍克里悖论、莫绍揆悖论和吉尔莫尔... 罗素悖论的解决方案被划分为两大范畴:有类型限制的方案和无类型限制的方案。无类型限制方案的背景逻辑是多值逻辑或者不包含否定词的经典逻辑,它的一致性证明在实质上是利用固定点定理构造模型。在介绍克里悖论、莫绍揆悖论和吉尔莫尔悖论,回顾这些悖论的解决方案与布劳威尔固定点定理和塔斯基固定点定理之间的内在关联的基础上,探讨无类型限制方案在二阶罗素悖论中的应用,并且证明一系列相关结果。 展开更多
关键词 罗素悖论 克里悖论 布劳威尔固定点定理 塔斯基固定点定理 巴拿赫固定点定理
下载PDF
The Constructivist Real Number System
3
作者 Edgar E. Escultura 《Advances in Pure Mathematics》 2016年第9期593-607,共15页
The paper summarizes the contributions of the three philosophies of mathematics—logicism, intuitionism-constructivism (constructivism for short) and formalism and their rectification—which constitute the new foundat... The paper summarizes the contributions of the three philosophies of mathematics—logicism, intuitionism-constructivism (constructivism for short) and formalism and their rectification—which constitute the new foundations of mathematics. The critique of the traditional foundations of mathematics reveals a number of errors including inconsistency (contradiction or paradox) and undefined and vacuous concepts which fall under ambiguity. Critique of the real and complex number systems reveals similar defects all of which are responsible not only for the unsolved long standing problems of foundations but also of traditional mathematics such as the 379-year-old Fermat’s last theorem (FLT) and 274-year-old Goldbach’s conjecture. These two problems require rectification of these defects before they can be resolved. One of the major defects is the inconsistency of the field axioms of the real number system with the construction of a counterexample to the trichotomy axiom that proved it and the real number system false and at the same time not linearly ordered. Indeed, the rectification yields the new foundations of mathematics, constructivist real number system and complex vector plane the last mathematical space being the rectification of the complex real number system. FLT is resolved by a counterexample that proves it false and the Goldbach’s conjecture has been proved both in the constructivist real number system and the new real number system. The latter gives to two mathematical structures or tools—generalized integral and generalized physical fractal. The rectification of foundations yields the resolution of problem 1 and the solution of problem 6 of Hilbert’s 23 problems. 展开更多
关键词 Axiom of Choice banach-tarski Paradox Continuum Dark Number Decimal Integer D-Sequence G-Norm G-Sequence Nonterminating Decimal Russell Antimony SELF-REFERENCE Trichotomy Axiom
下载PDF
Hubble Scale Dark Energy Meets Nano Scale Casimir Energy and the Rational of Their T-Duality and Mirror Symmetry Equivalence
4
作者 M.S.El Naschie 《World Journal of Nano Science and Engineering》 2015年第3期57-67,共11页
We establish that ordinary energy, Casimir energy and dark energy are not only interlinked but are basically the same thing separated merely by scale and topology. Casimir energy is essentially a nano scale spacetime ... We establish that ordinary energy, Casimir energy and dark energy are not only interlinked but are basically the same thing separated merely by scale and topology. Casimir energy is essentially a nano scale spacetime phenomenon produced by the boundary condition of the two Casimir plates constituting the Casimir experimental set up for measuring the Casimir force. By contrast dark energy is the result of the cosmic boundary condition, i.e. the boundary of the universe. This one sided M?bius-like boundary located at vast cosmic distance and was comparable only to the Hubble radius scales of the universe. All the Casimir energy spreads out until the majority of it reaches the vicinity of the edge of the cosmos. According to a famous theorem due to the Ukrainian-Israeli scientist I. Dvoretzky, almost 96% of the total energy will be concentrated at the boundary of the universe, too far away to be measured directly. The rest of the accumulated Casimir energy density is consequently the nearly 4% to 4.5%, the existence of which is confirmed by various sophisticated cosmic measurements and observations. When all is said and done, the work is essentially yet another confirmation of Witten’s T-duality and mirror symmetry bringing nano scale and Hubble scale together in an unexpected magical yet mathematically rigorous way. 展开更多
关键词 Mirror Symmetry Casimir Energy Dark Energy Zero Point Vacuum Energy T-DUALITY Nano Scale-Hubble Scale Mobius Holographic Boundary Dvoretzky’s Theorem banach-tarski Theorem
下载PDF
巴拿赫—塔斯基佯谬的接受历程与哲学意义探析
5
作者 单芃舒 《自然辩证法研究》 CSSCI 北大核心 2023年第12期89-95,共7页
数学的视野扩大到纯数学的发展历程暗藏了认识或价值倾向变化。巴拿赫-塔斯基佯谬断言,我们在数学上能将一个球体拆成有穷片,再重组为两个原球完全一样的球体。该命题及其相关命题起初因“反直观性”而被视为悖论;后又被接受为定理;至... 数学的视野扩大到纯数学的发展历程暗藏了认识或价值倾向变化。巴拿赫-塔斯基佯谬断言,我们在数学上能将一个球体拆成有穷片,再重组为两个原球完全一样的球体。该命题及其相关命题起初因“反直观性”而被视为悖论;后又被接受为定理;至今又已启发了有穷可加测度和顺从群方面的成果。这些成果巩固了巴-塔佯谬的合法地位,也可授信于推演它所需的公理。这一事实不仅可影响到数学哲学中“公理辩护”的探讨,也为思考价值如何影响认知,这一更具一般性的主题,贡献了一则似乎更先天的例子。 展开更多
关键词 巴拿赫-塔斯基佯谬 公理辩护 应用数学-纯数学 数学哲学 价值倾向
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部