查询结果
证明论
zhèng míng lùn
ㄓㄥˋ ㄇㄧㄥˊ ㄌㄨㄣˋ
「证明论」是什么意思？
更新 2026-07-14 07:01:48
- 拼音字母zheng ming lun
- 首字母zml
- 注音符号ㄓㄥ ㄇㄧㄥ ㄌㄨㄣ
扩展释义
证明论（Proof theory），是数理逻辑的一个分支，它将数学证明表达为形式化的数学客体，从而通过数学技术来简化对他们的分析。证明通常用归纳式地定义的数据结构来表达，例如链表，盒链表，或者树，它们根据逻辑系统的公理和推理规则构造。因此，证明论本质上是语法逻辑，和本质上是语义学的模型论形相反。和模型论，公理化集合论，以及递归论一起，证明论被称为数学基础的四大支柱之一。证明论也可视为哲学逻辑的分支，其主要兴趣在于证明论语义学的思想，该思想依赖于结构证明论的技术型想法才可行。
拆字组词
相关词语
- 三角多面水母查含义
- 中洼子查含义
- 云凤查含义
- 信宜市查含义
- 关坚查含义
- 几时回来查含义
- 原村和查含义
- 双姝艳查含义
- 向雪祈祷查含义
- 唤醒功能查含义
- 女孩与强奸者查含义
- 宠物鸟查含义
- 少花蜡瓣花查含义
- 左左右右查含义
- 廖明星查含义
- 张文光查含义
- 张方明查含义
- 恩格菲查含义
- 情与法查含义
- 抱抱装查含义
- 日洛宾查含义
- 旱生作物查含义
- 新安楼查含义
- 炸弹妞第二季查含义
- 特种电机查含义
- 真榊查含义
- 移动柜查含义
- 舒威查含义
- 菲斯特查含义
- 虎门外语学校查含义
- 谦光查含义
- 遥操作查含义
- 逢凶化吉查含义
- 郭占魁查含义
- 阮婉芬查含义
- 隐蔽接敌查含义
- 风林茄子查含义
- 鲁掌镇查含义
- 麦氏点查含义
- 奇圆魔法阵查含义
- 凯因谢尔查含义
- 呤勾到查含义
- 阿一炒翅查含义
- 风味小炒查含义
- 郭嘉新传查含义
- 安根查含义
- 达圆龟蝽查含义
- 赤壳查含义
- 宽叶水韭查含义
- 伤齿龙类查含义