出处：哲学卷 • 逻 辑 学 • 现代形式逻辑
| 字词 | 非标准模型 |
| 释义 | 非标准模型 非标准模型 见“标准模型”。 出处：哲学卷 • 逻 辑 学 • 现代形式逻辑 非标准模型 将一个数学结构所满足的公理抽象为一个形式系统中的形式理论后,称原有的数学结构及与该结构同构的模型为标准模型,满足这同一形式理论的与标准模型不同构的其他模型就称为“非标准模型”。一般称实数分析系统为形式化了的实数理论的标准模型。1960年,罗宾逊用模型论的方法建立了实数理论的非标准模型,使得在标准模型中每一个真的语句在这个模型中仍然为真;同时,在它的论域中引进了实无穷小,使得在微积分学建立初期关于无穷小的直观论证可在这个模型中严格地实现。在非标准模型中讨论数学分析问题,称“非标准分析”。 出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 |
| 随便看 |
|
修远网汉语字词典收录72225条汉语词条，基本涵盖了全部常见汉语字词的翻译、注释及用法释义，是语文学习的有利工具。