nonstandard model

…A model is a framework for interpreting formal theories, but there are nonstandard models for theories that satisfy certain conditions. These are called nonstandard models. Around 1960, A. Robinson considered the nonstandard model R ^* of the real number field R , introduced infinitesimal (and infinitesimal) hyperreal numbers, and was the first to succeed in rationalizing Leibnizian infinitesimal arithmetic. …

*Some of the terminology that refers to "nonstandard model" is listed below.

Source | Heibonsha World Encyclopedia 2nd Edition | Information

…モデルとは形式的な理論を解釈する枠組みであるが，一定の条件を満たす理論には標準的でないモデルが存在する。これを超準モデルnonstandard modelという。1960年ころ，ロビンソンA.Robinsonは実数体Rの超準モデルR^*を考えて無限小(および無限大)超実数を導入し，ライプニッツ流の無限小演算を合理化することに初めて成功した。…

※「nonstandard model」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社世界大百科事典 第２版について | 情報