fbpx
维基百科

严谨 (数学)

数学上,严谨(rigor,mathematical rigor)不同于生活中的严谨,它指数学系统尤指公理系统完备性自洽性

完备性指公理数量不多不少正好可以推理出这门学科的全部结论;自洽性指公理系统内不存在悖论(即既是真又是假的命题)。比如仿射几何加上平行公设就成为欧几里得几何,或者加上第五公设的反命题就成为非欧几何之一,但后两者并不满足完备性要求,只有仿射几何学才是欧几里得几何类中的完备系统。一致性哥德爾不完備定理并不矛盾,前者断言不存在既真又假的命题,而后者断言存在既不可证明又不可证伪的命题,就好比第五公设之于欧几里得几何连续统假设之于公理化集合论选择公理之于策梅洛-弗兰克尔集合论

参考文献 编辑

  • 参见徐利治的《微积分大意》

严谨, 数学, 此條目没有列出任何参考或来源, 2010年12月20日, 維基百科所有的內容都應該可供查證, 请协助補充可靠来源以改善这篇条目, 无法查证的內容可能會因為異議提出而被移除, 数学上, 严谨, rigor, mathematical, rigor, 不同于生活中的严谨, 它指数学系统尤指公理系统的完备性和自洽性, 完备性指公理数量不多不少正好可以推理出这门学科的全部结论, 自洽性指公理系统内不存在悖论, 即既是真又是假的命题, 比如仿射几何加上平行公设就成为欧几里得几何, 或者加上第五公设的反命题就成. 此條目没有列出任何参考或来源 2010年12月20日 維基百科所有的內容都應該可供查證 请协助補充可靠来源以改善这篇条目 无法查证的內容可能會因為異議提出而被移除 数学上 严谨 rigor mathematical rigor 不同于生活中的严谨 它指数学系统尤指公理系统的完备性和自洽性 完备性指公理数量不多不少正好可以推理出这门学科的全部结论 自洽性指公理系统内不存在悖论 即既是真又是假的命题 比如仿射几何加上平行公设就成为欧几里得几何 或者加上第五公设的反命题就成为非欧几何之一 但后两者并不满足完备性要求 只有仿射几何学才是欧几里得几何类中的完备系统 一致性与哥德爾不完備定理并不矛盾 前者断言不存在既真又假的命题 而后者断言存在既不可证明又不可证伪的命题 就好比第五公设之于欧几里得几何 连续统假设之于公理化集合论 选择公理之于策梅洛 弗兰克尔集合论 参考文献 编辑参见徐利治的 微积分大意 nbsp 这是一篇关于数学的小作品 你可以通过编辑或修订扩充其内容 查论编 取自 https zh wikipedia org w index php title 严谨 数学 amp oldid 78761271, 维基百科,wiki,书籍,书籍,图书馆,

文章

,阅读,下载,免费,免费下载,mp3,视频,mp4,3gp, jpg,jpeg,gif,png,图片,音乐,歌曲,电影,书籍,游戏,游戏。