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

ramified theory of types ramifiedtheoryoftypes

世界大百科事典内のramified theory of typesの言及

【タイプ理論】より

…こうして,個体集合はそれ自身個体ではなく,個体集合の集合はそれ自身個体集合ではないことになる。しかし彼は,〈エピメニデスのパラドックス〉を初めとする意味論的パラドックスもこの原理にもとづいて解決されるべきだと信じたため,最初提出された理論は分岐タイプ理論ramified theory of typesというきわめて複雑なものであった。彼はあとで意味論的パラドックスを別に扱うべき異種のものであることを認めてこの理論を単純タイプ理論simple theory of typesに簡単化し,《プリンキピア・マテマティカ》の第2版でこれを採用した。…

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

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

ramified theory of typesの関連キーワード政治学史賃金学説リンク・セオリー・ホールディングスリンク・セオリー・ジャパン近代経済学認識論リターン老化理論力の統一SS説

今日のキーワード

稀勢の里寛

1986- 平成時代の力士。昭和61年7月3日生まれ。中学卒で鳴戸部屋に入門し,平成14年3月初土俵。16年5月新十両,同年11月には18歳4ヵ月で新入幕をはたす。18年7月新三役小結,21年3月新関...

続きを読む

コトバンク for iPhone