查询词典 proof theory

analytic proof：解析证明

analytic prime number theory 解析素数论 | analytic proof 解析证明 | analytic proposition 解析命题

analytic proof：解析证实

analytic prime number theory 解析素数论 | analytic proof 解析证实 | analytic proposition 解析命题

proof of existence：存在证明

proof 证明 | proof of existence 存在证明 | proof theory 证蜜

proof of existence：存在证实

proof 证实 | proof of existence 存在证实 | proof theory 证蜜

proof theory：证明论

在证明论(proof theory)和相关的数理逻辑的领域中,一个形式的演算(caluclus)相对于一个特定的逻辑(即相对于它的语义(semantics))是完备的,如果任何由一组前提Q根据语义导出的陈述P,都可以从这组前提出发利用这个演算语法地(syntactically)导出.

proof theory：证蜜

proof of existence 存在证明 | proof theory 证蜜 | propagation 传播

proof theory：证明理论

"证明策略","proof strategy" | "证明理论","proof theory" | "核符总计","proof total"

Every theory needs proof. I'm the man to prove it：任何理论都需要被证实 我就是那个要去证实它的人

Starlight will bend.|星光会弯曲 | Every theory needs proof. I'm the man to prove it.|任何理论都需要被证实 我就是那个要去证实它的人 | The English observer and the German theorist.|英国观察员和德国理论...

Now, if you can find proof to back up your theory：如果你能找到证据来支持你的观点

We have six floors of analysts working on this thing... | Now, if you can find proof to back up your theory,|如果你能找到证据来支持你的观点 | I'm gonna be happy to listen to you. But if you don't get a...

recursion theory：递归论

集合论 set theory | 递归论 recursion theory | 证明论 proof theory

uniovular twin：真孪生

uncompetitative inhibition 非竞争性抑制 | uniovular twin 真孪生 | unit membrane 单位膜

play off one against the other：挑拨离间, 从中得利

play off (难分胜负的)延长赛 使出丑 嘲弄 以...冒充 假装有病 | play off one against the other 挑拨离间, 从中得利 | play off one against another 挑拨离间, 从中得利