查询词典 provability

Gdel's second incompleteness theorem can be stated as follows: For any formal effectively generated theory T including basic arithmetical truths and also certain truths about formal provability, T includes a statement of its own consistency if and only if T is inconsistent .

第二，他证明了，对于任意的数学系统，如果其中包含了算术系统的话，那么我们不能在这个系统内部证明它的一致性。这就是希尔伯特第二问题答案的一部分。

Third, he raised doubt concerning the provability of both God's existence and the immortality of the soul.

第三，他提出的疑问涉及provability的上帝的存在和不朽的灵魂。

Section 3 presents informal discussions on belief, provability, and accountability.

部分3 提出关于信仰、provability，和责任的不拘形式的讨论。

Relative concepts such as proo, theory, conseqence, provability are brought up.

在系统中，[0，1]中的常数并不是公式，这在一定程度上限制了系统的表达能力。

MAKAP has advantages over other protocols in its security provability and only spends moderate computation cost, so it is quite practical.

与以往许多协议相比，MAKAP协议不仅在安全证明上有较明显的优势，而且其计算量也不大，有较高的实用性。

Arguments are presented to show that a heretofore unexplored property "provability" is pertinent to examining the potential use of communication protocols in the context of litigation, and in the context of audit.

论点列显示heretoforeunexplored财产"provability"相关的研究潜力，利用通讯议定书方面的诉讼，而在这方面的审计。

Intuitionists can accept expressibility of formal system and recursive functions, but will deny any concept of truth outside provability of first order arithmetic.

本文引入了直觉主义的思想，对维特根斯坦的评论进行了新的解读，指出哥德尔证明中所基于的一阶算术的解释是模糊的。

In the distributed computing environments such as wireless network, the key exchange protocol with mutual authentication is critical to the following secure sessions between communicators and more attentions are paid to the provability of the protocol security.

在基于无线网络的分布式环境中，带认证的密钥协商协议对通信双方是否能够建立安全的会话至关重要。

This research will do case study via one particular enterprise and explain how to use this model to construct enterprise ERP environment by participation, observation and interview, in order to achieve the provability purpose of research model.

本研究将以某个案企业进行个案研究，透过实际参与、观察与访谈等方式，说明如何运用此模式，逐步建构该企业ERP 环境，藉此达到研究模式验证的目的。

Fields covered include: logic of provability, applications of computability theory to biology, psychology, physics, chemistry, economics, and other basic sciences; computability theory and computable models; logic and space-time geometry; hybrid systems; logic and region-based theory of space.

包括的领域包括： provability的逻辑，对生物学，心理学，物理学，化学，经济学和其他基础科学的computability 理论的应用； computability 理论和可计算的模型；逻辑学和空间时间几何学；混合法；逻辑和基于地区的空间的理论。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐