[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
875(6): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/14(金)07:25 ID:Gbn0TSJh(1/4) AAS
>>874
分からないんですね
p∈P
には意味は無いと？
けれどなんだかIUTの集合論的批判の中に
p∈pというのが出てくることがあるからみたいな？
(引用終り)
そこな
下記の 望月の北大 2003年当時から
『"「属性方程式」a∈aを解きたい"
省29
876: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/14(金)07:30 ID:Gbn0TSJh(2/4) AAS
>>875 タイポ訂正
なお、下記F1 は、一元体（下記）な （＾＾
↓
なお、F1 は、一元体（下記）な （＾＾
884(1): 11/14(金)08:41 ID:iHfr5kmW(2/26) AAS
>>875
いつものように話をそらしてますが結局分からないんですね
IUTなら意味があるとのp∈Pですが
彼がなぜ
＞a certain collection of primes (of bad reduction) called “prime-strips”
を
＞So, if this set is p
と定義するのに
＞and all primes are P
という集合との間に
省2
885(1): 11/14(金)08:52 ID:iHfr5kmW(3/26) AAS
>>875
>"「属性方程式」a∈aを解きたい"という Motivation
>があって、”ラベルを貼る”を やった
>ところが、ショルツェ氏が しゃしゃり出る
>”simplification”で ラベルを無くしたら おかしくなるよと
ということは"ラベル"が無意味なのかもしれませんね
F1も今のところ無いものです
あって欲しいからそれが正当化できる理論が探されてるようですね
もしかしたらF1についての要求がある程度固まったら
それを論理式で表して
省3
886(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/14(金)10:30 ID:f6V8ev5m(1/5) AAS
>>877
御大か
巡回ありがとうございます
>>>「集合と作用」が、もっとほかのより柔軟な数学的対象で置き換わるべきといった方法論
>難しい
それ 絶対数学>>875 の話ですね
しかし 集合→対象、 作用→射
と置き換えれば、形式的には 圏論に置き換えられますよね
これは 完全に「アブストラクト・ナンセンス」（下記）ですがｗ （＾＾
(参考)
省12
893: 11/14(金)11:53 ID:iHfr5kmW(6/26) AAS
>>875
>"「属性方程式」a∈aを解きたい"という Motivation
>があって、”ラベルを貼る”を やった
>ところが、ショルツェ氏が しゃしゃり出る
>”simplification”で ラベルを無くしたら おかしくなるよと
ということは"ラベル"が無意味なのかもしれませんね
F1も今のところ無いものです
あって欲しいからそれが正当化できる理論が探されてるようですね
もしかしたらF1についての要求がある程度固まったら
それを論理式で表して
省8
932(1): 11/14(金)20:52 ID:iHfr5kmW(8/26) AAS
>>886
>しかし 集合→対象、 作用→射
>と置き換えれば、形式的には 圏論に置き換えられますよね
この「作用」は「写像」のことを意図している？
で
あなたの言わんとしているのは集合の圏のこと？
それなら別に置き換えているわけでもなく単に集合の圏を考えているというだけでしょう
>>875
>抽象代数学を形作る旧来の材料である「集合と作用」
の「集合」は群や環や体や多項式みたいな対象を意味してませんかね
省10
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s