证明论
表系统表系统使用结构证明论的解析证明的中心思想来为一大类的逻辑提供决策或者准决策进程。序分析序分析是为形式化算术和分析的理论提供组合式自洽性证明的有力技术。亚结构逻辑参看证明技术中间逻辑（intermediatelogic）证明论语义参考J.Avigad,E.H.Reck,2001.“Clarifyingthenatureoftheinfinite”:thedevelopmentofmetamathematicsandprooftheory.Carnegie-MellonTechnicalReportCMU-PHIL-120.A.S.Troelstra,H.Schwichtenberg.BasicProofTheory(CambridgeTractsinTheoreticalComputerScience).CambridgeUniversityPress.ISBN0521779111G....
表系统
表系统使用结构证明论的解析证明的中心思想来为一大类的逻辑提供决策或者准决策进程。
序分析
序分析是为形式化算术和分析的理论提供组合式自洽性证明的有力技术。
亚结构逻辑
参看
证明技术
中间逻辑（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.
免责声明：以上内容版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。感谢每一位辛勤著写的作者，感谢每一位的分享。
——— 没有了 ———
编辑：阿族小谱
文章价值打分
- 有价值
- 一般般
- 没价值
当前文章打 0 分，共有 0 人打分
文章观点支持
0
0
文章很值，打赏犒劳一下作者~
发表评论
写好了，提交
{{item.label}}
{{commentTotal}}条评论
{{item.userName}}
发布时间:{{item.time}}
{{item.content}}
回复
举报
点击加载更多
打赏作者
“感谢您的打赏，我会更努力的创作”
— 请选择您要打赏的金额 —
{{item.label}}
{{item.label}}
打赏成功!
“感谢您的打赏，我会更努力的创作”
返回
打赏
私信
推荐阅读
· 广义相对论是如何被证明的
光线在通过大质量物体附近时会发生弯曲，这是广义相对论的一个重要预言。但对这一预言的验证常被戏剧化地、简单化和夸张地再现给观众和读者，大大偏离了科学史史实。那么，真实的情形如何呢?在一部艺术地再现爱因斯坦一生的法国电影《爱因斯坦》中，有这样一个镜头，1919年秋季某一天在德国柏林，爱因斯坦举着一张黑乎乎的照相底片，对普朗克说：(大意)多么真实的光线弯曲啊，多么漂亮的验证啊!光线在通过大质量物体附近时会发生弯曲，这是广义相对论的一个重要预言。但对这一预言的验证常被戏剧化、简单化和夸张地再现给观众和读者，大大偏离了科学史史实。笔者觉得围绕光线弯曲的预言与验证，有以下三个方面的史实需要澄清。首先，光线弯曲不是广义相对论独有的预言。早在1801年索德纳(JohannvonSoldner，1766-1833)就根据牛顿力学，把光微粒当做有质量的粒子，预言了光线经过太阳边缘时会发生0.87角秒的偏折。1...
· 证明
定义数学上的证明包括两个不同的概念。首先是非形式化的证明：一种以自然语言写成的严密论证，用来说服听众或读者去接受某个定理或论断的真确性。由于这种证明使用了自然语言，因此对于非形式化证明在严谨性上的标准，将取决于听众或读者对课题的理解程度。非形式化证明出现在大多数的应用场合中，例如科普讲座、口头辩论、初等教育或高等教育的某些部分。有时候非形式化的证明被称作“正式的”，但这只是强调其中论证的严谨性。而当逻辑学家使用“正式证明”一词时，指的是另一种完全不同的证明——形式化证明。在数理逻辑中，形式化证明并不是以自然语言书写，而是以形式化的语言书写：这种语言包含了由一个给定的字母表中的字符所构成的字符串。而证明则是一种由该些字符串组成的有限长度的序列。这种定义使得人们可以谈论严格意义上的“证明”，而不涉及任何逻辑上的模糊之处。研究证明的形式化和公理化的理论称为证明论。尽管理论上来说，每个非形式化的证...
· 电脑协助证明
哲学争议由于大部分的电脑协助证明计算量庞大，无法以人手验证，很多数学家不接受电脑协助证明，并表示那只是计算而非证明。他们表示，美丽的数学证明应像首诗，而电脑证明则看似电话簿。历史第一个著名的电脑协助证明，是1976年的四色定理证明。著名的电脑协助证明四色定理-1976四子棋-1988Order10有限射影平面的不存在性-1989开普勒猜想17点的幸福结局问题
· 奶奶病危请假被HR要求证明是亲奶，古代怎样证明血缘关系？
近日，一则奶奶病危请假被要求证明是自己亲奶的新闻登上了热搜榜单，引起广大网友的关注。很多人表示这样的规定难免会过于死板、没有人情味儿，尤其是在生死大事上。就此次证明亲属事件，公司方要求一系列的证明文件。现在证明亲属关系主要有DNA鉴定、社区证明等方式。那古代是怎样证明血缘关系的呢？跟着族谱网的小编一起来看看吧。古代最常用的证明亲子关系的方法就是滴血认亲。方法操作简单，先准备一碗清水，然后分别将需要验证身份的两方的血滴到水里，如果两滴血在水中相融则证明两人有血缘关系。滴血之所以可以用作认亲是因为血液相融的情况只会发生在相同的血型之间,而不同血型之间由于红细胞的同型抗原抗体会互相结合而沉淀,则不会相融。图源网络但是这种方法并不准确，因为只要在水中稍做手脚就能影响到验亲的结果。清黄六鸿在康熙三十三年编著的《福惠全书》中即称：“滴血之事，未可尽信”。除此之外，古代还有一些其他的办法。古代有一种方法...
· 历史证明“涟水嵇姓”是假谱！
嵇颖研究张方平（1007－1091），字安道，号乐全居士，北宋应天府南京（今河南商丘）人，神宗朝，官拜参知政事（宰相）。张方平曾受教于范仲淹（989－1052），因此，全祖望于《宋元学案》卷三《高平学案》中列之于“高平门人”，也曾受范荐举；张也曾举荐“三苏”，《宋元学案》云：“守蜀，得眉山苏洵与其二子轼（1037—1101）、辙，深器异之，常荐轼为谏官”。而嵇颖是张方平的舅舅，在张方平的《乐全集》中有祭嵇颖的祭文一篇（35卷），嵇适的墓志铭一篇（40卷）、嵇颖行状一篇（40卷）。另有一篇可能是祭方平父亲张佐卿的墓志铭中有“仁寿郡夫人嵇氏”，张方平行状中有“妣嵇氏谯国太夫人”。通过对以上资料的初步研究，适公“祥符四年十一月十日考终于合淝之官舍享年五十九”，则适公生于公元952年，卒于公元1008年；颖公“皇祐二年……九月十五日捐馆，享年五十有五”，即生于公元996年，卒于公元1050年。适公...
知识互答
关于我们
关注族谱网 微信公众号，每日及时查看相关推荐，订阅互动等。
APP下载
下载族谱APP 微信公众号，每日及时查看
扫一扫添加客服微信
