算术的非标准模型

最新推荐文章于 2025-05-09 03:24:22 发布

yuanmeng001

最新推荐文章于 2025-05-09 03:24:22 发布

阅读量2.1k

点赞数

本文链接：https://blog.csdn.net/yuanmeng001/article/details/86388211

版权

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

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

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

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

袁萌陈启清元月12日

确定要放弃本次机会？

福利倒计时

: :

立减 ¥

普通VIP年卡可用

立即使用

yuanmeng001

关注关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
分享

复制链接

分享到 QQ

分享到新浪微博

扫一扫
举报

举报

【有啥问啥】大模型为何做不对算术题（算术大翻车）？

Chauvin的博客

11-27

1499

大模型在算术任务上的表现目前仍存在诸多不足，主要归因于其在符号推理、数字表示和训练数据等方面的固有局限性。为了有效提升大模型的算术能力，需要从多个维度进行深入探索和改进。通过引入符号推理模块、改进数字表示方式、扩充训练数据和探索新的模型架构，可以显著提高模型在算术任务上的表现。未来，随着相关研究的不断深入和技术的持续创新，大模型在数值计算方面的能力必将迎来显著提升，为人工智能技术的发展开辟新的道路，为人类社会带来更多智能和精准的服务与支持。

matlab中非线性回归标准误,SPSS—非线性回归(模型表达式)案例解析_spss培训

weixin_34151001的博客

03-22

2315

SPSS—非线性回归(模型表达式)案例解析由简单到复杂，人生有下坡就必有上坡，有低潮就必有高潮的迭起，随着SPSS的深入学习，已经逐渐开始走向复杂，今天跟大家交流一下，SPSS非线性回归，希望大家能够指点一二！非线性回归过程是用来建立因变量与一组自变量之间的非线性关系，它不像线性模型那样有众多的假设条件，可以在自变量和因变量之间建立任何形式的模型非线性，能够通过变量转换成为线性模型——称之为本质线...

参与评论您还未登录，请先登录后发表或查看评论

数学想象力与数学创造力：非标准自然数的发现

袁萌专栏

12-08

2531

遥望天空，看着星星闪烁。谁知天上星星有多少？上世纪30年代，数学家在书房里发挥数学想象力与数学创造力，严格地证明了非标准自然数的存在性。由此，天上的星星有多少？就有了新的说法。说明：有了非标准算术，非标准分析离我们就不远了。请见本文附件，可知一斑。袁萌陈启清 12月8日附件：非标准自然数的存在证明 The existence of non-standard mod...

非标准数学—数学创新的大世界

袁萌专栏

11-27

1647

当今，在我国境内，非标准数学已经发展成为学术创新的大世界。经过以往五十年的举快速发展，非标准数学的研究范围已经远远超出非标准分析（无穷小微积分）研究范围。打开思想，走进非标准世界，柳暗花明又一村。袁萌陈启清 11月27日...

计算模型-学习笔记

weixin_45783317的博客

03-26

1193

DSA : Data Structrue+Algorithm.(数据结构与算法) 算法分析主要有两个方面：正确性和成本。使用计算模型度量DSA的优劣–计算模型是理想、统一、分层次的尺度算法的运行时间转化为算法需要执行的基本操作次数计算模型一—图灵机（Turing machine）所谓的图灵机就是指一个抽象的机器，它有一条无限长的纸带（tape），纸带分成了一个一个的小方格(cell)，每个...

标准数学与非标准数学

袁萌专栏

10-12

1631

根据数学史专家Joseph W.Dauben的最新研究，现代数学分为标准与非标准两大类。比如，一般认为，In mathematics, non-standard calculus is the modern application of infinitesimals, in the sense of non-standard analysis, to d...

算术迷宫：大语言模型的数学推理幻象

最新发布

步子哥的博客

05-09

661

大语言模型（LLMs）在数学推理方面的表现引发了广泛关注，但《GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models》研究揭示了其局限性。GSM8K数据集作为衡量LLMs数学能力的标准，存在“数据污染”和单一性问题。为此，研究者设计了GSM-Symbolic，通过变量和条件生成多样化题目，测试模型的真实推理能力。实验表明，LLMs在不同变体题目上的表现波动较大，尤其在数字变化

算术编码：整数实现与自适应模型

算术编码是一种广泛应用于数据压缩的标准技术，尤其适用于二进制信源。文章提到了通过概率积分变换和接受/拒绝算法（如重要性采样）以及MCMC方法来生成随机样本，以适应不同分布的采样需求。此外，还回顾了Huffman...

鲁滨逊非标准分析中译版引言全文

袁萌专栏

04-26

959

今年3月28日，鲁滨逊非标准分析中译版上传到无穷小微积分专业网站，并且正式发布，供全国广大读者下载学习。此举，对促进我国数学现代化的进程具有重大意义。但是，根据计数器的记录，上网下载该中译版的读者人数很少。怎么办？为此，我们特邀周忠涛工程师抄录该中译版引言的全文，放在本文附件中，供广大读者阅读。在此，我们向周忠涛工程师长久支持无穷小微积分的专业网站的工作表示感谢，同时，我们代表广大读者向周忠涛工程师表示真诚的谢意。 ...

结构体零长度数组的意义(入门)1

08-08

2.可以把结构体中定义了零长度数组的地方视为结构体的结尾，在它之后最好不要再定义任何字段 4.等价写法：typedef struct user_def{

X64平台CC++与汇编混编工程搭建说明

10-18

X64平台CC++与汇编混编工程搭建说明，非常详细，内容简单明了

关于非标准数学的感想

袁萌专栏

08-06

2693

关于非标准数学的感想一般认为，希尔伯特计划中的数学只有一种，包括非欧几何在内。如今，出现了“非标准”数学，真是有点儿匪夷所思也。什么是非标准数学？它是什么东西？从何而来？希尔伯特想把全部数学形式化、公理化，哥德尔不完全性定理表明希尔伯特的想法是行不通的。实际情况是，在数学的形式化世界里面潜伏着数学非非标准模型。这一事实等待着人们去发现。谁是幸运儿呢？鲁宾逊...

火星人为何推荐非标准数学？

袁萌专栏

05-16

1351

新学年开始，一千多万新生即将进入大学校园。火星人为何推荐非标准数学？答案是，非标准数学具有以下特点：一、简明易懂二、使用方便三、研究领域更加广阔以上就是火星人为何推荐非标准数学的理由。传统数学深奥难懂。袁萌陈启清 5月16日 ...

结构体零长数组的妙用及warning C4200:使用了非标准扩展：结构/联合中的零大小数组解决

snowbird13的专栏

07-22

9286

// 零长数组：用于结构体的末尾，本身不占用空间，因此对sizeof没有影响，但有利于实现可变程度的数组 // 如果有点编译器不支持，为了通用型，可以换成1长数组结构体 struct m { short x,max; int data[0]

C++常见错误调试LNK2019\LNK2001\LNK2005\error C2533\0xcdcdcd

giantchen

06-01

4849

逻辑错误 #include #include #include #include #indude using namespace sid; inline void keep_window_open( charch; cin>> ch;) int main() { vector temps; //the temperatue double tem

结构体包含大小为零的数组时情况分析

xbgprogrammer的专栏

07-01

6437

在分析某代码时，发现某结构体定义为 typedef struct _BUSENUM_PLUGIN_HARDWARE { // // sizeof (struct _BUSENUM_HARDWARE) // __in ULONG Size; // // Unique serial number of the device to be enumerated. // E

如何正确修复“零大小的结构/联合数组”警告（C4200）

weixin_43410753的博客

12-29

843

C++结构体中的长度为零的数组，声明去除警告

C语言中的柔性数组

最难不过坚持

09-27

550

在C99 中，结构中的最后一个元素允许是未知大小的数组，这就叫做『柔性数组』成员。0长度的数组在ISO C和C++的规格说明书中是不允许的。这也就是为什么在VC++2012下编译你会得到一个警告：“arning C4200: 使用了非标准扩展 : 结构/联合中的零大小数组”。我们在结构体里使用零长度数组，即未知的数组长度，这就是柔性数组。