25/11/14 07:25:51.58 Gbn0TSJh.net
>>874
分からないんですね
p∈P
には意味は無いと？
けれどなんだかIUTの集合論的批判の中に
p∈pというのが出てくることがあるからみたいな？
(引用終り)
そこな
下記の 望月の北大 2003年当時から
『"「属性方程式」a∈aを解きたい"
→”通常の集合論を拡大する必要が有る”
§1.2 IUキカによる「解消」：一言でいうと 宇宙(universe)の拡大を使ってラベルを貼る』
（§1 圏のIU幾何）
って 話でしょ？
つまりは、望月氏は
"「属性方程式」a∈aを解きたい"という Motivation
があって、”ラベルを貼る”を やった
ところが、ショルツェ氏が しゃしゃり出る
”simplification”で ラベルを無くしたら おかしくなるよと
望月氏にしてみたら あ然 ぼう然 がく然でｗ
もとから "「属性方程式」a∈aを解きたい"という Motivationでもって
”ラベルを貼る”をやっているのに
”ラベルを無くしたら・・” とか おまえはアホか！と
なお、下記F1 は、一元体（下記）な （＾＾
(参考) >>5より再録
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(Hokudai%202003-11).pdf
[10] 数論的log schemeの圏論的表示から見た楕円曲線の数論 （北海道大学 2003年11月）. PDF
P1
§1 圏のIU幾何
§1.1 Motivation
"F1上のキカが必要"
↓
"「属性方程式」a∈aを解きたい"
→”通常の集合論を拡大する必要が有る”
§1.2 IUキカによる「解消」：一言でいうと 宇宙(universe)の拡大を使ってラベルを貼る。
URLﾘﾝｸ(ja.wikipedia.org)
一元体（いちげんたい、英: field with one element）あるいは標数 1 の体 (field of characteristic one) とは、「ただひとつの元からなる有限体」と呼んでもおかしくない程に有限体と類似の性質を持つ数学的対象を示唆する仮想的な呼称である。しばしば、一元体を F1 あるいは Fun[note 1] で表す。通常の抽象代数学的な意味での「ただひとつの元からなる体」は存在せず、「一元体」の呼称や「F1」といった表示はあくまで示唆的なものでしかないということには留意すべきである。その代わり、F1 の概念は、抽象代数学を形作る旧来の材料である「集合と作用」が、もっとほかのより柔軟な数学的対象で置き換わるべきといった方法論を提供するものと考えられている。そういった新しい枠組みにおける理論で一元体を実現しているようなものは未だ存在していないが、標数 1 の体に類似した対象についてはいくつか知られており、それらの対象もやはり用語を流用して象徴的に一元体 F1 と呼ばれている。なお、一元体上の数学は日本の黒川信重ら一部の数学者によって、絶対数学と呼ばれている。