查询词典 axiomatic

The most important development in mathematical logic for the philosophy of mathematics was Godel's proof that any axiomatic system powerful enough to formalise arithmetic will be incomplete in the sense that there will be truths which are not provable within the system.

数理逻辑中最重要的数学哲学的发展是哥德尔的证明，任何公理系统足够强大以正式算术将在这个意义上不完全会有真理不属于系统内证明的。

In this paper, an axiomatic system for the definition of degree of greyness of grey number is built based on discussion with two definitions of degree of greyness of grey number which have been put forward in the past.

基于对已有的几种灰数灰度定义的讨论，建立了灰数灰度定义的公理系统；以灰数灰度定义公理为准绳，由灰数产生的背景或论域及灰数取数域的测度构造出一种新的灰数灰度定义式。

Similarly it is important to see rationalists like Descartes and Spinoza, trying to formulate philosophy in terms of some kind of an axiomatic system, in a discursive and historical context characterized by the emerging natural sciences, formulated in a mathematical language.

同样，在看待象笛卡儿和斯宾诺莎这样设法用某种公理体系构造哲学的唯理论者时，也要将其置于以数学语言构造的新兴自然科学为特征的商谈和历史情境中。

With the great change in sci-tech activities in high-tech era, the theme of philosophy of science has to be transformed into the Topics of Science from the traditional axiomatic system for static researches on single theory and paradigm conversion for dynamic researches on multiple theories.

随着"高科技时代"科学活动方式的巨大转变，科学哲学主题也将由传统的"公理体系"的单理论静态研究和"范式转换"的多理论动态研究向大科学时代的"科学论题学"研究转变。

Keywords : variational theory, variable-independence, consistency , formalization, Axiomatic System of Variation, Formal System of Variation

进一步，我们发现，在鹫井久一郎、钱伟长和罗恩的工作中明示的或隐含的有关变量独立的"传统"的理解隐含着矛盾 [6， 9-11， 14]。

This logical implication that perception of meaning is only possible if and only if the indefinite is included within the perception is the reason why the 19th century dream of a consistent and complete axiomatic system with only well defined empty signs had to fail (see more about that in my article, The Loop Logic).

这一逻辑隐含的意义是唯一可能的观感只要是无限期的观感是列入19世纪梦之所以一贯和明确的，只有彻底公理化体系空迹象已经失败(多看看，我在文章河套逻辑)。

Constructionalism Study Theory offers theoretical fundaments for the math education revolution, because that the modern math building itself is built on the basis of modern math fundaments of which the convergence axiomatic system is the representative.

建构主义学习理论为数学教育改革提供了理论基础，因为现代数学的大厦，本身就是在以集合论公理体系为代表的现代数学基础上建构起来的。

Therefore, this chapter, in the first place, discusses the axiomatization of theory ofevolution and introduce in detail Williams' axiomatic system about evolution. Insecond place, it discusses the dissipative theory and the hypercycle theory. Thisdiscussion is actually about a kind of semantic which is the molecular model.

因此，在这一章，首先，对进化理论的公理化形式进行讨论，详细介绍了Williams进化论的公理系统；其次，讨论耗散结构理论和超循环论，实际上是讨论了关于进化论的演绎公理系统的一种语义或分子层次的模型。

In the paper we generalize the while-rule in Hoare calculus to an infinite one and then present a sufficient condition much weaker than the expressiveness for Cook'2 relative completeness theorem with respect to our new axiomatic system.

程序推理使用的抽象机器与物理机器的差距降低了推理的精确度，为了缩小这个差距，本文提出了一个带位级别抽象的新抽象机，在这个机器里，二进制整数以纯语法的方式被表示成位矢量而不是非负整数。

Hence, the dissipativetheory and the hypercycle theory attempt to construct a substantialistic model ofundermost hierarchy which can satisfy axiomatic system of evolution, that is it isa molecular system which can proceed self-replication or autoreplication.

因而，耗散结构和超循环论，给出的是满足进化公理系统的最低层次实体模型（能够进行自我复制的分子系统）的分子演化过程的动力学描述。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。