宇宙
#Fleeting_Notes
宇宙(universe)
数学や型理論方面の宇宙について
関連:
宇宙(数学)
なんでも含まれる便利な「集まり」が宇宙といったところ
集合論では
ラッセルのパラドックス
、型理論方面では
ジラールのパラドックス
のように自分自身が含まれる構成になってしまうと矛盾が起きてしまう
そこらへんを解消するために可述的な構造(階層的な構造)として宇宙が考えられている
確認用
Q. 数学、型理論方面で出てくる宇宙とは
調査用
Google.icon
宇宙(日)
Google.icon
Universe(英)
Wikipedia.icon
宇宙 - Wikipedia(日)
宇宙(検索) - Wikipedia(日)
Wikipedia.icon
Universe - Wikipedia(英)
Universe(検索) - Wikipedia(英)