コトバンクはYahoo!辞書と技術提携しています。

Heyting,A. HeytingA

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

【数学基礎論】より

…さらにクリーネの寄与に負うリカージョン・セオリーの発展に伴って,在来の記述集合論を含む統一的な理論として記述集合論を再展開することが可能となり,公理的集合論の発展とあいまって,記述的集合の濃度の問題やルベーグ可測性の問題など,1930年代未解決として残されていた諸問題のいくつかが解決され,記述集合論の隆盛をみることとなった。他方,ハイティングA.Heytingによる直観主義論理の形式化(1930)やゲーデルの解釈によって,直観主義の立場で用いられる論理が明確なものとなったが,帰納的関数を用いての直観主義的数学の合理化がクリーネによって試みられたのを契機として,直観主義の立場からの研究は構成的数学constructive mathematicsの研究とともに盛んに行われている。 なお,A.タルスキーやロビンソンA.Robinsonをそれぞれ中心とする学派で盛んに研究されてきたモデル論model theoryは,今日数理論理学における重要な分野として発展しているのみならず,公理的集合論をはじめ数学基礎論の各分野で有効な役割を果たしている。…

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

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. 収録データは1998年10月に編集製作されたものです。それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。また、本文中の図・表・イラストはご提供しておりません。

今日のキーワード

ネコノミクス

猫が生み出す経済効果を指す造語。2012年に発足した安倍晋三内閣の経済政策「アベノミクス」にちなみ、経済が低迷する中でも猫に関連するビジネスが盛況で、大きな経済効果をもたらしていることを表現したもの。...

続きを読む

コトバンク for iPhone