欢迎来到本站，喜欢请收藏
当前位置：首页职业培训

什么叫证明

作者：职业培训 时间： 2025-01-11 10:19:19 阅读：296

简单的说，证明是一串有限长的推理语句，从公理出发一直连接到待证命题。

证明论是把一个数学证明本身当成一个数学客体，研究 证明 本身的性质。比如其中有个分支叫 反推数学。这个分支在国内本来是没什么人知道的，但是几年前中南大学本科生刘路解决了反推数学中的西塔潘猜想被中南直聘为教授级研究员以后，一下子声名鹊起。反推数学研究的东西，简单的说，就是研究一个证明的“强度”。其实有点类似题主的说法。反推的意思是，从定理反推回公理。如果定理A能够反推回公理B，但是B推不出A，那么A严格比B强。反过来，如果公理C推出定理A，那么A比C弱。由 是否可以相互推导 得出不同公理体系之间的强度比较，这就是反推数学的核心内容。

标签：

本文地址： http://www.goggeous.com/20250103/1/1144557

文章来源：天狐定制

版权声明：除非特别标注，否则均为本站原创文章，转载时请以链接形式注明文章出处。

上一篇：数学证明能够证明数学命题是正确的吗
下一篇：熔化是吸热还是放热
猜你喜欢
猜你喜欢
  • 最新动态
  • 热点阅读
  • 猜你喜欢
下五篇
热门标签

网站首页 ·

本站转载作品版权归原作者及来源网站所有，原创内容作品版权归作者所有，任何内容转载、商业用途等均须联系原作者并注明来源。

鲁ICP备2024081150号-3 相关侵权、举报、投诉及建议等，请发E-mail：admin@qq.com