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

constructive mathematics constructivemathematics

世界大百科事典内のconstructive mathematicsの言及

【数学基礎論】より

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

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

出典|株式会社日立ソリューションズ・クリエイト世界大百科事典 第2版について | 情報

constructive mathematicsの関連キーワード破壊相ジレットプルーベ

今日のキーワード

所信表明演説

政府の長が施政に関する考え方を明らかにするために行う演説。日本の国会では、臨時国会や特別国会の冒頭に内閣総理大臣が衆議院および参議院の本会議場で行い、当面の問題を中心にその国会における内閣の方針を示す...

続きを読む

コトバンク for iPhone

コトバンク for Android