期刊文献+
共找到25篇文章
< 1 2 >
每页显示 20 50 100
The Physical Laws and Mathematical Axioms of the Brain’s OS and the Traditional Fundamental Laws of Thought of Logic and Philosophy
1
作者 Leo Depuydt 《Advances in Pure Mathematics》 2021年第12期988-1039,共52页
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. 展开更多
关键词 Aristotle Boole G. Brain’s Os Fundamental Laws of Thought Kolmogorov A. N. Laws and axioms Leibniz G. W. Locke J. Logic PHILOsOPHY Rational Human Intelligence Venn J.
下载PDF
Shift, the Law of the Invention of Zero
2
作者 Emmanuel Cadier Anaxhaoza 《Advances in Pure Mathematics》 2023年第5期237-249,共13页
After posing the axiom of linear algebra, the author develops how this allows the calculation of arbitrary base powers, which provides an instantaneous calculation of powers in a particular base such as base ten;first... After posing the axiom of linear algebra, the author develops how this allows the calculation of arbitrary base powers, which provides an instantaneous calculation of powers in a particular base such as base ten;first of all by developing the any base calculation of these powers, then by calculating triangles following the example of the “arithmetical” triangle of Pascal and showing how the formula of the binomial of Newton is driving the construction. The author also develops the consequences of the axiom of linear algebra for the decimal writing of numbers and the result that this provides for the calculation of infinite sums of the inverse of integers to successive powers. Then the implications of these new forms of calculation on calculator technologies, with in particular the storage of triangles which calculate powers in any base and the use of a multiplication table in a very large canonical base are discussed. 展开更多
关键词 axiom axiom of Linear Algebra {ALA} Any Base Calculation ABC Theory Number’s Origin Number Theory Newton’s Binomial Formula Pascal’s Triangle Base Z Canonical Bases Calculator Revolution Infinite sums of Inverse of Integer to the successive Powers Information Completion Theory Cipher Factorizations That Are Numbers Infinite Numbers That Are Infinite sums
下载PDF
一种利用RDF(S)建立本体论的方法 被引量:14
3
作者 杨晓青 陈家训 《计算机应用研究》 CSCD 北大核心 2002年第4期54-57,共4页
首先介绍了如何使用RDF(S)表示本体论 (Ontology)中的对象模型 ,然后分析了如何在RDF(S)
关键词 RDF(s) 本体论 方法 人工智能
下载PDF
关于S-L集与S-分离性公理 被引量:1
4
作者 梁洪亮 杨巍纳 《河南大学学报(自然科学版)》 CAS 北大核心 2006年第3期15-16,共2页
引进了S-L集的概念,讨论了S-L集的一些性质.在具有半开集可数交性质的S-L空间中,讨论了几个S-分离性公理之间的关系.
关键词 半开集 s-分离性 s—L空间 s—L集
下载PDF
L-smooth拓扑空间的ST_i(i=0,1,2)分离性
5
作者 王延军 马保国 《模糊系统与数学》 CSCD 北大核心 2008年第4期37-39,共3页
在L-smooth拓扑空间中借助于L-smooth s-远域引入了一组新的分离公理,即STi(i=0,1,2)分离公理,给出了它们的特征刻画,研究了它们的一系列基本性质。
关键词 L—smooth拓扑空间 L—smooth s-远域 L—smooth sTi分离性
下载PDF
The Resolution of the Great 20th Century Debate in the Foundations of Mathematics 被引量:1
6
作者 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
Fuzzy Zorn’s lemma with applications
7
作者 XIN Xiao-long FU Yu-long 《Applied Mathematics(A Journal of Chinese Universities)》 SCIE CSCD 2021年第4期521-536,共16页
We introduced the fuzzy axioms of choice,fuzzy Zorn’s lemma and fuzzy well-ordering principle,which are the fuzzy versions of the axioms of choice,Zorn’s lemma and well-ordering principle,and discussed the relations... We introduced the fuzzy axioms of choice,fuzzy Zorn’s lemma and fuzzy well-ordering principle,which are the fuzzy versions of the axioms of choice,Zorn’s lemma and well-ordering principle,and discussed the relations among them.As an application of fuzzy Zorn’s lemma,we got the following results:(1)Every proper fuzzy ideal of a ring was contained in a maximal fuzzy ideal.(2)Every nonzero ring contained a fuzzy maximal ideal.(3)Introduced the notion of fuzzy nilpotent elements in a ring R,and proved that the intersection of all fuzzy prime ideals in a commutative ring R is the union of all fuzzy nilpotent elements in R.(4)Proposed the fuzzy version of Tychonoff Theorem and by use of fuzzy Zorn’s lemma,we proved the fuzzy Tychonoff Theorem. 展开更多
关键词 fuzzy axioms of choice fuzzy Zorn’s lemma fuzzy well-ordering principle fuzzy ideal of a ring fuzzy Tychonoff Theorem
下载PDF
Cosmic Continuum Theory: A New Idea on Hilbert’s Sixth Problem
8
作者 Xijia Wang 《Journal of Modern Physics》 2018年第6期1250-1270,共21页
Hilbert’s sixth problem “The mathematical treatment of the axioms of physics” is a century-old problem that still plagues the scientific community. It is a solution necessary to establish a unified axiom of the bas... Hilbert’s sixth problem “The mathematical treatment of the axioms of physics” is a century-old problem that still plagues the scientific community. It is a solution necessary to establish a unified axiom of the basic theories of physics according to the characteristics of a mathematical axiomatic system needed to solve this problem. The cosmic continuum hypothesis can make classical theory, quantum theory and relativity have common logical foundation. According to this model, the universe is a continuum formed by the existence continuum and the existence dimension continuum. Their movement and changes can be described by an axiomatic system. The concrete steps are as follows: 1) Construct the axiom system of a cosmic continuum and establish the basic theory of force. 2) Construct the axiom system of action at a distance and establish the basic theory of field. 3) Based on the axiom system of force and field, the axiom system of the branches of physics is established. 展开更多
关键词 Hilbert’s sixth PROBLEM COsMIC CONTINUUM FORCE FIELD axiomization
下载PDF
关于S—可分空间和S—局部可分空间
9
作者 陈焕然 《吉首大学学报》 1993年第5期5-10,共6页
本文引进了S-可分空间和S-局部可分空间,并讨论了它们之间的关系及其有关性质。
关键词 s-第二可数性公理 s-可分半开邻域 s-稠密子集 s-可分空间 s-局部可分空间 拓扑空间
下载PDF
Friedmann-Like Cosmological Equations for the Accelerated Expansion of the Universe
10
作者 G. Alagar Ramanujam 《Journal of Modern Physics》 2020年第7期996-1004,共9页
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. 展开更多
关键词 axioms for space Dark Energy seed of the Universe Einstein’s Field Equations space (Vacuum) Energy Accelerated Expansion
下载PDF
RRDB与FRDB关系的系统研究 被引量:1
11
作者 安秋生 张文修 《计算机工程与应用》 CSCD 北大核心 2007年第6期1-3,16,共4页
以粗糙集理论(Rough Set Theory)和关系数据库理论为基础,从函数依赖、范式理论、Armstrong公理等方面系统地研究了粗糙关系数据库(Rough Relational DataBase,简称RRDB)与模糊关系数据库(Fuzzy Relational DataBase,简称FRDB)之间的关... 以粗糙集理论(Rough Set Theory)和关系数据库理论为基础,从函数依赖、范式理论、Armstrong公理等方面系统地研究了粗糙关系数据库(Rough Relational DataBase,简称RRDB)与模糊关系数据库(Fuzzy Relational DataBase,简称FRDB)之间的关系。结果表明,模糊函数依赖与粗糙函数依赖均为经典函数依赖的泛化,模糊范式理论为经典范式的扩充,而粗糙范式理论自成体系,从推理规则上看,它们都不同程度地符合Armstrong公理。 展开更多
关键词 函数依赖 范式 粗糙集 armstrong公理
下载PDF
拓扑分子格的弱分离公理 被引量:6
12
作者 白世忠 《湘潭大学自然科学学报》 CAS CSCD 1996年第1期16-21,共6页
本文以Q一远域为工具,首先,引人和研究了拓扑分子格的STi分离公理(i=一1,0,1,2,3,4).其次,引入了S-不定序同态和S-同胚序同态等概念,给出了它们的若干特征性质.最后,得到了各种STi分离公理是S-同胚... 本文以Q一远域为工具,首先,引人和研究了拓扑分子格的STi分离公理(i=一1,0,1,2,3,4).其次,引入了S-不定序同态和S-同胚序同态等概念,给出了它们的若干特征性质.最后,得到了各种STi分离公理是S-同胚序同态下保持不变的性质. 展开更多
关键词 拓扑分子格 强半开元 sTi分离公理 弱分离公理
下载PDF
群体多目标规划的群体一致有效公理 被引量:4
13
作者 孟志青 胡毓达 《经济数学》 1999年第4期41-44,共4页
本文研究使用单个多目标规划来替代群体多目标规划(Group Multiobjective Program m ing)(GMP)的公理问题.
关键词 群体多目标规划 群一致性有效公理 PARETO有效解 PARETO弱有效解
下载PDF
L-拓扑中的度量理论
14
作者 史福贵 《模糊系统与数学》 CSCD 北大核心 2007年第1期1-11,共11页
对L-拓扑中已有度量理论的研究进展作一个简要的介绍和评述,力图使读者了解L-拓扑中度量理论的发展概况和发展方向。
关键词 L-拓扑 (点式)一致结构 (点式)度量 分离性 s-邻近结构
下载PDF
数的观念与治道传统——兼论“李约瑟难题”
15
作者 戴黍 《自然辩证法研究》 CSSCI 北大核心 2005年第10期108-112,共5页
中国古代数的观念与治道传统关系极为紧密。受传统治道思想的影响,数的观念在起源与发展过程中,“理性”受到“神性”的抑制;在理论形成阶段,人们注重对“公约”的遵守而未走上“公理化”的道路;而在对数的运用与研究过程中,则过于强调... 中国古代数的观念与治道传统关系极为紧密。受传统治道思想的影响,数的观念在起源与发展过程中,“理性”受到“神性”的抑制;在理论形成阶段,人们注重对“公约”的遵守而未走上“公理化”的道路;而在对数的运用与研究过程中,则过于强调实用、功利,始终未能超越封建政治文化制度,仅以求得特定的方法、技巧为满足,从而陷入“数术”的框架,未能像近代西方那样创设独立的“数学”理论体系。 展开更多
关键词 治道 李约瑟难题 公理
下载PDF
自然演绎系统:亚里士多德的“第二种逻辑”
16
作者 朱建平 《宝鸡文理学院学报(社会科学版)》 2013年第1期13-18,共6页
关于亚里士多德三段论的性质一直是一个争论不休的问题。其中的一个焦点问题就是亚里士多德的直言三段论是蕴涵式的系统还是推理规则的系统。卢卡西维奇的《亚里士多德的三段论》代表了第一种观点,而相反的观点则认为亚里士多德的三段... 关于亚里士多德三段论的性质一直是一个争论不休的问题。其中的一个焦点问题就是亚里士多德的直言三段论是蕴涵式的系统还是推理规则的系统。卢卡西维奇的《亚里士多德的三段论》代表了第一种观点,而相反的观点则认为亚里士多德的三段论是由推理规则组成的,是现代逻辑中的自然演绎系统的早期形式。 展开更多
关键词 亚里士多德的三段论 自然演绎系统 公理系统
下载PDF
基于特定关系模式下函数依赖集的闭包的研究 被引量:3
17
作者 肖治军 彭小宁 《怀化学院学报》 2012年第5期27-30,共4页
通过实例研究,定义了一个特定的关系模式,并称它为传递依赖关系模式.在传递依赖关系模式下,得出了计算函数依赖集的闭包中函数依赖的个数的公式,并依照具体实例设计了计算函数依赖集的闭包中所有函数依赖的算法,在此算法中,设计了多种... 通过实例研究,定义了一个特定的关系模式,并称它为传递依赖关系模式.在传递依赖关系模式下,得出了计算函数依赖集的闭包中函数依赖的个数的公式,并依照具体实例设计了计算函数依赖集的闭包中所有函数依赖的算法,在此算法中,设计了多种计算属性集所有子集的算法. 展开更多
关键词 函数依赖集的闭包 armstrong公理 子集
下载PDF
拓扑分子格的弱分离公理
18
作者 白世忠 《延安大学学报(自然科学版)》 1996年第1期1-5,共5页
本文是文[1]的继续,我们以Q-远域为工具,首先引入和研究了拓扑分子格的STi分离公理(i=-1,0,1,2,3,4)。其次我们引入了S-不定序同态和S-同胚序同态等概念,给出了它们的若干特征性质。最后我们得到了各种... 本文是文[1]的继续,我们以Q-远域为工具,首先引入和研究了拓扑分子格的STi分离公理(i=-1,0,1,2,3,4)。其次我们引入了S-不定序同态和S-同胚序同态等概念,给出了它们的若干特征性质。最后我们得到了各种STi分离公理是S-同胚序同态下保持不变的性质。 展开更多
关键词 拓扑分子格 强半开元 Q-远域 弱分离公理
下载PDF
Distributive proper forcing axiom and a left-right dichotomy of Cichon's diagram 被引量:1
19
作者 Huiling Zhu 《Science China Mathematics》 SCIE CSCD 2018年第4期677-684,共8页
In this paper, we study distributive proper forcing axiom(DPFA) and prove its consistency with a dichotomy of the Cichon's diagram, relative to certain large cardinal assumption. Namely, we evaluate the cardinal i... In this paper, we study distributive proper forcing axiom(DPFA) and prove its consistency with a dichotomy of the Cichon's diagram, relative to certain large cardinal assumption. Namely, we evaluate the cardinal invariants in Cichon's diagram with the first two uncountable cardinals in the way that the left-hand side has the least possible cardinality while the right-hand side has the largest possible value, and preserve the evaluation along the way of forcing DPFA. 展开更多
关键词 forcing axiom Cichon's diagram preservation
原文传递
拒绝不公平的选择与公平解(英文)
20
作者 徐永胜 《兰州大学学报(自然科学版)》 CAS CSCD 北大核心 1999年第3期208-213,共6页
从公平的弱观念出发,阐述 n 人交易问题的公平解在选择定理上的特征.弱公平标准要求:一位参与者所得到的效用数应在严格的意义上小于每位参与者所能获得的最大可达效用的最低值(假设效用是具有可比性的比例尺度),其结果不应在此... 从公平的弱观念出发,阐述 n 人交易问题的公平解在选择定理上的特征.弱公平标准要求:一位参与者所得到的效用数应在严格的意义上小于每位参与者所能获得的最大可达效用的最低值(假设效用是具有可比性的比例尺度),其结果不应在此解集中.这种弱公平标准与阿罗选择定理相结合,便具有了某些重要涵义.公平解正是以这种弱公平标准。 展开更多
关键词 n人交易对策 公平解 阿罗选择定理 选择定理
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部