查询结果
证明论
zhèng míng lùn
ㄓㄥˋ ㄇㄧㄥˊ ㄌㄨㄣˋ
「证明论」是什么意思？
更新 2026-07-18 23:45:41
- 拼音字母zheng ming lun
- 首字母zml
- 注音符号ㄓㄥ ㄇㄧㄥ ㄌㄨㄣ
扩展释义
证明论（Proof theory），是数理逻辑的一个分支，它将数学证明表达为形式化的数学客体，从而通过数学技术来简化对他们的分析。证明通常用归纳式地定义的数据结构来表达，例如链表，盒链表，或者树，它们根据逻辑系统的公理和推理规则构造。因此，证明论本质上是语法逻辑，和本质上是语义学的模型论形相反。和模型论，公理化集合论，以及递归论一起，证明论被称为数学基础的四大支柱之一。证明论也可视为哲学逻辑的分支，其主要兴趣在于证明论语义学的思想，该思想依赖于结构证明论的技术型想法才可行。
拆字组词
相关词语
- 东埠头查含义
- 二重向量查含义
- 光化学烟雾查含义
- 光荣的愤怒查含义
- 共轭函数查含义
- 古荡新村查含义
- 发钗查含义
- 吴振邦查含义
- 大花头蕊兰查含义
- 夜迷宮查含义
- 密室查含义
- 局外人查含义
- 心脑血管病查含义
- 快排阀查含义
- 方等部查含义
- 李乃彬查含义
- 正则语言查含义
- 柳姝查含义
- 桑菊感冒颗粒查含义
- 津晨播报查含义
- 沟鲇查含义
- 淋巴滤泡查含义
- 海蓝之谜查含义
- 温蒂和露西查含义
- 电象法查含义
- 痛经口服液查含义
- 硬叶粉苞菊查含义
- 白沙圩乡查含义
- 秋叶子查含义
- 绿色玫瑰查含义
- 胡蕴查含义
- 能量核心查含义
- 脾恶性肿瘤查含义
- 臧世凯查含义
- 董希源查含义
- 赵俭查含义
- 金波查含义
- 门业查含义
- 集成厨房电器查含义
- 真理的入门查含义
- 微笑棺木查含义
- 作弊艺术查含义
- 茄冰蕉查含义
- 七番队查含义
- 鱼肉豆腐火锅查含义
- 杭州猫耳朵查含义
- 三色爆肚片查含义
- 施密德巴赫查含义
- 芋头焖油鸭查含义
- 彭述林查含义