数学上の業績とは? わかりやすく解説

数学上の業績

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/12/01 07:45 UTC 版)

ゲオルク・クライゼル」の記事における「数学上の業績」の解説

1950年代後半以降クライゼル証明論および構成的数学研究方向付けるアイデア次々と発表し論理学界に絶大な影響与えたクライゼルの証明研究における基本的なアイデアは、「解きほぐしプログラム」 (unwinding program) と呼ばれている。これは、算術および解析現れる構成的概念含まれている構成的内容決定するというもので、茫漠となりがちな数学基礎付けという課題に、明確な数学的表現与えることを意図していた。 ただし、クライゼル自身数学スタイルはかなり独特で、ギャップのない厳密な証明提示するよりはむしろ、ドラマチックなアイデア直観的かつ印象的に語るというものだったまた、その論文哲学的リマーク満ちており、極めて難解なことで有名である。このためクライゼル一方で多く崇拝者を生みもしたが、他方厳密さ明瞭さ重んじるアルフレト・タルスキのような数学者いらだたせることにもなった。 次のゲーデル-クライゼル定理は有名。 算術的命題、すなわち一階算術記述可能な命題に関しては、選択公理使った証明があればそれを使わなくても証明できる[要出典]。

※この「数学上の業績」の解説は、「ゲオルク・クライゼル」の解説の一部です。
「数学上の業績」を含む「ゲオルク・クライゼル」の記事については、「ゲオルク・クライゼル」の概要を参照ください。


数学上の業績

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/10/22 08:38 UTC 版)

ペトル・ヴォピェンカ」の記事における「数学上の業績」の解説

初期にはトポロジー研究していたヴォピェンカだったが、1970年代はじめごろから数理論理学へと関心移しカントール集合論に代わるいわゆる代替集合論」(alternative set theory)の構築へと向かっていった。「半集合(semiset)の理論」と呼ばれる彼の集合論は、BG集合論変更加えたもので、そこでは集合包含される真クラス(これを半集合と呼ぶ)の存在許容される。半集合ファジィ集合などと同様に曖昧な境界を持つクラス表現するのに応用されている。

※この「数学上の業績」の解説は、「ペトル・ヴォピェンカ」の解説の一部です。
「数学上の業績」を含む「ペトル・ヴォピェンカ」の記事については、「ペトル・ヴォピェンカ」の概要を参照ください。


数学上の業績

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/01/21 05:59 UTC 版)

アルフレト・タルスキ」の記事における「数学上の業績」の解説

現代的なモデル論の基礎開拓。特に真理概念帰納的定義は、論理学のみならず言語哲学にも大きな影響与えた

※この「数学上の業績」の解説は、「アルフレト・タルスキ」の解説の一部です。
「数学上の業績」を含む「アルフレト・タルスキ」の記事については、「アルフレト・タルスキ」の概要を参照ください。


数学上の業績

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/08/23 06:30 UTC 版)

エドワード・フレンケル」の記事における「数学上の業績」の解説

ニコライ・レシェーツキン(英語版と共にフレンケルはW-代数量子アフィン代数英語版)の表現のq指標導入したフレンケル最近業績は、ラングランズ・プログラム表現論可積分系幾何学そして物理学とのつながり集中している。デニス・ゲイツゴリとカリ・ヴィロネン(英語版と共にフレンケル一般線型群GL(n)に対す幾何学的ラングランズ予想証明したロバート・ラングランズゴ・バオ・チャウとの共同研究により、保形表現関手性と跡公式への新たなアプローチ提案したフレンケルまた、(特にエドワード・ウィッテンとの共同研究により)、幾何学的ラングランズ対応場の量子論における双対性の間の関係性追求している。

※この「数学上の業績」の解説は、「エドワード・フレンケル」の解説の一部です。
「数学上の業績」を含む「エドワード・フレンケル」の記事については、「エドワード・フレンケル」の概要を参照ください。

ウィキペディア小見出し辞書の「数学上の業績」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「数学上の業績」の関連用語

数学上の業績のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



数学上の業績のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのゲオルク・クライゼル (改訂履歴)、ペトル・ヴォピェンカ (改訂履歴)、アルフレト・タルスキ (改訂履歴)、エドワード・フレンケル (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS