出处：哲学卷 • 逻 辑 学 • 现代形式逻辑
| 词条 | 非标准模型 |
| 释义 | 非标准模型 非标准模型 见“标准模型”。 出处：哲学卷 • 逻 辑 学 • 现代形式逻辑 非标准模型 将一个数学结构所满足的公理抽象为一个形式系统中的形式理论后,称原有的数学结构及与该结构同构的模型为标准模型,满足这同一形式理论的与标准模型不同构的其他模型就称为“非标准模型”。一般称实数分析系统为形式化了的实数理论的标准模型。1960年,罗宾逊用模型论的方法建立了实数理论的非标准模型,使得在标准模型中每一个真的语句在这个模型中仍然为真;同时,在它的论域中引进了实无穷小,使得在微积分学建立初期关于无穷小的直观论证可在这个模型中严格地实现。在非标准模型中讨论数学分析问题,称“非标准分析”。 出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 |
| 随便看 |
百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。