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

Prawitz,D. PrawitzD

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

【数学基礎論】より

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

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

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

今日のキーワード

大寒

二十四節気の一つ。元来,太陰太陽暦の 12月中 (12月後半) のことで,太陽の黄経が 300°に達した日 (太陽暦の1月 20日か 21日) から立春 (2月4日か5日) の前日までの約 15日間で...

続きを読む

コトバンク for iPhone