证明论
(重定向自證明論)
证明论是数理逻辑的一个分支,它将数学证明表达为形式化的数学客体,从而通过数学技术来简化对他们的分析。证明通常用归纳式地定义的数据结构来表达,例如链表,盒链表,或者树,它们根据逻辑系统的公理和推理规则构造。因此,证明论本质上是语法逻辑,和本质上是语义学的模型论形相反。和模型论,公理化集合论,以及递归论一起,证明论被[谁?]称为数学基础的四大支柱之一。
证明论也可视为哲学逻辑的分支,其主要兴趣在于证明论语义学的思想,该思想依赖于结构证明论的技术型想法才可行。
表系统编辑
表系统使用结构证明论的解析证明的中心思想来为一大类的逻辑提供决策或者准决策进程。
序分析编辑
序分析是为形式化算术和分析的理论提供组合式自洽性证明的有力技术。
亚结构逻辑编辑
参看编辑
参考文献编辑
- 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.
🔥 Top keywords: Baike: 首页淚之女王Special:搜索不夠善良的我們2024年湯姆斯盃金智媛2024年優霸盃金秀賢 (男演員)春色寄情人破墓怪獸8號乘風2024城市猎人排球少年!!背着善宰跑习近平承欢记張敬軒排球少年!!角色列表九龍城寨之圍城逆天奇案2BABYMONSTER六四事件ILLIT許瑋甯李主儐末日愚者與鳳行朴成焄鈴木亮平BOYNEXTDOOR方皓玟周處除三害 (電影)馬陸李美淑Seventeen (組合)崔永元完全省錢戀愛手冊921大地震机动战士GUNDAM SEED FREEDOM第二十条搜查班長1958NewJeans迷宮飯中華民國中华人民共和国林依晨愛的迫降葬送的芙莉蓮幕府將軍 (2024年電視劇)田馥甄三体 (小说)Energy (組合)(G)I-DLE傅崐萁周雨彤Believe-為你架起的橋樑-無職轉生~到了異世界就拿出真本事~Hide (电视剧)劉偉健劍星日本特技玩家徐譽庭郭東延黃道十二宮寄生獸:灰色部隊賀軍翔2024年花蓮地震支配物种朴智恩 (編劇)半生緣 (電影)HYBE邊佑錫WIND BREAKER—防風少年—柯震東香港來自星星的你宁安如梦鄭靚歆尹普美毛泽东白鹿 (演員)無職轉生~到了異世界就拿出真本事~角色列表戀愛兄妹草榴社区我獨自升級安東尼·布林肯李现LE SSERAFIM金秀賢影視作品列表少年歌行臧芮軒三流之路满城尽带黄金甲金正蘭但願人長久 (電影)国际劳动节P站