PROVABLE in Chinese translation

• 可证明
• 可自证的

Examples of using Provable in English and their translations into Chinese

ROI- must be provable considering the total cost of technology, people and operations.
回报(ROI)--投资回报必须是可以证实的，必须考虑技术、人员和操作的总成本.

Provable: I need to lose 10 pounds before the end of the month.
可证性：“我必须在这个月底前减轻10磅。

This interpretation is not fully provable; however, the motivating role of ambition for Macbeth is universally recognised.
这种解释也没有得到完全的证明；然而，麦克白的动机来自野心是被广泛认可的。

He stressed that spiritual life was a science provable through reason and logic, not a matter of mere sentiment or blind faith.
他强调灵性生活是一门科学，能够通过推理和逻辑证明，不是感情用事和盲目信仰。

Whence, that God exists, although this is not itself known to us, is provable through effects that are known to us.
因此，上帝存在，虽然对我们而言不是自明的，但是，根据我们所熟知的结果却是可证明的。

(Completeness) Every universally valid second-order formula, under standard semantics, is provable.
完备性）每个普遍有效的二阶公式是可证明的。

We and PCAST have argued that de-identification is not a useful basis for policy and we need to move to proper security-based and provable systems.”.
我们和PCAST均认为，重新确认身份并不是很有用的政策依据，我们必须转向适当的基于安全和可以证明的系统。

We also know that if A is provable then"A or B" is provable.
我们也知道如果A是可证明的，则“A或B”是可证明的。

As Gödel's completeness theorem shows, for any valid formula P, P is provable.
按哥德尔完备性定理所展示的，对于任何有效的公式P,P是可证明的。

Because most product failures are obvious and provable, most products can be warranted.
因为大多数产品出现的故障都是明显且有据可循的，多数产品也会有保质期。

There has never before been a way to programmatically create trustless and provable transactions within an automated environment.
以前从来没有一种方法可以在自动化环境中以编程方式创建去信任且可验证的交易。

For example, consider showing that a given proposition is not provable in natural deduction.
例如，考虑证明给定的命题在自然演绎中是不可证明的。

We also give the first provable guarantees for partial recovery of community structure in constant-degree graphs where nodes may participate in many communities simultaneously.
我们还为恒定度图中的节点结构可能同时参与许多社区的社区结构的部分恢复提供了第一个可证明的保证。

Existing blockchain developers are struggling to address several additional issues, including: efficiency of the consensus protocol, burdensome node requirements, and provable correctness of smart contracts.
现有区块链开发者正在努力解决几个额外问题，包括：共识协议的效率，繁琐的节点要求（burdensomenoderequirements），及智能合约可证明正确性。

A child without a provable date of birth is extremely vulnerable to all kinds of abuse and injustice regarding the family, work, education and labour, particularly within the juvenile justice system.
一个儿童没有可证实的出生日期，极易在家庭、工作、教育和劳工，特别是在少年司法体制中遭受所有各类不公正的待遇。

Ensure Kenya puts up a technically and scientifically provable Continental Shelf beyond 200 nm claim acceptable to the Commission on the Limits of the Continental Shelf as stipulated in UNCLOS through.
确保肯尼亚提出从技术上和科学上可证明的200海里以外大陆架声索要求，并为大陆架界限委员会依据《联合国海洋法公约》的规定而接受：.

As soon as x is replaced by a specific number, the statement form turns into a bona fide statement, and it is then either provable in the system, or not.
一旦x被一个特定的数代替，它就马上变成一个真正的特定命题，于是它要么是在系统中可证明的，要么不。

The Provable Data Computing.
引入可证明数据计算.

The EEF is only for excellent students who need provable financial support.
EEF仅适用于需要可靠经济支持的优秀学生。

To determine provable data possession(PDP) and the access control and encryption mechanism for ABE.
确定采用PDP的数据持有性证明和ABE的访问控制和加密机制.