Peano自然数公理系统

皮亚诺公理，也称皮亚诺公设，是数学家皮亚诺(皮阿罗)提出的关于自然数的五条公理系统。根据这五条公理可以建立起一阶算术系统，也称皮亚诺算术系统。

皮亚诺的这五条公理用非形式化的方法叙述如下：

①1是自然数；

②每一个确定的自然数a，都有一个确定的后继数a' ，a' 也是自然数（一个数的后继数就是紧接在这个数后面的数，例如，1的后继数是2，2的后继数是3等等）；

③如果b、c都是自然数a的后继数，那么b = c；

④1不是任何自然数的后继数；

⑤任意关于自然数的命题，如果证明了它对自然数1是对的，又假定它对自然数n为真时，可以证明它对n' 也真，那么，命题对所有自然数都真。(这条公理也叫归纳公设，保证了数学归纳法的正确性)

若将0也视作自然数，则公理中的1要换成0。

更正式的定义如下：

一个戴德金-皮亚诺结构为一满足下列条件的三元组(X, x, f)：

X是一集合， x为X中一元素，f是 X 到自身的映射

x 不在 f的值域内.

f 为一单射.

若A 为X的子集并满足:

x属于 A, 且

若 a 属于 A, 则 f(a) 亦属于 A

则 A = X.

该公理与由皮阿罗公理引出的关于自然数集合的基本假设:
1.P(自然数集)不是空集
2.P到P内存在a->a直接后继元素的一一映射
3.后继元素映射像的集合是P的真子集
4.若P任意子集既含有非后继元素的元素,又有含有子集中每个元素的后继元素,则此子集与P重合.
能用来论证许多平时常见又不知其来源的定理!
例如:其中第四个假设即为应用极其广泛的归纳法第一原理(数学归纳法)的理论依据.

Peano自然数公理系统相关推荐

从数学到计算机从莱布尼兹到冯诺依曼从数理逻辑到算法分析
https://blog.csdn.net/lanonjj/article/details/51464922 序:从2010年进入大学接触到计算机开始,便不断对其本源好奇,接触得愈久就愈是觉得这门学科 ...
没有数学何来计算机：论计算机起源的数学思想
人类的历史可以看做一部关于解放的历史.也有这样的说法,懒惰是人类进步的动力.为了偷懒,人类不断的做着各种努力,发明了各种机器工具,将自己从繁重的劳动解放出来,另一方面,每一次大的进步,都需要解放思想, ...
喾哲~ (八月最佳)
<目录> 数学的起源大数定律: 贝叶斯概率: 傅立叶变换: 哈夫曼编码: 最大熵原理: 幸存者偏差: 丑小鸭定理: 阿姆达尔法则: 马尔可夫模型: 学者存在性定理: 奥卡姆剃刀法则: 柯 ...
计算机的数学思想源头（回复“计算机数学”可下载PDF典藏版）
计算机的数学思想源头(回复"计算机数学"可下载PDF典藏版) 2018-04-16 数据简化DataSimp 数据简化DataSimp导读:前篇<计算机诞生的详细历史> ...
马斯克坚信的“矩阵模拟”，是一种怎样“烧脑”的存在？
"从前有座山,山里有座庙,庙里有个老和尚和小和尚,老和尚对小和尚说:从前有座山--" 这个脍炙人口的民间故事,和接下来讨论的主题息息相关.在我们完成这场注定非常烧脑的讨论之后,你可 ...
计算机起源的数学思想
来源:数字中国本文约8800字,建议阅读18分钟人类的历史可以看做一部关于解放的历史. 人类的历史可以看做一部关于解放的历史.也有这样的说法,懒惰是人类进步的动力.为了偷懒,人类不断的做着各种努力,发 ...
【财富空间】计算机起源的数学思想
人类的历史可以看做一部关于解放的历史.也有这样的说法,懒惰是人类进步的动力.为了偷懒,人类不断的做着各种努力,发明了各种机器工具,将自己从繁重的劳动解放出来,另一方面,每一次大的进步,都需要解放思想, ...
柏拉图的篝火与技术呆子的分层模型
柏拉图的篝火与技术呆子的分层模型 (作者豆瓣ID:五陵少年不知数) 几千年前的先哲认识世界的逻辑在今天依然影响着我们,柏拉图认为真实世界的真理全部都已在宇宙中藏好,是不以任何意志为转移的客观的 ...
谁才是百年计算机的数学灵魂：莱布尼茨、图灵还是希尔伯特？
点击上方,选择星标或置顶,不定期资源大放送! 阅读大概需要15分钟 Follow小博主,每天更新前沿干货来源:算法与数学之美编辑:SF [导读]这些探索和研究在当时实际并不是为了计算机产生而进行的 ...

Peano自然数公理系统

Peano自然数公理系统相关推荐

最新文章

热门文章