查询词典 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 环境，藉此达到研究模式验证的目的。

Therefore, the jury will come to recognize the provability of the investigation result and the prosecutor's complaints are more expressive as long as the police prepares well in court and gives no unemotional statements.

因此，只要该警察作好充分准备，在法庭上进行不带任何感情色彩的陈述，其调查结果的证明力终将得到陪审团的确认，检察官的控诉立证也就更具把握。

Based on the construction of international financial centre, we have pushed forward the explorations in the integration of cultural industries with financial services.

2010年及整个"十二五"期间，上海文化产业面临更有利的发展时机、更坚实的发展基础和更完善的发展环境。

The koala is an animal with a large bag in its body.

树袋熊用它的身体的一个大的袋子是一只动物。