25/11/14 11:53:05.79 iHfr5kmW.net
>>875
>"「属性方程式」a∈aを解きたい"という Motivation
>があって、”ラベルを貼る”を やった
>ところが、ショルツェ氏が しゃしゃり出る
>”simplification”で ラベルを無くしたら おかしくなるよと
ということは"ラベル"が無意味なのかもしれませんね
F1も今のところ無いものです
あって欲しいからそれが正当化できる理論が探されてるようですね
もしかしたらF1についての要求がある程度固まったら
それを論理式で表して
「その論理式を満たす数学的対象が存在する」
を公理にするなんてことになるかもしれませんね
"ラベル"もその類いかも？
おそらく遠アーベル幾何というもの自体が
そのように夢想から産まれ研究対象を見極めて発展してきたという流れがあるようなので
IUTもその類いなのかもしれません
まあ今のところはF1もp∈pも雲を掴むようなもののようなので
敬して遠ざけておくのが良さそうだと言うことは分かりました