コトバンクは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月に編集製作されたものです。それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。また、本文中の図・表・イラストはご提供しておりません。

今日のキーワード

トランスアジア航空

台湾・台北市に本拠を置く航空会社。中国語名は復興航空。1951年、台湾初の民間航空会社として設立。83年に台湾の国産実業グループに経営移管され、組織改編を実施した。92年に国際チャーター便の運航を始め...

続きを読む

コトバンク for iPhone