证明论（Proof theory），是数理逻辑的一个分支，它将数学证明表达为形式化的数学客体，从而通过数学技术来简化对他们的分析。证明通常用归纳式地定义的数据结构来表达，例如链表，盒链表，或者树，它们根据逻辑系统的公理和推理规则构造。因此，证明论本质上是语法逻辑，和本质上是语义学的模型论形相反。和模型论，公理化集合论，以及递归论一起，证明论被称为数学基础的四大支柱之一。 证明论也可视为哲学逻辑的分支，其主要兴趣在于证明论语义学的思想，该思想依赖于结构证明论的技术型想法才可行。
证明论 [zhèng míng lùn]
网络释义专业释义
在证明论(proof theory)和相关的数理逻辑的领域中，一个形式的演算(caluclus)相对于一个特定的逻辑（即相对于它的语义(semantics)）是完备的，如果任何由...
基于2586个网页-相关网页
双语例句原声例句
-
通常称为证明论。
-
首先，我们构造知道主体的系统KA，给出它的一些证明论结果。
Firstly, we construct the system KA of knowing agents, give some results of its proof theory.
-
首先，我们构造动态认知条件句系统DEC1，给出它的一些证明论结果。
Firstly, we construct the dynamic epistemic conditional system DEC1, give some results of its proof theory.
-
It doesn't prove it, but it helps to getting more intuition about the consequences of thermodynamics.
原子论并不会证明热力学，但有助于更好地理解,热力学中的结论。
应用推荐
$firstVoiceSent
- 来自原声例句