加载中…
个人资料
  • 博客等级:
  • 博客积分:
  • 博客访问:
  • 关注人气:
  • 获赠金笔:0支
  • 赠出金笔:0支
  • 荣誉徽章:
正文 字体大小:

算术的非标准模型

(2019-01-13 01:31:05)

算术的非标准模型

上世纪1934年,挪威数学家Skolem1887-2063)借助自然数超乘积构造了算术系统的非标准模型,其中含有非标准自然数(无穷大自然数),开启了数学模型论的大门。据此,数学家Skolem被誉为数学模型论之先锋。

简而言之,在Skolem的算术模型中,存在非标准无限大的自然数H,下式成立:  

1+1+1+1+…… < H

这种非标准算术系统也满足Peano公理组。

  陈启清  元月12


0

阅读 收藏 喜欢 打印举报/Report
  

新浪BLOG意见反馈留言板 欢迎批评指正

新浪简介 | About Sina | 广告服务 | 联系我们 | 招聘信息 | 网站律师 | SINA English | 产品答疑

新浪公司 版权所有