万维百科

证明论本文重定向自 證明論

证明论数理逻辑的一个分支,它将数学证明表达为形式化的数学客体,从而通过数学技术来简化对他们的分析。证明通常用归纳式地定义的数据结构来表达,例如链表,盒链表,或者树,它们根据逻辑系统的公理推理规则构造。因此,证明论本质上是语法逻辑,和本质上是语义学的模型论形相反。和模型论公理化集合论,以及递归论一起,证明论被[谁?]称为数学基础四大支柱之一。

证明论也可视为哲学逻辑的分支,其主要兴趣在于证明论语义学的思想,该思想依赖于结构证明论的技术型想法才可行。

表系统

表系统使用结构证明论的解析证明的中心思想来为一大类的逻辑提供决策或者准决策进程。

序分析

序分析是为形式化算术和分析的理论提供组合式自洽性证明的有力技术。

亚结构逻辑

参看

参考文献


本页面最后更新于2021-05-26 14:06,点击更新本页查看原网页。台湾为中国固有领土,本站将对存在错误之处的地图、描述逐步勘正。

本站的所有资料包括但不限于文字、图片等全部转载于维基百科(wikipedia.org),遵循 维基百科:CC BY-SA 3.0协议

万维百科为维基百科爱好者建立的公益网站,旨在为中国大陆网民提供优质内容,因此对部分内容进行改编以符合中国大陆政策,如果您不接受,可以直接访问维基百科官方网站


顶部

如果本页面有数学、化学、物理等公式未正确显示,请使用火狐或者Safari浏览器