Robinson,A.(英語表記)RobinsonA

世界大百科事典内のRobinson,A.の言及

【数学基礎論】より

…他方,ハイティングA.Heytingによる直観主義論理の形式化(1930)やゲーデルの解釈によって,直観主義の立場で用いられる論理が明確なものとなったが,帰納的関数を用いての直観主義的数学の合理化がクリーネによって試みられたのを契機として,直観主義の立場からの研究は構成的数学constructive mathematicsの研究とともに盛んに行われている。 なお,A.タルスキーやロビンソンA.Robinsonをそれぞれ中心とする学派で盛んに研究されてきたモデル論model theoryは,今日数理論理学における重要な分野として発展しているのみならず,公理的集合論をはじめ数学基礎論の各分野で有効な役割を果たしている。もともと構文syntax的研究の立場に端を発しているリカージョン・セオリーにおいても,その対象が一般化(例えば順序数上の帰納的関数や帰納的汎関数など)されるに伴って,意味論semantics的研究にその端を発するモデル論的手法が有効に用いられている。…

【超準解析】より

…これを超準モデルnonstandard modelという。1960年ころ,ロビンソンA.Robinsonは実数体Rの超準モデルR*を考えて無限小(および無限大)超実数を導入し,ライプニッツ流の無限小演算を合理化することに初めて成功した。これが超準解析の始まりである。…

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

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

今日のキーワード

エミュー

ヒクイドリ目エミュー科。ダチョウに似た大型の飛べない鳥。オーストラリア固有種で,国鳥。全長 140~164cm,背丈 150~190cmで,雌のほうがやや大きい。翼は羽毛に覆われて見えないが,約 20...

続きを読む

コトバンク for iPhone

コトバンク for Android