世界大百科事典(旧版)内の超準モデルの言及
【超準解析】より
…モデルとは形式的な理論を解釈する枠組みであるが,一定の条件を満たす理論には標準的でないモデルが存在する。これを超準モデルnonstandard modelという。1960年ころ,ロビンソンA.Robinsonは実数体Rの超準モデルR*を考えて無限小(および無限大)超実数を導入し,ライプニッツ流の無限小演算を合理化することに初めて成功した。…
※「超準モデル」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」