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

ramified theory of types ramifiedtheoryoftypes

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

【タイプ理論】より

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

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

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

今日のキーワード

カルテット

四重唱および四重奏。重唱,重奏の形態のなかで最も基本的なもので,声楽ではルネサンスの多声歌曲の形式であるシャンソンやフロットラから始り長い歴史をもつ。器楽も同様で,特に弦楽四重奏は室内楽の全レパートリ...

続きを読む

コトバンク for iPhone