J. Avigad, E.H. Reck, 2001 .“Clarifying the nature of the infinite”: the development of metamathematics and proof theory（页面存档备份，存于互联网档案馆）. Carnegie-Mellon Technical Report CMU-PHIL-120.
A. S. Troelstra, H. Schwichtenberg. Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science). Cambridge University Press. ISBN 0521779111
G. Gentzen. Investigations into logical deduction. In M. E. Szabo, editor, Collected Papers of Gerhard Gentzen. North-Holland, 1969.
四月 08, 2024
证明论, 是数理逻辑的一个分支, 它将数学证明表达为形式化的数学客体, 从而通过数学技术来简化对他们的分析, 证明通常用归纳式地定义的数据结构来表达, 例如链表, 盒链表, 或者树, 它们根据逻辑系统的公理和推理规则构造, 因此, 本质上是语法逻辑, 和本质上是语义学的模型论形相反, 和模型论, 公理化集合论, 以及递归论一起, 称为数学基础的四大支柱之一, 也可视为哲学逻辑的分支, 其主要兴趣在于语义学的思想, 该思想依赖于结构的技术型想法才可行, 目录, 表系统, 序分析, 亚结构逻辑, 参看, 参考文献表系统. 证明论是数理逻辑的一个分支 它将数学证明表达为形式化的数学客体 从而通过数学技术来简化对他们的分析 证明通常用归纳式地定义的数据结构来表达 例如链表 盒链表 或者树 它们根据逻辑系统的公理和推理规则构造 因此 证明论本质上是语法逻辑 和本质上是语义学的模型论形相反 和模型论 公理化集合论 以及递归论一起 证明论被 谁 称为数学基础的四大支柱之一 证明论也可视为哲学逻辑的分支 其主要兴趣在于证明论语义学的思想 该思想依赖于结构证明论的技术型想法才可行 目录 1 表系统 2 序分析 3 亚结构逻辑 4 参看 5 参考文献表系统 编辑主条目 分析表方法 表系统使用结构证明论的解析证明的中心思想来为一大类的逻辑提供决策或者准决策进程 序分析 编辑主条目 序分析 序分析是为形式化算术和分析的理论提供组合式自洽性证明的有力技术 亚结构逻辑 编辑主条目 亚结构逻辑参看 编辑证明技术 中间逻辑 intermediate logic 证明论语义参考文献 编辑J Avigad E H Reck 2001 Clarifying the nature of the infinite the development of metamathematics and proof theory 页面存档备份 存于互联网档案馆 Carnegie Mellon Technical Report CMU PHIL 120 A S Troelstra H Schwichtenberg Basic Proof Theory Cambridge Tracts in Theoretical Computer Science Cambridge University Press ISBN 0521779111 G Gentzen Investigations into logical deduction In M E Szabo editor Collected Papers of Gerhard Gentzen North Holland 1969 取自 https zh wikipedia org w index php title 证明论 amp oldid 65669297, 维基百科，wiki，书籍，书籍，图书馆，
