查询词典 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 理论和可计算的模型；逻辑学和空间时间几何学；混合法；逻辑和基于地区的空间的理论。

Graf, without question, is the greatest women's player in history.

格拉芙，现在，毫无疑问是女子网坛历史上最伟大的选手。

If not, you will have to look around at all your important data.

如果没有，您将需要检查所有的重要数据。