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

Prawitz,D. PrawitzD

世界大百科事典内のPrawitz,D.の言及

【数学基礎論】より

…この証明は有限の立場からはなお若干の不満はあるものの,今日まで証明論で得られている最良の結果である。なお,基本予想自体は数学的には正しいことが(非構成的手段を用いて)高橋元男とプラビッツD.Prawitzによって,それぞれ独立に証明されている。
[公理的集合論]
 ラッセルの逆理などカントルの集合論で現れたいくつかの逆理は,あまりにも多くの要素をもつようなものを集合と考えることによって生ずるものであって,これらの逆理は,まもなく,E.ツェルメロらによる集合論の公理化によって,集合の生成原理を明確に規定することにより回避できるようになった。…

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

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

今日のキーワード

だまし面接

企業が面談や懇談会と称して就職活動中の学生を呼び出し、実質的には学生を選考する偽装面接のこと。2016年卒業の大学生に対する選考活動の開始時期を、従来の4月1日から8月1日以降へと後ろ倒しする主旨の「...

続きを読む

コトバンク for iPhone

コトバンク for Android