关于实数的公理化系统之比较

最新推荐文章于 2023-03-18 15:28:24 发布
最新推荐文章于 2023-03-18 15:28:24 发布
阅读量2k 收藏
点赞数
分类专栏： 综合 原创
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/yuanmeng001/article/details/79266523
版权
原创 同时被 2 个专栏收录
911 篇文章 12 订阅
订阅专栏
综合
519 篇文章 7 订阅
订阅专栏
 希尔伯特于1899年；塔尔斯基于1936年分别提出不同的实数公理化系统，两者相距近40年。

现在，实数的这两套公理系统都摆在中国互联网上了。不比不知道，一比吓一跳。


 希尔伯特的实数公理系统十分复杂，难于理解；塔尔斯基的公理系统简单明了，只有7条。由此，我国的中学生必定喜欢塔尔斯基的实数公理化系统。时代在进步，任何人无法阻挡。我准备把塔尔斯基实数公理化系统翻译成中文，进行科普，，挑战菲氏微积分的徒子徒孙！


袁萌   2月6日

yuanmeng001
关注
专栏目录
公理化集合论初探
smilejiasmile的博客
06-17 1412
公理化集合论初探 一、集合论的背景 〉 集合论是以集合概念为基础，研究集合的一般性质的数学分支学科。 “集合”是比“数”更简单的概念。集合论试图从研究集合出发，定义“数”和数的“运算”，进而发展到整个数学，是研究数学基础的学科 〉 集合是简单而又基本的不作定义的初始概念。一般来说，集合是一些确定的、相异的事物的总体 〉 按照集合中事物数目是否有限，可以分为有限集合和无限集合 无限集合是集合论研究的主要对象，也是集合论建立的关键和难点 〉 集合论的全部历史都是围绕无限概念展开的。人们把康托尔（G.
实数系统的构造与发展历程
smilejiasmile的博客
06-28 1605
实数系统的构造与发展历程 一、第一次数学危机与毕达哥拉斯学派 1、2、3、……，自然数就好像是大自然的母语，它独立于人的思维而存在，甚至很多动物都会简单的计数。考古学有足够的证据表明，远远早于人类文明之前，人们就开始有意识地计数了。到了古希腊时期，以各种政治宗教团体为代表，人们对知识的认知达到了空前的程度，其中影响最大的当属“毕达哥拉斯学派”。毕达哥拉斯曾求学于古希腊圣贤，并游历周边世界，回国后创办了学派。与此同时该学派还信奉 “万物皆数” 的信条，这里的数就是指自然数和表现为自然数之比的有理数。 古
多元函数第一：实数系统（1） 实数域的三大公理
汪星人来地球的博客
07-22 3110
数学的各个学科，要保证其理论的完备性，需要建立在基本公理的基础之上。一个理论，如果不进行公理化，很容易出问题。典型的问题，有集合论中的理发师悖论；以及古典概率论中，针对无限样本集表现出的悖论。   分析学，作为一个完备的学科，其公理化的过程必不可少。而其中，最基本的步骤，就是对实数集以及实数的运算，给予确切的公理化定义。这里的定义，包括代数和顺序定义。   公理1. 实数的代数定义. （...
实数系统的公理化
袁萌专栏
12-10 1629
实数系统的公理化 说起来很是好笑，无穷小微积分教材给全国高校传统微积分教材提供了实数系统的公理化。 传统微积分 教材需要不需要公理化？糊涂下去是死路一条。 请见本文附件。 袁萌 陈启清 12月10日 附件： 无穷小微积分教材的结束语摘要 Chapter 1. The axioms for the real numbers come in three sets: t...
实数系的公理系统
whereismatrix的专栏
01-30 2829
来自百度百科 概述 实数公理是在集合论发展的基础上，由***希尔伯特***于1899年首次提出的。后来他所提的公理系统在相容性与独立性方面得到了进一步改进，逐步演变为公理系统。 实数公理来源于实数理论的研究，实数理论包括对实数的结构,运算法则和拓扑性质等方面问题的研究。 实数系的公理系统 设R是一个集合，若它满足下列三组公理，则称为实数系，它的元素称为实数: (I) 域公理 对任意a，b∈R，有...
实数的塔尔斯基公理化系统
袁萌专栏
02-05 1698
在我们中国，中学生都知道有一个“实数”系统，但是，对实数的了解只限于直观层面，不能深入理解。 进入20世纪，各种数学分支都公理化了，实数也不例外。但是，实数的公理化方案有多种，各有特色，塔尔斯基公理化系统也是备选方案之一。 塔尔斯基是上世纪与哥德尔齐名的最伟大的数理逻辑学家，模型论的奠基人，而且是无穷小微积分教材作者J,Keisler的博士导师。    说明：塔尔斯基是个传奇人物，国人知之甚少。 
实数的公理化定义
袁萌专栏
02-23 3777
        在域的公理化定义基础上，容易给出实数的公理化定义，如下文所述。        说明：1961年，美国数学家鲁宾逊在实数公理化基础上，利用数理逻辑模型论紧致性定理，证明实数的非标准模型存在，这就是超实数需要的诞生。由此，无穷小微积分就名正言顺了。袁萌  2月23日附：实数的公理化定义：    Let denote the set of all real numbers. Then: ...
偏微分方程完全公理化的理论计算机科学研究
可在www.sciencedirect.com在线获取理论计算机科学电子笔记352（2020）211-232...关键词：偏微分，二阶方程逻辑，完备性，Hermite插值1介绍最近，人们对微分结构的范畴公理化越来越感兴趣例如，对于前向定向，参
4.实数的量子化理论.doc
10-22
《实数的量子化理论》探讨的是数学分析领域中关于无穷小、微积分与实数本质的议题。自19世纪70年代起，数学分析已经建立在坚实的逻辑基础上，核心概念如极限、连续性和微分得到了精确的定义。然而，尽管数学基础经过...
00后大学生：必须懂得实数系统的公理化，据此现微积分的公理化
袁萌专栏
06-17 1614
00后大学生：必须懂得实数系统的公理化，据此现微积分的公理化    现在，00后大学生都是幸运儿，用指尖一点，问题的答案就会从互联网云端飘然而至。这是Keisler教授的首创：    实数系统的公理架构：I. ALGEBRAIC AXIOMS FOR THE REAL NUMBERS A Closure laws 0 and 1 are real numbers. If a and b are r...
塔尔斯基关于实数的8条公理（原文）
袁萌专栏
07-21 3025
塔尔斯基关于实数的8条公理（原文） 当前，国内高等数学教科书普遍不讲实数系的公理组，是一个“空白”。 为此，我们于2018年2月7日将塔尔斯基关于实数的公理 系统放飞互联网，填充这项空白。 现在，我们再次转发塔尔斯基关于实数的8条公理（原文）供读者参阅。 请见本文附件。 袁萌 陈启清 7月21日 附件： Tarski's axiomatization ...
(Math Foundation 笔记)1.实数公理和用公理证明1
loppolloppol的专栏
01-08 2332
The definition we will give for the real numbers is what is known as an axiomatic definition.——>Axioms(公理) 以下几种最基础的公理： 隐藏内涵的公理： 二元运算性质：2 input ——>1 output (if a 属于set A && b也属于set A）then (a+b
(Math Foundation 笔记)1.实数公理和用公理证明2
loppolloppol的专栏
01-20 1507
命题1.2：(-x)y= -(xy) 任意一个负实数乘以任意一个正实数等于一个可以提出一元运算符(-)后的两个正实数的积 一个负数乘以一个正数可以把负号到前面 先取命题等式的左边，令：(-x)y=(-x)y 然后两边同时加上了(xy+(-(xy))) 之后通过分配律进行化简 命题1.3：(-x)(-y)= xy 两个任意负实数想成得到一个正实数
数学分析课程笔记：实数集的基本公理及其一般性质
最新发布
thunder1015的博客
03-18 1386
课程笔记
塔尔斯基的实数公理系统为无穷小微积分奠基
袁萌专栏
02-21 1406
        近日，老翁在博文中提及群（Group）的公理化系统（4条），联想起塔尔斯基的实数公理化系统（8条）。有感。今日，老翁亲自动手试了一试，果然灵验。现在，把塔尔斯基公理系统附在下面，供大家阅读思考。袁萌  2月21日附：Tarski's axiomatizationofthe reals In 1936, AlfredTarski set out anaxiomatization of...
多元函数第一：实数系统（4）三大公理的再讨论
汪星人来地球的博客
08-02 646
实数系统的三大公理，远比我们想象的要强大得多。可以证明，任何满足三大公理的代数系统，都与实数系统同构。所谓同构，用老子的话说，是同出而异名。看似不一样的东西，只是叫法不同，实际上是一回事。用数学语言描述如下。   定义. 两个包含加法运算和乘法运算的代数系统S和T同构，如果它们存在一个一一映射满足： ，也即f将S中的加法幺元映射为T中的加法幺元。 ，也即f将S中的乘法幺元映射为T中的乘法幺...
实数不搞公理化，谈何超实数？
袁萌专栏
07-22 1208
实数不搞公理化，谈何超实数？ 坦率地说，国人认为，实数就是‘实实在在’的数，用不着搞公理化，拿来就可以直接使用（use）。 但是，你使用的实数是哪一种（套）“实数”？因为实数的实际构造方式有很多种。因此，塔尔斯基认为实数不搞公理化就会“乱套”。 严格地说，目前国人使用“国产”实数就是“乱套” 注：实数不搞公理化，谈何超实数？这是不言自明的事情。请见本文附件米塔尔关于实数系统的公理组...
实数系与实数定理
li123128的博客
10-07 5479
数学分析课程中一般都会对实数定理进行详细的介绍，但是关于这些定理从哪里来，代表着什么，如何在数学理论中发挥作用，我所见过的数学教材中往往含糊其辞，没有说清。这里，让我们结合之前对于实数集这个数学系统的讨论，来展开对于传说中的“N大”实数定理的介绍。
塔尔斯基实数公理化系统放飞互联网
袁萌专栏
02-06 1225
假定大写字母R表示实数集合，在其上给定了两个二元序关系“ 数学结构〈R, +,·,   公理1 If x   公理2  If x   公理3 "  公理4  x + (y + z) = (x + z) + y.  公理5 For all x, y,there exists a z such that x + z = y.  公理6  If x + y   公理7  1 ∈ R.  公理8  1  
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值