ウィーナーの定義
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/05 18:06 UTC 版)
ウィーナーが初めて順序対の集合論的定義: ( a , b ) := { { { a } , ∅ } , { { b } } } {\displaystyle (a,b):=\{\{\{a\},\,\emptyset \},\,\{\{b\}\}\}} を提唱したのは1914年のことである。ウィーナーはこの定義によって『プリンキピア・マテマティカ』における型が集合として定義できるようになることを注意している。『プリンキピア・マテマティカ』では型、したがって任意のアリティを持つ関係の全体を原始概念として採用するものであった。
※この「ウィーナーの定義」の解説は、「順序対」の解説の一部です。
「ウィーナーの定義」を含む「順序対」の記事については、「順序対」の概要を参照ください。
ウィキペディア小見出し辞書の「ウィーナーの定義」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ。
- ウィーナーの定義のページへのリンク
