- 博客(23)
- 收藏
- 关注
RSS订阅原创 学习模型论，今昔对比
学习模型论，今昔对比 去年12月14日，我们向国内学界推荐了“模型论之基础”（与今年此时推荐的是同一篇文章）。 四十年前，袁萌在科学院数学所模型论讨论班使用超滤器构造了实数的非标准模型。这是科普模型论的开端. 今年11月，国家教育部发文要求国内各高校以及相关研究单位设立“基础数学中心”，研究模型论是意中之事。 这就是“学习模型论，今昔对比”的核心意思。 预祝大家新年快...
2019-12-31 01:44:29
1244
3
原创 认真学习模型论，不做现代数学大文盲
认真学习模型论，不做现代数学大文盲 昨天，“模型论之基础”（FundamentalsofModelTheory）发表给国内读者提供了一个学习现代模型论的绝佳途径。 该文作者表示：现代模型论是现代数学的一个位于中心位置的组成部分。 因此，我们的口号是“认真学习模型论，不做现代数学大文盲”。 该文第0章学习模型论的必备知识。 我们说，如果这...
2019-12-30 00:40:42
1375
2
原创 现代模型论之基础
现代模型论之基础 2015年，美这模型论专家William Weiss发表“模型论基础”，指出：近二十年来，模型论发展很快。 该书援引16本模型论专著，内容严谨、全面，具有参阅价值。 注：书的篇幅较长，分为数次发表。请见本文附件文章。袁萌 陈启清 12月28日Fundamentals of Model TheoryWilliam Weiss a...
2019-12-28 19:14:53
2621
1
原创 现代模型论之基础（I）
2015年，美这模型论专家William Weiss发表“模型论基础”，指出：近二十年来，模型论发展很快。 该书援引16本模型论专著，内容严谨、全面，具有参阅价值。 注：书的篇幅较长，分为数次发表。请见本文附件文章。袁萌 陈启清 12月28日...
2019-12-28 18:53:21
1369
2
原创 布尔巴基的衰落与模型论的兴起
布尔巴基的衰落与模型论的兴起 进入二十世纪，现代数学经历了一次大起大落：布尔巴基的衰落与模型论的兴起。 七年来，我们年年讲，月月讲，天天讲模型论的兴起。 但是，对于布尔巴基的衰落的历史，请见本文附件文章。袁萌 陈启清 12月26日附件：评价：作为一个著名的数学学派，布尔巴基（Bourbaki）近乎完美地完成了时代赋予它的在创造新数学和推动整个数学发展的任务。在某种...
2019-12-26 12:05:26
2061
3
原创 超实数与布尔巴基学派
超实数与布尔巴基学派 读者阅读“超实数的演算”一文，就会知道：构建超实数系统，必须依靠集合“滤器”（Filter）概念。历史上，最早提出“滤器”概念的是法国近代数学泰斗昂利•嘉当（1904-2008）。 1937年，布尔巴基学派领导人昂利•嘉当发表“滤器理论”（法文），开启了构建超实数系统的大门。袁萌 陈启清 12月24日附件：尼古拉•布尔巴基1951年布...
2019-12-24 14:31:05
1573
2
原创 超实数的演算
超实数的演算 进入二十一世纪，我国普通高校教授微积分不引入超对数，就是“装糊涂”。 简而言之，无穷小放飞互联网已经1七年了，而且几乎每天都有超实数的文章放飞互联网。难道我国普通高高校数学教师从来不上网？ 百度一下“无穷小”，进入“无穷小微积分”专业网站，下载相关文章，看看其中的内容目录即可知晓一切，… … 本文附件文章，只有18页A4纸长度，讲解了无穷小微积分的基本...
2019-12-23 06:23:32
1390
1
原创 罗斯定理的现实意义
罗斯定理的现实意义 波兰数学家罗斯（Jerzy Łoś，1920-98）对模型理论具有很大的历史贡献。比如，无穷小微积分的转移定理（1955年发表）。 实际上，无穷小微积分进入我国普通高校的首要理论根据就是罗斯定理。 请见本文附件。袁萌 陈启清 12月21日附件：Jerzy Łoś c.1955Born22 March 1920Lwów, Pola...
2019-12-21 16:47:48
2680
1
原创 澳门之行，谈计算复杂性
澳门之行，谈计算复杂性 2006年夏，袁萌在澳门期间，应邀在澳门大学座谈无穷小微积分及计算复杂性理论。 Stephen Cook教授是计算复杂性理论的奠基人，国内学界不够关注。请见本文附件。袁萌 陈启清 12月17日附件：Stephen CookBornStephen Arthur CookDecember 14, 1939 (age 80)Buff...
2019-12-17 13:58:45
1637
2
原创 递归论是什么？
递归论是什么？ 大家知道，递归（Recursion）就是“重复出现”（循环）的意思。 将“递归”思想引用到数学证明过程之中是南京大学莫绍揆先生的研究方向。 证明论，模型论与递归论是现代数学的三大支柱。 请见本文附件。 袁萌 陈私启清 12月15日 附件： Recursion occurs when a thing is defined ...
2019-12-15 15:21:22
2775
2
原创 中国火星车叫什么名字？
中国火星车叫什么名字？大家知道，美国火星车的名字“好奇号”是由华裔高中生（女）提出的。 那么，中国火星车用户号或应该叫什么名字呢？请见把我那请见本附件。袁萌 陈启清 12月14日附件：“好奇号”高超的通信手段 (2012-08-15 05:46:49)[编辑][删除]转载▼标签： it 以下是“好奇号”近日传回地球的高精度相...
2019-12-14 17:17:48
5815
5
原创 有关国内递归论老前辈莫绍揆及其弟子沈伯英的回忆
有关国内递归论老前辈莫绍揆及其弟子沈伯英的回忆 刚才得知老同学沈伯英已经故去，对此。袁萌心中感到十分沉重。 莫绍揆先生是国内数理逻辑递归论的老前辈，西方 先进数学思想的传承人. 沈伯英教授是袁萌在南京大学数学人天文系的小 班同学。毕业后，沈伯英从事公理集合论研究，袁萌走上模型 论（非标准分析方向）的研究与教学。袁萌 陈启清 12月14日...
2019-12-14 13:16:01
1396
1
原创 递归分析与无穷小微积分
递归分析与无穷小微积分进入二十世纪70年代，鲁宾逊与Oliver Aberth分别创立无穷小微积分与递归分析（也叫递归微积分）。 南京大学莫绍揆教授于70年代讲授递归分析，敢于创新。 莫绍揆教授（已故）是袁萌的恩师。 40年前，袁萌在中国人民大学讲授无穷小微积分（模型论的分支）。袁萌 陈启清 12月13日附件：mathematics and com...
2019-12-13 17:40:24
1543
1
原创 探实数探索的深处
实数探索的深处实数探索水很深，不是糊涂一下就行了。比如，可构造性实数、代数、超越数数与可计算性实数，等等。淳萃淳萃错超月公理化实数系统，构建微积分，我们只是走出了一小步。请见本文附件。袁萌 陈启清 12月12日附件：Definable real numbhe TThe square root of 2 is equal to the length of the hy...
2019-12-12 13:26:14
1264
2
原创 步。 请见本文附件。 袁萌 陈启清 12月
实数探索的深处实数探索水很深，不是糊涂一下就行了。比如，可构造性实数、代数数与可计算性实数，等等。公理化实数系统，构建微积分，我们只是走出了一小步。请见本文附件。袁萌 陈启清 12月12日附件：Definable real numberFrom Wikipedia, the free encyclopediaJump to navigationJump to s...
2019-12-11 23:26:48
1211
2
原创 关于可定义超实数的最小公理化结构
关于可定义超实数的最小公理化结构一年前，德国Herzberg等人修改传统超乘幂定义，引出超实数的可定义性，得到可喜的新的研究结果。请见本文附件。袁萌 陈启清 12月11日附件：Minimal axiomatic frameworks for definable hyperreals with transferFrederik S. Herzberg ∗ Vladimir...
2019-12-11 14:16:46
1445
原创 实数系统的公理化
实数系统的公理化 说起来很是好笑，无穷小微积分教材给全国高校传统微积分教材提供了实数系统的公理化。 传统微积分教材需要不需要公理化？糊涂下去是死路一条。 请见本文附件。袁萌 陈启清 12月10日附件：无穷小微积分教材的结束语摘要Chapter 1. The axioms for the real numbers come in three sets: t...
2019-12-10 14:16:12
1629
1
原创 实数系统的公理化
实数系统的公理化 随起来很是好笑，无穷小微积分教材给全国高校传统微积分教材提供了实数系统的公理化。 传统微积分教材需要不需要公理化？糊涂下去是死路一条。 请见本文附件。袁萌 陈启清 12月10日附件：无穷小微积分教材的结束语摘要Chapter 1. The axioms for the real numbers come in three sets: t...
2019-12-10 06:52:47
1242
1
原创 学微积，讲历史，不做迷路人
学微积，讲历史，不做迷路人目前，国内微积分教材，讲微积分发展史，一般讲到牛顿、莱布尼兹为止，其实相差十万八千里，甚胡是胡说八道。 请见本文附件。袁萌 陈启清 12月9日附件：Epllogue（无穷小微积分课程的结束语）How does the infinitesimal calculus as developed in this book relate t...
2019-12-09 15:10:37
1260
1
原创 微积分发展历史，为何断裂？
微积分发展历史，为何断裂？ 微积分发展历史，在时间轴上，表现为一个区间，其中不该发生断裂。 微积分思想老祖宗阿基米德预见到解决微积分问题的两种方法：无穷小与 （ε,δ）极限方法。这是历史的事实。 到了十九世纪，（ε,δ）极限理论护犊子彻底驱除无穷小方法，致使微积分发展历史出现断裂。 到了二十世纪六十年代，鲁宾逊恢复了无穷小的名誉，弥补了微积分发展历史上的断裂。...
2019-12-08 05:21:52
1956
1
原创 学微积，辨真假，不做糊涂人
学微积，辨真假，不做糊涂人 近日，短文“塔尔斯基的天才思想”发表之后，读者知道数学命题的真与假的正确概念。 进入二十世纪，卡尔纳普“数学语言分析”兴起。在此发展潮流之下，塔尔斯基给出了数学命题的真理理论。实际上，J.Keisler精心撰写的无穷小微积分课程的“结束语”中，对此说得明明白白。 真假不辨就是糊涂。学微积，辨真假，不做糊涂人。袁萌 陈启清 ...
2019-12-06 03:09:09
1086
原创 塔塔尔斯基的天才思想尔斯基的天才思想
塔尔斯基的天才思想现代数学体系,zh注入塔尔斯基的天才思想，催生了数理逻辑模型理论的诞生。由此，无穷小、、、、微积分浮出水面，进 入大众视线。塔尔斯基的天才思想，请见本文附件。袁萌 陈启清 12月3日附件：Tarski’s Truth DefinitionsFirst published Sat Nov 10, 2001; substantive revisio...
2019-12-03 07:49:39
1946
1
原创 形式化语言的基本理论
形式化语言的基本理论百度一下“无穷小，，进入“无穷小微积分”专业网站，下载公理化微积分教材，查看其“结束语”就可知道：公理化微积分就建立在形式化语言的基本理论之上。实际情况是，J.Keisler的博士指导教师塔尔斯基就是形式化语言的基本理论的创立者。 请见本文附件。袁萌 陈启清 12月1日附件：Tarski's theory of truthTo formul...
2019-12-01 13:25:00
1901
2
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人