【proof_theory】什么意思_英语proof_theory的翻译_音标_读音_用法_例句_在线翻译

proof theory

计算机科学技术 | 数学 | 哲学

·2,447,543篇论文数据，部分数据来源于NoteExpress

abstract: Proof theory is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as plain lists, boxed lists, or trees, which are constructed according to the axioms and rules of inference of the logical system.

以上来源于: WordNet

1.
N the branch of logic that studies the syntactic properties of formal theories, esp the syntactic characterization of deductive validity 证明论

Often referred to as proof theory.

通常称为证明论。

youdao
Firstly, we construct the system KA of knowing agents, give some results of its proof theory.

首先，我们构造知道主体的系统KA，给出它的一些证明论结果。

youdao
Firstly, we construct the dynamic epistemic conditional system DEC1, give some results of its proof theory.

首先，我们构造动态认知条件句系统DEC1，给出它的一些证明论结果。

youdao

更多双语例句

Britain, wellspring of the industrial revolution, is the chief proof of this theory.

ECONOMIST: Creating economic wealth
However, all the researchers involved are keen to stress that their finding falls a long way short of proof for this theory.

BBC: Clues to massive leukaemia rise
The charitable ways of Gates and Buffett also provide living proof that the "trickle-down theory" is in fact reality.

FORBES: Magazine Article

更多权威例句

应用推荐

$firstVoiceSent

- 来自原声例句