[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 76 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
929: 11/02(日)15:56 ID:kHsCJN3F(1/7) AAS
>>922
>ラッセルの型理論（階型理論）の目的のひとつは、
>ラッセルのパラドックスを解消することにあった
>さて 望月のラベルは、
>型理論における”Type”
>のアナロジーと考えれば 良いのかもしれない
素人の妄想？
>（例”単純階型理論（Simple Theory of Types）に固有な記号として、プライム付きの変数と接中辞 ∈ がある”）
>望月先生の真意は不明ですがね・・・
素人の妄想は全く見当違いですがね
上下前次1-新書関写板覧索設栞歴
あと 73 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.022s