21/12/27 21:13:12.28 FJvpMKR1.net
>>804
＞そもそもループが必要であれば、その考え自体ZFCの基礎の公理に反します
間違っているよ
ZFCの基礎の公理が禁止しているのは、単に∈を使ったループ、つまり ”ｘ∈ｘ”だよ（これを認めると、無限降下列 ・・ｘ∈ｘ∈ｘ∈ｘ ができるから）
一方、包含記号 ⊆ なら、”ｘ⊆ｘ”で、無限降下列 ・・ｘ⊆ｘ⊆ｘ⊆ｘ ができるが、これは無問題
（つまり、ZFCの基礎の公理は、記号∈は等号を含まない 例えば不等号 ”＜”のような性格の記号にしているってことです）
基礎の公理が、全てのループを禁止しているわけではないぞ
（極論すれば、等号＝ならば、ｘ＝ｘで、無限降下列 ・・ｘ＝ｘ＝ｘ＝ｘ ができる）
なお、基礎の公理は、∈-inductionと関連しているという（下記ご参照）
URLﾘﾝｸ(en.wikipedia.org)
Epsilon-induction
In mathematics, ∈-induction (epsilon-induction or set-induction) is a variant of transfinite induction.
Considered as a set theory axiom schema, it is called the Axiom schema of set induction.
It can be used in set theory to prove that all sets satisfy a given property. This is a special case of well-founded induction.
Independence
In the context of the constructive set theory CZF, adopting the Axiom of regularity would imply the law of excluded middle and also set-induction.
But then the resulting theory would be standard ZF.
However, conversely, the set-induction implies neither of the two.
In other words, with a constructive logic framework, set-induction as stated above is strictly weaker than regularity.
901:１３２人目の素数さん
21/12/27 21:38:47.73 vfUuXfC1.net
>>872
>包含記号 ⊆ なら、”ｘ⊆ｘ”で、
>無限降下列 ・・ｘ⊆ｘ⊆ｘ⊆ｘ ができるが、
>これは無問題
>基礎の公理が、全てのループを禁止しているわけではないぞ
>極論すれば、等号＝ならば、ｘ＝ｘで、
>無限降下列 ・・ｘ＝ｘ＝ｘ＝ｘ ができる
こいつ正真正銘の🐎🦌か？
なんで∈に限定してるのに⊆とか＝とか出てくるんだ
>間違っているよ
貴様、キチガってるぞ Schizophreniaか？
902:１３２人目の素数さん
21/12/27 21:47:29.30 vfUuXfC1.net
>Epsilon-induction
>URLﾘﾝｸ(en.wikipedia.org)
だいたい、なんで肝心の式をコピペしないの？🐎🦌なの？
∈帰納法
∀x.((∀y∈x.Φ(y))⇒Φ(x))⇒∀z.Φ(z)
つまり
任意の集合xについてxの任意の要素yでΦが成り立つならばxでΦが成り立つとき
任意の集合zでΦが成り立つ
（注：{}では要素がないから、上記の式の前提が成りたつなら{}でΦが成り立つ）
903:１３２人目の素数さん
21/12/27 21:57:31.71 vfUuXfC1.net
∈帰納法は整礎帰納法の一種な
Well-founded relation
Induction and recursion
URLﾘﾝｸ(en.wikipedia.org)
整礎帰納法（ネーター帰納法）
(X,R)が整礎関係とすると
∀x∈X.((∀y∈X.yRx⇒P(y))⇒P(x))⇒∀z∈X.P(z)
904:１３２人目の素数さん
21/12/27 22:07:38.32 vfUuXfC1.net
さらに超限帰納法も示す
超限帰納法
(A , ≤) を整列集合とすると
∀a∈A.((∀b∈A.b<a⇒P(b))⇒P(a))⇒∀c∈A.P(c)
より丁寧に書くと
・P(0)が成り立つ
・P(a)が成り立つならP(a+1)が成り立つ
・b<aとなる任意のbでP(b)が成り立つならP(a)も成り立つ
の３条件が成り立つならば、任意の順序数xでP(x)が成り立つ
(注:上記3条件のうち、はじめの2条件が成り立つだけでは例えば
任意の自然数nでP(n)が成り立つからP(ω)が成り立つ
なんてことは言えない）
905:１３２人目の素数さん
21/12/27 22:14:50.89 LDXgaT10.net
だったら論文書けよw
その無限シングルトンとやらが新しいアイデアだと思うなら
906:１３２人目の素数さん
21/12/27 22:22:42.50 Oxd4yvSC.net
そもそもセタの話は「ツェルメロが作った“ツェルメロの順序数”ではωは無限シングルトンになる」というもの
すなわち“無限シングルトン”なるものはzfcを拡張することなくその中で存在を保証しなければならない
ツェルメロが自身の論文の中で“ツェルメロスタイルの順序数”順序数“について述べた論文で「このスタイルの順序数の方が優れてる、こちらを採用するためにzfcは拡張されねばならない」などと主張したなどという話はない
なのでそもそもその“無限シングルトン”なるものを導入するためにzfcを拡張すべきだというアホセタの主張はハナから主張が内部矛盾してる
その事すら分からんアホセタ
無限の能無し
907:１３２人目の素数さん
21/12/27 23:51:36.15 FJvpMKR1.net
>>775
＞ZFの公理が９つであるとか書いてしまう人ですから
横だけど
その記述自身は、無問題でしょ
例えば、17条憲法のように、９つを９条と読めば、問題なし
つまり、９条の一つが、パラメータを含む公理図式になっていると考えることができる
（ここは、ある本の記述を引用した形になっているよね。この議論は、随分前におサル>>5-6が騒いで、議論した記憶がある）
（なお、この議論は、>>816の
「A＋B=(a0+b0,a1+b1,a2+b2,…)
と定義すればいいですね
一回ですよ、どこが無限回ですか？」と類似の議論だね）
＞形式主義を理解していないと思います
「形式主義を理解していない」は、そうかも。但し、望月氏が理解しているかどうかとは別として、かつ、形式主義をどう定義するかによるとしても
いまさら、「形式主義 理解うんぬん」の批判は、如何なものかな。ヒルベルトの計画は破綻したんだしね
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
形式主義 (数学)
形式主義は、ダフィット・ヒルベルトによって主張された。その目的は数学をゲームと考えることによって、数学的実在に直接関わることなく、数学の無矛盾性を証明するためであった。（ヒルベルト・プログラム）上記の点から、ヒルベルトの形式主義は、ブルバキの公理論とは異なるものである。
完全かつ矛盾のない数学システムを作るヒルベルトの目標は、十分に表現の富んだ矛盾のない公理体系はそれ自体の無矛盾性を決して証明できないことを述べたゲーデルの第二不完全性定理によって致命的な打撃を受けた。そのような公理体系はサブシステムとして有限算術を含んでいるため、ゲーデルの定理はそのような体系の有限算術に対する相対無矛盾性を証明できないことを含意する（もし証明できたとすると、その体系自体の無矛盾性を証明できたことになるが、ゲーデルの定理はこれが不可能であることを示しているためである）。
ヒルベルトは最初は演繹主義者だった。しかし、上記から明白に、彼は、本質的に意味のある結果をもたらすために、確実な超数学的方法（metamathematical method）を熟考した。
つづく
908:１３２人目の素数さん
21/12/27 23:53:11.58 FJvpMKR1.net
>>879
つづき
>論文中ではset theoretic formulaのZFCにおける解釈を
>氏が無制限に行っているように見えます
有限主義（下記Finitism）を想定しているのかな？
” and with development of axiomatic set theories such as Zermelo?Fraenkel set theory and the lack of any evidence against its consistency, most mathematicians lost interest in the topic. ”
と書かれています。Finitismは破綻したんでしょ？
7URLﾘﾝｸ(en.wikipedia.org)
Finitism
Hilbert's goal of proving the consistency and completeness of set theory or even arithmetic through finitistic means turned out to be an impossible task due to Kurt Godel's incompleteness theorems.
In the years following Godel's theorems, as it became clear that there is no hope of proving consistency of mathematics, and with development of axiomatic set theories such as Zermelo?Fraenkel set theory and the lack of any evidence against its consistency, most mathematicians lost interest in the topic. Today most classical mathematicians are considered Platonist and readily use infinite mathematical objects and a set-theoretical universe.[citation needed]
かつ そもそも、望月IUTはZFCGベースで議論しているんでしょ？ なんで、ZFCベースの批判なの
望月氏は、「IUTはZFCGベースで可能」という主張なのでしょ？
URLﾘﾝｸ(ja.wikipedia.org)
グロタンディーク宇宙
宇宙のアイデアは、アレクサンドル・グロタンディークが代数幾何において真のクラスを回避する方法として導入したことに起因する。
グロタンディーク宇宙は、すべての数学が実行可能な集合を与える（実際には、集合論のためのモデルを与える）。
(引用終り)
以上
909:１３２人目の素数さん
21/12/28 00:06:00.67 IQKnQwAx.net
>>760-761
>V_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈ . . . ∈ V_n ∈ . . . ∈ V
>をもって何を言いたかったのかは私には理解できません
下記のグロタンディーク宇宙 V_ωのことでしょ、多分
URLﾘﾝｸ(ja.wikipedia.org)
グロタンディーク宇宙と到達不能基数
グロタンディーク宇宙の2つの簡単な例がある:
・空集合
・すべての遺伝的有限集合 の集合 V_ω。
他の例は構成がより困難である。大まかに言うと、これはグロタンディーク宇宙が到達不能基数と同値なためである。
>>V_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈ . . . ∈ V_n ∈ . . . ∈ V
>nがどんな自然数だとしても∈有限下降列ですね、お疲れ様です
ｎは全ての自然数を尽くして、V_ωになる
つまり、グロタンディーク宇宙で、無限上昇列（降下列では、ない）
910:１３２人目の素数さん
21/12/28 00:57:43.18 Jpjh78zL.net
>>872
>ZFCの基礎の公理が禁止しているのは、単に∈を使ったループ、つまり ”ｘ∈ｘ”だよ（これを認めると、無限降下列 ・・ｘ∈ｘ∈ｘ∈ｘ ができるから）
はい、落第です。
「x∈xならばxは正則性公理違反」は正しいが、「xが正則性公理違反ならばx∈x」は間違い。
反例：x={y}, y={x} のとき、x∉x、且つ、∈無限下降列x∋y∋x∋…が存在するのでxは正則性公理違反。
おまえ口開くと間違うな。もう口閉じてろよ。
911:１３２人目の素数さん
21/12/28 03:00:49.28 Jpjh78zL.net
>>881
>>>V_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈ . . . ∈ V_n ∈ . . . ∈ V
>>nがどんな自然数だとしても∈有限下降列ですね、お疲れ様です
>ｎは全ての自然数を尽くして、V_ωになる
∈Vの左隣は何？
912:１３２人目の素数さん
21/12/28 06:21:00.03 pcufzZE6.net
やれやれ、🐎🦌が>>872でトンチンカンなこと書いたから
>>874-876で帰納法で完璧な説明書いてやったら
案の定何も言い返せずに話そらしたな ほんと🐓なヤツ
>>879-880 ケーシキ主義とかユーゲン主義とか
🐎🦌の貴様には到底理解できんからやめとけ（嘲）
次からスレッド立てるときは
1でこのテンプレ使えな
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
望月Inter-universal Teichmuller theory (abbreviated as IUT) は、新しい局面に入りました。
論文は出版されました。また、“Explicit”版が公開され、査読は完了しました。
IUTの4回の国際会議は無事終わり、Atsushi Shiho (Univ. Tokyo, Japan)先生が、参加しました。
IUTが正しい証拠として、2022年、望月新一氏はIUT理論によるABC予想の解決により
IMU（国際数学連合）および日本数学会の賞を受賞すると予言します
万が一、実現しなかったら 私>>1は責任をとって自刎すると宣言します！
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
永遠に待ち続けるとかダメな 来年で結果だせよ
結果出なかったら、責任とって自刎
以上 ４６４９（よろしく）
913:１３２人目の素数さん
21/12/28 06:25:15.92 pcufzZE6.net
>>881
>>V_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈ . . . ∈ V_n ∈ . . . ∈ V
>>をもって何を言いたかったのかは私には理解できません
>グロタンディーク宇宙 V_ωのことでしょ、多分
全然ちげーわ 🐎🦌ｗ
>ｎは全ての自然数を尽くして、V_ωになる
>つまり、グロタンディーク宇宙で、無限上昇列
>（降下列では、ない）
「降下列では、ない」とわざわざエクスキューズするところを見ると
いかなる降下列も有限、と認めたってことか？
つまり無限重シングルトンは諦めたってことか？
え？どうなんだ人間失格の🐎🦌 いや哺乳類失格の🐓よ
914:１３２人目の素数さん
21/12/28 07:28:18.99 IQKnQwAx.net
>>873
>なんで∈に限定してるのに⊆とか＝とか出てくるんだ
∈に限定されてないよ
>>804の発言 「＞そもそもループが必要であれば、その考え自体ZFCの基礎の公理に反します」
だよ
詳しくは
「一つ。基本的な質問ですが、なぜIUTでは「ループ」が必要なのですか？
そもそもループが必要であれば、その考え自体ZFCの基礎の公理に反します」
だ
ここでは、「ループ」は、∈に限定されてないよ
なお、∈の「ループ」については、望月氏の和文のIUT入門講義資料の中で言及していて
”∈の「ループ」そのものではないが、∈の「ループ」類似を考える”みたいな記述があったよ
（後で探してみる）
だから、「”∈の「ループ」そのもの”は、基礎の公理に反す」までは、望月氏は自覚あるよ
915:１３２人目の素数さん
21/12/28 07:31:24.15 IQKnQwAx.net
>>885
>「降下列では、ない」とわざわざエクスキューズするところを見ると
>いかなる降下列も有限、と認めたってことか？
「いかなる降下列も有限」か、ハハハｗ
降下列と上昇列との区別が、ついていないと自白しているのか？
あとで、詳しく教えてやるよｗ
916:１３２人目の素数さん
21/12/28 08:08:24.39 pcufzZE6.net
>>886
>「ループ」は、∈に限定されてないよ
それは🐎🦌恒例の誤読
>「”∈の「ループ」そのもの”は、基礎の公理に反す」
>までは、望月氏は自覚あるよ
でも素人の貴様には自覚ないか？
ほんと中卒🐎🦌野郎の貴様には困ったもんだ（嘲）
>>887
>「いかなる降下列も有限」か、ハハハｗ
>降下列と上昇列との区別が、ついていないと自白しているのか？
>あとで、詳しく教えてやるよｗ
あとっていつだ？ その日は永遠に来ない方に賭けるなｗ
無限重シングルトンとか、基礎の公理に公然と反するこという
🐎🦌野郎の貴様に無限降下列が教えられるのか？ ｷﾞｬﾊﾊﾊﾊﾊﾊ!!!
次からスレッド立てるときは
1でこのテンプレ使えな
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
望月Inter-universal Teichmuller theory (abbreviated as IUT) は、新しい局面に入りました。
論文は出版されました。また、“Explicit”版が公開され、査読は完了しました。
IUTの4回の国際会議は無事終わり、Atsushi Shiho (Univ. Tokyo, Japan)先生が、参加しました。
IUTが正しい証拠として、2022年、望月新一氏はIUT理論によるABC予想の解決により
IMU（国際数学連合）および日本数学会の賞を受賞すると予言します
万が一、実現しなかったら 私>>1は責任をとって自刎すると宣言します！
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
永遠に待ち続けるとかダメな 来年で結果だせよ
結果出なかったら、責任とって自刎
以上 ４６４９（よろしく）
917:１３２人目の素数さん
21/12/28 09:31:28.07 GWJiGcSt.net
>>886
>∈に限定されてないよ
>>>804の発言 「＞そもそもループが必要であれば、その考え自体ZFCの基礎の公理に反します」
>だよ
じゃあZF上に集合は存在できないね
仮に集合xが存在したら、x=x=・・・で基礎の公理違反なんでしょ？
918:１３２人目の素数さん
21/12/28 09:52:19.86 4m3WSGgU.net
オーナーニーおばさんは同じ話を何百回でも繰り返す精神異常が特徴
919:１３２人目の素数さん
21/12/28 10:20:07.08 KkQYGd3g.net
このスレで毎日繰り言を繰り返している人物が
専攻学位論文を書けずに、専攻と無関係の修論実験報告でお茶を濁した理由がよくわかるね
この人物は、自分に理解できない話は全て間違いだと判定し「おれのかんがえるむじゅんてん」を延々と書くだけで、決して何かを学び成長する事のない
閉世界仮説の住人だね
そんな人物でも、習った通り手順通り物事を進める実験報告レポートは書ける
そしてラマン散乱のようなとっくにメインストリームから外れた測定法であれば
「これまで測定報告のない新規の物質の測定をしました」
だけで簡単に学位が出てしまう
このスレで暴れる人物の学識の無さは、ラマン散乱測定分野の学位の出したかの問題に起因する
920:１３２人目の素数さん
21/12/28 11:17:35.73 HUMTmjDt.net
ラマン散乱言いたいだけか
921:１３２人目の素数さん
21/12/28 11:27:34.38 4m3WSGgU.net
アホ「ちちち、中性子散乱測定だってやってるんだからね」
ラマン散乱測定業界って中性子散乱による構造決定前の予備調査程度のポジションだろ
922:１３２人目の素数さん
21/12/28 13:37:33.79 +1q5cVBK.net
セタはコピペでさえも数学問答できていない
コピペで積み木遊び
923:１３２人目の素数さん
21/12/28 13:44:11.54 KkQYGd3g.net
スレ毎に別の名前の仮想人格を作り上げて
その仮想人格を叩く形でスレを伸ばすのが
この人物の特異性
924:１３２人目の素数さん
21/12/28 16:12:08.14 .net
>>890-895 （除く892,894）
化学屋は化学板に行ってくださいね
URLﾘﾝｸ(matsuri.5ch.net)
925:１３２人目の素数さん
21/12/28 16:55:25.44 4m3WSGgU.net
ラマン散乱を化学分野だと断定するのは
山形大学理学部落ちこぼれ教員の特徴だね
他の学問分野でも使われていた測定手法なので
化学と断定しないのが普通の見識
926:１３２人目の素数さん
21/12/28 18:17:30.18 .net
>>897
どう言いつくろっても数学ではないけどね
ここは数学板 数学語れないなら他所に行こうね
927:１３２人目の素数さん
21/12/28 18:38:24.66 GWJiGcSt.net
うむ
セタもどっか他所行って欲しい
928:１３２人目の素数さん
21/12/28 20:36:22.12 4m3WSGgU.net
浪人でID非表示にしてる奴は
一匹なのか一匹と1人なのか
上記失言への同意で一匹は落ちこぼれと判明済み
929:１３２人目の素数さん
21/12/28 20:38:01.25 KkQYGd3g.net
>>898
落ちこぼれの妄言はスレタイと関係ないよな
学部数学の禅問答はホムペでやればいいのに
930:１３２人目の素数さん
21/12/28 20:39:18.64 KkQYGd3g.net
>>900
一匹はこの物体で確定だね
普通スルーする
ソース URLﾘﾝｸ(blog-imgs-17.fc2.com) URLﾘﾝｸ(b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com)
931:１３２人目の素数さん
21/12/28 20:50:55.52 4m3WSGgU.net
・公開顔写真への過剰反応癖
・「ラマン散乱は化学」という特殊な認識
・誰も知らない架空の敵を作り上げて戦う癖
身元がバレているね
932:１３２人目の素数さん
21/12/28 20:54:17.55 .net
>>900-902
数学の分からんど素人のあなた方が
心の底から愛してやまない
天羽優子とかいう「おばさん」ではないよ
933:１３２人目の素数さん
21/12/28 20:55:41.48 4m3WSGgU.net
もう1つあった
・スレが禅問答の押し問答状態で客観的に機能していないのに、やたらスレを乱立させスレへの書き込みに神経を尖らす
こいつ自身が癌なのに、他人の書き込みにやたら神経質になって他スレへ誘導したがるのは、こいつ独特
934:の特徴
935:１３２人目の素数さん
21/12/28 20:55:56.10 IQKnQwAx.net
>>886
>なお、∈の「ループ」については、望月氏の和文のIUT入門講義資料の中で言及していて
>”∈の「ループ」そのものではないが、∈の「ループ」類似を考える”みたいな記述があったよ
>（後で探してみる）
>だから、「”∈の「ループ」そのもの”は、基礎の公理に反す」までは、望月氏は自覚あるよ
「”∈の「ループ」そのもの”は、基礎の公理に反す」は、下記のIUT IVでした（和文ではなかった）
関連箇所を引用しておくよ
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY IV:
LOG-VOLUME COMPUTATIONS AND
SET-THEORETIC FOUNDATIONS
Shinichi Mochizuki
April 2020
P5
If, moreover, one thinks of Z as being constructed, in the usual way, via axiomatic set theory, then one may interpret the “absolute” - i.e., “tautologically
unrelativizable” - nature of conventional scheme theory over Z at a purely settheoretic level. Indeed, from the point of view of the “∈-structure” of axiomatic set
theory, there is no way to treat sets constructed at distinct levels of this ∈-structure
as being on a par with one another. On the other hand, if one focuses not on
the level of the ∈-structure to which a set belongs, but rather on species, then the
notion of a species allows one to relate - i.e., to treat on a par with one another -
objects belonging to the species that arise from sets constructed at distinct levels
of the ∈-structure. That is to say,
the notion of a species allows one to “simulate ∈-loops” without violating the axiom of foundation of axiomatic set theory
- cf. the discussion of Remark 3.3.1, (i).
P68
On the other hand, by the axiom of
foundation, there do not exist infinite descending chains of universes
V0 V1 V2 V3 ... Vn ...
- where n ranges over the natural numbers.
つづく
936:１３２人目の素数さん
21/12/28 20:56:33.02 4m3WSGgU.net
本日の山形基地外おばさん発狂スレ
Inter-universal geometry と ABC予想 (応援スレ) 62
ｽﾚﾘﾝｸ(math板)
904 名前:１３２人目の素数さん [sage] :2021/12/28(火) 20:54:17.55
>>900-902
数学の分からんど素人のあなた方が
心の底から愛してやまない
天羽優子とかいう「おばさん」ではないよ
937:１３２人目の素数さん
21/12/28 20:56:41.90 IQKnQwAx.net
>>906
つづき
P74
Remark 3.3.1.
(i) One well-known consequence of the axiom of foundation of axiomatic set
theory is the assertion that “∈-loops”
a ∈ b ∈ c ∈ ... ∈ a
can never occur in the set theory in which one works. On the other hand, there
are many situations in mathematics in which one wishes to somehow “identify”
mathematical objects that arise at higher levels of the ∈-structure of the set theory
under consideration with mathematical objects that arise at lower levels of this
∈-structure.
P75
That is to say, the mathematical objects at
both higher and lower levels of the ∈-structure constitute examples of the same
mathematical notion of a “set”, so that one may consider “bijections of sets” between those sets without violating the axiom of foundation. In some sense, the
notion of a species may be thought of as a natural extension of this observation.
That is to say,
the notion of a “species” allows one to consider, for instance, speciesisomorphisms between species-objects that occur at different levels of the
∈-structure of the set theory under consideration - i.e., roughly speaking,
to “simulate ∈-loops” - without violating the axiom of foundation.
That is to say, the mathematical objects at
both higher and lower levels of the ∈-structure constitute examples of the same
mathematical notion of a “set”, so that one may consider “bijections of sets” between those sets without violating the axiom of foundation. In some sense, the notion of a species may be thought of as a natural extension of this observation.
That is to say,
the notion of a “species” allows one to consider, for instance, speciesisomorphisms between species-objects that occur at different levels of the
∈-structure of the set theory under consideration - i.e., roughly speaking,
to “simulate ∈-loops” - without violating the axiom of foundation.
以上
938:１３２人目の素数さん
21/12/28 20:59:28.28 4m3WSGgU.net
そこで言うルーブは頭と尻尾が繋がった無限ループの事だろうな
939:１３２人目の素数さん
21/12/28 20:59:33.53 .net
>>906
>「”∈の「ループ」そのもの”は、基礎の公理に反す」
IUTと無関係に成り立つけど？
940:１３２人目の素数さん
21/12/28 21:00:27.96 .net
>>909
数学を全く知らない熟女マニアは黙ってね
941:１３２人目の素数さん
21/12/28 21:02:25.81 4m3WSGgU.net
>>911
あんたさっきから過剰に落ちこぼれ教員にこだわってるな
普通はそんなゴミクズの性別や年齢は誰も気にしないぞ
頭がバカなのに英語長文コピーして何かやってるふりをして大変な落ちこぼれだな
942:１３２人目の素数さん
21/12/28 21:03:55.42 4m3WSGgU.net
>>908
そこで言うループは頭と尻尾が繋がった無限ループの事だろうな
それがどうした
943:１３２人目の素数さん
21/12/28 21:08:01.81 .net
>>912
いや、数学と無関係なおばさんの話に興味ないだけ
944:１３２人目の素数さん
21/12/28 21:08:34.54 4m3WSGgU.net
>>914
誰も興味のないゴミクズの話をいちいち持ち出すな知恵遅れ
945:１３２人目の素数さん
21/12/28 21:08:38.02 LG9nSaeA.net
なんでセタはこのレベルの数学力しかないのに自分が望月論文読めると思ってんの？
946:１３２人目の素数さん
21/12/28 21:10:22.17 .net
>>915
Are You a schizophrenia?
947:１３２人目の素数さん
21/12/28 21:11:04.77 4m3WSGgU.net
専攻学位論文すら満足に出せなかった落ちこぼれだから、ゴードンベル賞7回受賞者に長期間絡んだり
CERNプロジェクトリーダーのデータ捏造論文を虚言で擁護して
己を大きく見せたいみたいね
948:１３２人目の素数さん
21/12/28 21:12:43.76 4m3WSGgU.net
>>917
お前のメンタルヘルスに関する自己投影はお前のホームページでヤレ URLﾘﾝｸ(cml-office.org)
こんだけ道具立てしても正体がバレるとグズグズになるなこのゴミクズ
949:１３２人目の素数さん
21/12/28 21:14:30.27 KkQYGd3g.net
英語読めずに恥かきまくりの落ちこぼれが
英文コピペをして英語使えるアピールをする
幼稚なスレ
こいつ毎回それやっては英語読めていない事がバレて恥をかくんだよな
950:１３２人目の素数さん
21/12/28 21:18:55.62 voSETbUr.net
キチガイおばさんとお互いの性器を気が狂いそうになるくらい舐め合いたい
951:１３２人目の素数さん
21/12/28 21:26:15.24 KkQYGd3g.net
>>921
お前のセルフプレジャーに関する書き込みはお前のホームページでヤレ URLﾘﾝｸ(cml-office.org)
正体がバレるとグズグズになるなこのゴミクズ
952:１３２人目の素数さん
21/12/28 22:17:39.06 IQKnQwAx.net
>>906
>∈の「ループ」類似を考える
ここ多分
下記の”一種の「同義反復的解決」”に繋がる話だろうと思う
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月 出張・講演
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(kakudaiban).pdf
[13] 宇宙際タイヒミューラー理論への誘（いざな）い 《拡大版》 （東京大学 2013年06月） PDF
P4
もちろん、そのような数体の自己同型は実際には存在しない!!
しかし左辺の「{q^j^2}」と右辺の「g」を、それぞれ別々の
「(通常型の)環・スキーム論」=「数論的正則構造」に所属するものと見做し、
所望の対応=「HA 理論をディオファントス幾何に応用する上での障害」
に対する一種の「同義反復的解決」
953:１３２人目の素数さん
21/12/28 22:36:26.48 zxGUrEYv.net
>One well-known consequence of the axiom of foundation
>of axiomatic set theory is the assertion that “∈-loops”
>a ∈ b ∈ c ∈ ... ∈ a can never occur in the set theory
>in which one works
>to “simulate ∈-loops” - without violating the axiom of foundation
setaさんは論外ですが、この望月氏の文章も素人臭いですね
一般に公理を加えることで出来ないことが増えることはありえません
∈-loopの存在を基礎の公理が否定しているというのはもちろんですが、
∈-loopが決して出てこないのは基礎の公理の帰結などではなく、
単にZF（あるいはZFCG）（から基礎の公理を除いたもの）を幾らいじくっても
そのようなものが出てくることはないというだけです
もし出てきたらZF（あるいはZFCG）が矛盾していることになります
（それは間違いなくABC予想解決より重大な結果と言えるでしょう！）
954:１３２人目の素数さん
21/12/28 23:00:02.28 l9sy/rbl.net
どういう意味で「出て来る」と言ってるのかなかなか気になる
ZFにループの存在公理を付け加えた物が矛盾すると言いたいのだろうか
955:１３２人目の素数さん
21/12/28 23:01:18.40 AOUHW8UB.net
そうなのよね
それすごい誤解してる人多い
基礎の公理があるから理論が安全になるのではなく、むしろ公理が増えると理論の無矛盾性は危うくなる
コレは集合論の入門書に
「あまりにも大きすぎる不要のクラスを容認したから素朴集合論は矛盾した」
という説明があり(コレはもちろんあってる)
加えて
「基礎の公理であまりにも大きすぎるクラスは許されない」
というのもあって(コレもあってる)
しかしそこから
「あぁ、基礎の公理があるおかげで矛盾が回避されてるんだ」
という誤解が罷り通ってる
956:１３２人目の素数さん
21/12/28 23:05:20.20 l9sy/rbl.net
「公理があるお陰で矛盾が回避されることはない」ってのはその通りだけど、
今回のは「公理があるせいで矛盾する」だから全く逆じゃねーか？
957:１３２人目の素数さん
21/12/28 23:17:33.31 AOUHW8UB.net
さぁ？
オレは望月論文1ミリも読んでないから知らん
オレが言ってるのは「基礎の公理のお陰で公理的集合論は矛盾を回避してる」という誤解してる奴が多いという話
958:１３２人目の素数さん
21/12/28 23:21:01.83 zxGUrEYv.net
>>927
"can never occur in the set theory in which one works"
の"can never occur"が"does not exist"であれば問題ありませんが、
"can never occur"ならZFCGから基礎の公理を除いた理論でも
"can never occur"なので（ただし存在するともしないとも言えない）、
それが基礎の公理の帰結というのは誤解だと言いたかったのです
959:１３２人目の素数さん
21/12/28 23:23:37.65 l9sy/rbl.net
>>928
オレが言ってるのは「それ今回の件にあんま関係無くね」だな
960:１３２人目の素数さん
21/12/28 23:31:07.63 l9sy/rbl.net
>>929
どちらとも言えないではなくnever occurだ、と言ってる風にしか読めないけど
961:１３２人目の素数さん
21/12/28 23:34:00.08 AOUHW8UB.net
>>930
だが>>924さんの話はその誤解は今回の件にも関連してるという話ちゃうの？
962:１３２人目の素数さん
21/12/28 23:36:52.08 K9Kfr4/p.net
alg-dさんの選択公理っていう本が面白そう
963:１３２人目の素数さん
21/12/28 23:38:22.16 l9sy/rbl.net
>>932
オレ今来たところだから何がスレの議題かは知らんよ
でも基礎の公理のせいでループは存在しないは妥当な主張に思うよ
（もし基礎の公理が無くとも不在が示せると言うならその限りではないが）
964:１３２人目の素数さん
21/12/28 23:58:35.61 hv3SVWak.net
バカなのに難しいこと考えるから成績F取ったり頭おかしくなったりしたのかな？ザリガニ君は。
965:１３２人目の素数さん
21/12/29 00:06:40.90 Sg3rQlX1.net
>>934
ループっx∈xを満たすクラスのことね
だからそれが誤解なんだって
x∈xが存在しないのは>>924さんの言ってる通りそういうのが出てこないように別の公理をうまく設定してるから
具体的には素朴集合論で
“任意の命題φ”に対し∃y ∀zy φ(z)⇔z∈y
としてる部分をZFなら分出公理
“任意の命題φ”に対し∀x∃y∀z∈y φ(z)⇔z∈y
に変更した事、この部分があるからloopが出なくなってる
もちろんこれだけの変更で“絶対出てこない”ことは証明されたわけではない(ハズ)しもし出て来ればこの変更は不十分でZFは矛盾した理論となってしまうけどな
ともかく“基礎の公理”があるおかげで“素朴集合論”に出てくるタイプの矛盾が抑えられてるわけではない
基礎の公理があるのはこの制限のお陰で色々証明ができなくなってしま�
966:ﾁてるのを補うためにつけてるんだよ もちろん無矛盾性を担保するためには無い方がいいに決まってるんだが、ないと色々証明できなくてしょうがないから泣く泣くつけてるんだよ これがあってもzfcが矛盾しないと今思われてるのは他の公理のお陰
967:１３２人目の素数さん
21/12/29 00:19:45.06 hemCndyM.net
>>936
色々あるがとりあえずそれは置いておくとして、
「もし出て来ればこの変更は不十分でZFは矛盾した理論となってしまう」というのは、ZFの基礎の公理をループの存在公理に置き換えた物は矛盾する、という意味で構わない？
968:１３２人目の素数さん
21/12/29 00:32:17.46 9HxcPjEw.net
いや、基礎の公理でx∉xが示せるのは当たり前だろ
ただ、そこから更にx∊xまで示しちゃわないか、つまり矛盾するかしないかはZF次第ってだけの話やろ
そんなことよりIUTの話をしれよ
969:１３２人目の素数さん
21/12/29 00:39:03.19 9HxcPjEw.net
あ～、まあ「ループが存在しない」が２通りに解釈できるんかな
１．x∉xが示せる
２．x∊xが示せない
１．の意味なら基礎の公理のおかげと言っていい
２．の意味なら、基礎の公理を付け足しても２．が実現できるわけはない
970:１３２人目の素数さん
21/12/29 00:42:21.95 Et01ZPKr.net
>>936
>もちろんこれだけの変更で“絶対出てこない”ことは証明されたわけではない(ハズ)しもし出て来ればこの変更は不十分でZFは矛盾した理論となってしまうけどな
>ともかく“基礎の公理”があるおかげで“素朴集合論”に出てくるタイプの矛盾が抑えられてるわけではない
知らんけど証明されてないなら抑えられてるんじゃないの？知らんけど
971:１３２人目の素数さん
21/12/29 00:49:12.84 Et01ZPKr.net
つまり基礎の公理はZFのその他の公理と独立でないと予想されているが未解決ってことでいいのかな？
972:１３２人目の素数さん
21/12/29 00:54:08.57 it6W4Lm6.net
もういいよ
やっぱりこの程度
973:１３２人目の素数さん
21/12/29 00:57:24.51 9HxcPjEw.net
え、独立じゃなかった？
ZFC内で、ZFCのモデルの存在を仮定すれば、AZFとか基礎の公理成り立たないシステムのモデル作れなかったっけ？
974:１３２人目の素数さん
21/12/29 02:11:11.03 pnMcoi0F.net
結局、断片的な記述を取り出してx∈xは無いけれど
似た構造を作るという話が出てきただけで
IUTの話への言及は>>923でおしまいね
IUTほとんど関係ない話で何十レスも消費するスレと言われているのも然りだ
975:１３２人目の素数さん
21/12/29 02:20:25.51 m+OcAqb/.net
でも中身のある話は誰も出来ないから
過疎るでしょう？
976:１３２人目の素数さん
21/12/29 04:18:06.94 EeC8ikNf.net
>>908
群論的ソフトウェアに基づく種ならできると、少なくとも本人は主張しているわけだ
ちょっとオブジェクト指向に影響受けてそうな気がする
977:１３２人目の素数さん
21/12/29 04:26:31.59 EeC8ikNf.net
要は抽象化された基礎圏の設定で、その上の対象を規則情報を通じて結びつければ、こうした集合論的な制約を
超えられるという思想だよね
「圏とアルゴリズムまたはプログラム」を使えばZFCの実在論にオルタナティブを作れると
数学的にIUTが正しいか否かはさておき、実在論としては一つの考えじゃないかな
978:１３２人目の素数さん
21/12/29 04:38:12.40 EeC8ikNf.net
群には非線形な演算があるので、これで環論として同型でない宇宙とかエイリアンが色々考えられて、
それは基礎圏の同型な素材から構成できるのだと主張している
要点は、望月はショルツやロバーツとは違い、圏論的な問題だけを考えているわけではないこと
もっと別の情報的な文脈からディフェンスしているよね
979:１３２人目の素数さん
21/12/29 05:11:08.09 EeC8ikNf.net
図式的には勿論通常の代数幾何学ではなくて
NF一点抜き楕円曲線の非正則（非スキーム論的）ガロア圏→非正則環構造（宇宙）・加群のアルゴリズム的な
変形射と格子
IUTのアラケロフ因子＝格子のテータ因子
重要なのは望月はともかく加藤などもまだ十分に思想としてのIUTのこういう超ZFC論的な側面を理解しきれて
いなかったことだろうね。ひとまずショルツらとはパラダイムが違うのだ、というレベルで濁してきた
しかし、少なくともこれまでの構造主義、ZFC主義とは一線を画するのは確か。だからこそ柏原らは
専門的にはよくわからないながらひとまず通したのだろうと
勿論、あれだけ論文や弁護を通じて尽くしても10年コミュニティに受容されないならば圧倒的に不利だけどね
980:１３２人目の素数さん
21/12/29 05:32:53.91 EeC8ikNf.net
連投は悪しからずで遊びの話なので、個人的な考えだけ述べておくと
そういう実在論が洗練され将来的に何らかの意味を持つ可能性は否定できないが、そういうことをせずに
圏論やZFCに基づいたABC予想の証明は十分可能だと思っている
ただし「圏の幾何」という書き方は誤解を招くから如何なものかとは思う
確かにIUTのテータ因子なるものはフロベニオイドとかガロア圏とかそういうもので構成されてはいるが
今の数学から見れば特殊な実在論に言及していることを無視するわけにはいかないだろう
981:１３２人目の素数さん
21/12/29 06:09:54.69 EeC8ikNf.net
一つだけ雑感を追加しておくと、IUTの何が「望月にとって」ホッジ理論的なのか、という心理的推察は
有意義だと思われる。いくつか理由が考えられるが、ヒントしか書かない
そもそもホッジ理論は、言うまでもなくコホモロジーの理論である
コホモロジー論的な考えや構造は、IUTではかなり変わった形になっておりそのままでは存在しない
またlog-shellやtensor-packetのような変わった表現は、定義は勿論何故そう呼ばれるのかということだ
また、IUTらしさとは不定性の存在である。何故ならば不定性は大域理論らしさの反映だからである
※ちなみに数論的な大域ホッジ理論は既成の数学では未解決である
982:１３２人目の素数さん
21/12/29 08:08:10.95 BTt4Yy5S.net
>>946-951
ありがとう
スレ主です
>重要なのは望月はともかく加藤などもまだ十分に思想としてのIUTのこういう超ZFC論的な側面を理解しきれて
>いなかったことだろうね。ひとまずショルツらとはパラダイムが違うのだ、というレベルで濁してきた
>しかし、少なくともこれまでの構造主義、ZFC主義とは一線を画するのは確か。だからこそ柏原らは
>専門的にはよくわからないながらひとまず通したのだろうと
>勿論、あれだけ論文や弁護を通じて尽くしても10年コミュニティに受容されないならば圧倒的に不利だけどね
へー
（細部は理解できていませんが）
まあ、来年の動きを、期待しながら、見ていきたいですね
あと、>>950
”そういう実在論が洗練され将来的に何らかの意味を持つ可能性は否定できないが、そういうことをせずに
圏論やZFCに基づいたABC予想の証明は十分可能だと思っている”
みたいなこと
歴史の示すところ
だいたい難解な理論は、時代が進むと分かり易く書き直されるもので
IUTもそうなると思っています。何年後か分からないが
983:１３２人目の素数さん
21/12/29 08:35:32.57 .net
>>924
∈-loopは、ZFC-AFA
(ZFCから基礎の公理を取り除いて代わりに別の公理AFAを入れた理論）
なら存在するけど
URLﾘﾝｸ(en.wikipedia.org)
>∈-loopが決して出てこないのは基礎の公理の帰結などではなく
いや、基礎の公理からだけど
「ZFCから基礎の公理を除いたもの」から∈-loopが出てこないなら
基礎の公理が証明できることになるけど、そんなことないから
984:１３２人目の素数さん
21/12/29 08:40:05.61 .net
>>934
>基礎の公理のせいでループは存在しないは妥当な主張
その通りです
つまり、zxGUrEYvは誤りで、l9sy/rblが正しい
985:１３２人目の素数さん
21/12/29 08:43:32.45 1zmj0/3Y.net
大人やなw
986:１３２人目の素数さん
21/12/29 08:47:25.01 .net
>>926
>「あまりにも大きすぎる不要のクラスを容認したから素朴集合論は矛盾した」
>という説明があり(コレはもちろんあってる)
正しくは、集合全体のクラスが集合だと矛盾する
別に「大きすぎるクラス」を集合として容認しても問題ない
無限公理然り、巨大基数公理また然り
>「基礎の公理であまりにも大きすぎるクラスは許されない」
>というのもあって(コレもあってる)
基礎の公理は、∈が整礎関係となってない集合を排除してるだけ
別に「集合全体のクラス」が集合でないことを排除する目的で
設定されたわけではない（結果としては排除できるけど）
987:１３２人目の素数さん
21/12/29 08:50:27.64 .net
>>936
>(分出公理)があるからloopが出なくなってる
ああ、それは誤りです
分出公理は集合全体のクラスが集合となることを防いでいるけど
別に∈に関して整礎でない集合の存在は防がないです
988:１３２人目の素数さん
21/12/29 08:52:03.64 BTt4Yy5S.net
>>944
>結局、断片的な記述を取り出してx∈xは無いけれど
>似た構造を作るという話が出てきただけで
>IUTの話への言及は>>923でおしまいね
ありがとう
望月氏は
・ZFCのx∈xみたいな話、IUTのIVでかなりのスペースを使って書いている
・その心は、”一種の「同義反復的解決」”>>923が、基礎の公理との関係でどうかを、自分なりに検証したのと、突っ込みに対する予防とじゃないかな
・専門的には、”基礎論分かってない”を認めるとしても、彼の言い分は
IUTの”一種の「同義反復的解決」”は、基礎の公理には反していない
ってことじゃないかな
彼の言い分が、正しいかどうかは知らないが
その判断のためには、”一種の「同義反復的解決」”が分からないと、どうにもならない
なので、彼は専門的には”基礎論分かってない”だけを突いても、単なるイチャモン以上ではない
だから、IUTと全く無関係ではなく
IUTを理解する一助にはなっているのでは
989:１３２人目の素数さん
21/12/29 08:54:19.36 .net
>>943
あなたがおっしゃる通り
基礎の公理はZFCの他の公理とは独立ですね
>>953で述べた通りです
つまり、Sg3rQlX1は誤りで、9HxcPjEwが正しい
990:１３２人目の素数さん
21/12/29 08:58:39.79 .net
>>958
>IUTの”一種の「同義反復的解決」”は、基礎の公理には反していない
そもそも、そんな”高尚？”なレベル以前の段階で、
IUT理論が他の数学者に理解されてないと思うが
991:１３２人目の素数さん
21/12/29 09:00:02.44 BTt4Yy5S.net
>>945
ありがとう
>でも中身のある話は誰も出来ないから
"誰も"が、数学的な”∀”の意味なら、反例があるかも
だが、自然言語の意味なら、そうかも
>過疎るでしょう？
”過疎”は、数学板全体がそうですね
だから、過疎るIUTスレが、勢いランキングで、上位に来るのです
(参考)
URLﾘﾝｸ(49.212.78.147)
数学 勢いランキング
順位 6H前比 スレッドタイトル レス数 勢い
1位 ↑1 Inter-universal geometry と ABC予想 (応援スレ) 62 952 46
2位 ↓-1 Inter-universal geometry と ABC予想 (応援スレ) 63 16 43
3位 = 面白い数学の問題おしえて～な 40問目 85 25
4位 = 分からない問題はここに書いてね 471 934 16
5位 ↑1 雑談はここに書け！【６１】 595 15
6位 ↑2 高校数学の質問スレ Part415 31 14
7位 = 数学を克服して自分がバカではないことを証明したいんだけど 221 13
8位 ↓-3 数値解析の問題を書き込むスレ 12 11
9位 = お前らの好きなパラドックスについて語ってけ 318 10
10位 = 素数の規則を見つけたい。。。 37 8
11位 = 偶奇によるフェルマーの最終定理の証明.6 942 8
992:１３２人目の素数さん
21/12/29 09:03:10.71 BTt4Yy5S.net
>>961
> 2位 ↓-1 Inter-universal geometry と ABC予想 (応援スレ) 63 16 43
ということで
次スレ 立てたよ
Inter-universal geometry と ABC予想 (応援スレ) 63
ｽﾚﾘﾝｸ(math板)
993:１３２人目の素数さん
21/12/29 09:05:56.22 .net
>>949
>少なくともこれまでの構造主義、ZFC主義とは一線を画するのは確か。
>だからこそ柏原らは専門的にはよくわからないながら
>ひとまず通したのだろうと(思う)
柏原がアクセプトを認めたのは
数学的な理由ではないんじゃない？
リジェクトしたらPRIMSの査読プロセスが問題になる
アクセプトして問題なかったと言い張れば誤魔化せる
そういう判断でしょう
実に近視眼的で軽率な判断だけどね
994:１３２人目の素数さん
21/12/29 09:26:43.08 .net
>>950
望月の方法論は（もし正しければ）、
ゲーデルのLによる選択公理と連続体仮説の相対無矛盾性証明
と同様の類だと思っている
望月の提唱する方法論が「ZFCと矛盾しない」であるならば
「ZFCにABC予想を公理として追加しても無矛盾」
ということかもしれないが、それは
「ZFCからABC予想が証明できる」
（＝ZFCにABC予想の否定を公理として追加すると矛盾する）
という意味ではない
（そもそもIUTが「ZFCと矛盾しない」かどうかが明らかでない
現段階では上記の見方すらただの憶測でしかないが）
995:１３２人目の素数さん
21/12/29 09:32:46.81 .net
>>952
>来年の動きを、期待しながら、見ていきたいですね
>>962
>次スレ 立てたよ
>>1のテンプレですが、「ようです」とかいう伝聞調の言い方や
「99％確定」とかいう1%の逃げ道を開ける言い回しはせずに
「来年2022年、望月新一はIMUと日本数学会から賞を受賞されます」
と予言して退路を断ちましょう
期限を切らずに、延々と「待て」といい続け
ゴールポストを動かし続けるのは駄目でしょう
期限は来年 ゴールポストには杭を打って固定してくださいね
996:１３２人目の素数さん
21/12/29 09:35:42.74 BTt4Yy5S.net
>>960
id無しのおサルさん>>6 かな
>>IUTの”一種の「同義反復的解決」”は、基礎の公理には反していない
>そもそも、そんな”高尚？”なレベル以前の段階で、
>IUT理論が他の数学者に理解されてないと思うが
いつも思うが、あんたの論は論理の筋がぐしゃぐしゃで
「数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ」>>6
という思想以外に、何も語っていないよね、IUTについて
”IUT理論が他の数学者に理解されてない”理由は、
一般論としては、いくつか考えられるが
代表例としては
a)理論が、トンデモな場合
b)理論が、斬新で難解な場合
おサルさんは、a)とb)の二つの場合分けを、
詭弁でa)に誘導しているよね
『IUTの”一種の「同義反復的解決」”は、基礎の公理には反していない』とは、正確には、望月氏は書いていないけれど
いろいろ総合すると、そうだろうと個人的には思っている
で、基礎の公理の話は、IUT IVの付録に望月氏自身が書いていて、
IUT理論そのものではないが、IUTの理解を助けるためと思われる
だから、「そんな”高尚？”なレベル以前の段階で、IUT理論が他の数学者に理解されてない」という主張は
完全に、上記a)への誤解を誘導するように、論理が飛躍していると思うな
分かってやっているのか、
そういう頭のレベルなのかが分からないがｗ
997:１３２人目の素数さん
21/12/29 09:42:11.33 .net
>>966
あなたがID無のわたしにレスポンスするとはめずらしい
>いつも思うが、あんたの論は論理の筋がぐしゃぐしゃで
あなたに思考力がないんでしょう
>”理論が他の数学者に理解されてない”理由は、
>一般論としては、いくつか考えられるが
>代表例としては
>a)理論が、トンデモな場合
>b)理論が、斬新で難解な場合
>あなたは、a)とb)の二つの場合分けを、
>詭弁でa)に誘導しているよね
いいや
2012年の発表以来、来年で10年経つが、その間
一向に他の数学者に理解され受容された形跡がない
そのような状況からａ）だと考えている
あなたは数学とは無関係の愛国自慢的動機から
「ｂ）であってくれ！」と思い続けてるようですが
正直狂っているといわざるを得ない
愛国が他国の蔑視や排斥を意図しているなら
それは不健全で破滅的な思想である
998:１３２人目の素数さん
21/12/29 09:44:21.77 .net
>>966
>『”一種の「同義反復的解決」”は、基礎の公理には反していない』とは、
>正確には、望月氏は書いていないけれど
>いろいろ総合すると、そうだろうと個人的には思っている
そもそも「同義反復的解決」が何なのか理解してない素人が
何を言っても無駄だし無意味だと、私は思う
999:１３２人目の素数さん
21/12/29 09:46:11.09 .net
>>966
>基礎の公理の話は、IUT IVの付録に望月氏自身が書いていて、
>IUT理論そのものではないが、IUTの理解を助けるためと思われる
望月氏の意図はともかく、ショルツに指摘されてる問題点は
そんなところ以前だってことはお分かり？
わかってないなら、IUTについて語っても無駄だから諦めたほうがいい
1000:１３２人目の素数さん
21/12/29 09:49:28.11 .net
>だから、
だからの前後がつながらない
>「そんな”高尚？”なレベル以前の段階で、IUT理論が他の数学者に理解されてない」
>という主張は、完全に、上記a)への誤解を誘導するように、論理が飛躍していると思うな
飛躍しているのはあなたの思考
あなたの「と思う」はあなたの願望によるもの
そしてあなたの願望とは
「我が祖国ニッポンは世界最高！！！」
という夜郎自大的な妄想の正当化
あなたが自己中心的パーソナリティ障害であることは
1001:あなたの言動から明らかだと思う
1002:１３２人目の素数さん
21/12/29 09:50:26.97 BTt4Yy5S.net
>>963
>柏原がアクセプトを認めたのは
>数学的な理由ではないんじゃない？
>リジェクトしたらPRIMSの査読プロセスが問題になる
>アクセプトして問題なかったと言い張れば誤魔化せる
全くロジックが倒錯している
というか、詭弁そのもの
・あれだけ、世間を騒がせ、2018年のSS文書で世間から注目された
半分疑惑・疑問視されていたIUT論文を、追加査読で2020年4月に
記者会見をして、大々的に「追加査読も完了した」と発表したのです
・もし、IUT論文が後に大きな瑕疵が判明して、ドボンになったら？
当然、アクセプトの方がリスク大
・そして、数学の論文は、
”ごまかせる”余地が少ない（殆ど無い）
・だから、柏原氏も生半可な気持ちで、査読の編集会議の長になったわけじゃないだろうし
”査読OK”の記者会見は、相当な覚悟で臨んだに違いない
これが、普通の見方でしょ（なんで柏原氏が、記者会見で「ウソやゴマカシ」を言わなきゃいかんの？）
なんか、詭弁と誤解と倒錯のオンパレードじゃん
1003:１３２人目の素数さん
21/12/29 09:52:29.64 .net
率直にいって理解できない考えを
「自分の国（あるいは民族）の人が考えた」
というだけで有難がるのは無意味
1004:１３２人目の素数さん
21/12/29 09:56:14.72 .net
>>971
>全くロジックが倒錯している というか、詭弁そのもの
それはあなたです
1005:１３２人目の素数さん
21/12/29 09:57:57.61 .net
>>971
>・あれだけ、世間を騒がせ、
> 2018年のSS文書で世間から注目された
> 半分疑惑・疑問視されていたIUT論文を、
> 追加査読で2020年4月に記者会見をして、
> 大々的に「追加査読も完了した」と発表したのです
「半分」は要りません
「疑惑・疑問視されていた」で十分です
記者会見は全く要らないですね
疑惑を払拭したいなら、説明すればいいことです
著者が一番ですが、査読者が実施してもかまいませんよ できるものならね
記者会見なんか開いても、疑惑は払拭できませんから
1006:１３２人目の素数さん
21/12/29 10:01:45.35 oxEvDgpR.net
お前ら年末年始もこのスレで過ごす気なのか～
1007:１３２人目の素数さん
21/12/29 10:02:42.84 .net
>>971
>・もし、IUT論文が後に大きな瑕疵が判明して、ドボンになったら？
> 当然、アクセプトの方がリスク大
そういうリスクはいかなる論文でもあり得ます
もしリスクを小さくしたいのなら、
誰もまともに内容が説明できないあの段階で
アクセプトするべきではなかったのではないですか？
記者会見が誰に対してのものかは存じません
日本の文部科学省でしょうかね
1008:１３２人目の素数さん
21/12/29 10:04:44.26 .net
>>971
>・そして、数学の論文は、
> ”ごまかせる”余地が少ない（殆ど無い）
もし、PRIMS以外の雑誌だったら、リジェクトされたでしょうね
肝心なところが全く定義されていないのでは数学的に無意味ですから
1009:１３２人目の素数さん
21/12/29 10:10:02.00 .net
>>971
>・だから、柏原氏も生半可な気持ちで、
> 査読の編集会議の長になったわけじゃないだろうし
> ”査読OK”の記者会見は、相当な覚悟で臨んだに違いない
柏原氏は、望月新一氏の論文を理解してないでしょう
「アクセプト」は政治的判断ですね
今ここでリジェクトしたら、今までまともに論文査読してなかった
と白状するようなものですからね
次世代幾何学センターはつぶされるでしょう
とはいえ、ここでアクセプトしたところで、
やっぱりダメなものはダメなので
ちょっとだけ延命したようなもんですね
率直に言って次世代幾何学センターはもう終わりだと思いますよ
少なくとも今年IMUから賞が出ないんじゃダメでしょう
日本数学会が独自に賞を出すことは100%あり得ませんね
ということで、まあ来年にはなくなるでしょう 御愁傷様です
1010:１３２人目の素数さん
21/12/29 10:12:45.52 .net
>>971
>これが、普通の見方でしょ
>（なんで柏原氏が、記者会見で「ウソやゴマカシ」を言わなきゃいかんの？）
RIMSと次世代幾何学センターを守りたかったんでしょう
理研の幹部が、STAP細胞の件でとった行動と同じですよ
真理より組織と自分の身が大事なんでしょう
同情はされるでしょうが、尊敬はされませんね
1011:１３２人目の素数さん
21/12/29 10:14:20.77 .net
>>975
>お前ら年末年始もこのスレで過ごす気なのか～
あなたは数学の勉強頑張ってくださいね
1012:１３２人目の素数さん
21/12/29 10:22:49.03 .net
煽りにレスするのは馬鹿馬鹿しいですが
ｽﾚﾘﾝｸ(math板:15番)
>極左アナーキストの時点で知的変質者なわけだから
なぜ？
ところで数学者は知的変質者でしょうか？
私の知り合いが「アスペルガーは社会人として使えない」というのですが
その「アスペルガー」のどの特徴も数学科の学生に見られるものだったので
私はこういいました
「そんなの数学科ではざらにいるよ
彼らは社会人になろうなんてさらさら思ってないから」
多分、彼はこう思ったでしょう
「なんだおまえもアスペだったか」
>学生時代に女にもてなかったから鬱屈したんだろう
女にもてることが第一、と思う人は数学板に来る意味ないですね
数学やっても女にもてませんから・・・多分
1013:１３２人目の素数さん
21/12/29 10:35:24.47 XlHtlQsH.net
このスレで暴れている人は
・非線形非平衡統計物理の未科学問題(当時)を
古典熱力学と矛盾する「ニセ科学」だと主張し
雑誌パリティ編集長大槻義彦氏を巻き込もうとする
も失敗、2017年に解明論文が出て以降ダンマリ
・CERNプロジェクトリーダーが311福一原発事故の
放射線被害論文でデータ無断使用とデータ捏造問題
を起こすと擁護を試み、
英語論文誌の論文撤回手続きに関し虚言を弄し
・上記問題に対し一貫した指摘を行なっている
ゴードン・ベル賞7回受賞の物理学者に対しても
「脱原発派の指摘はバイアスが掛かっているから
一切信用できない」という印象操作発言をして
その長年にわたる「ニセ科学批判」が科学ではなく世論扇動活動に過ぎなかった事を露呈してしまった
「己には学問的成果が無いので
大物への批判と擁護を通じて
己が大物であるかのように振る舞う」
小物に過ぎない
小物の虚勢連投は一切お気になさらぬよう
1014:１３２人目の素数さん
21/12/29 10:40:12.23 .net
>>982
>・非線形非平衡統計物理の未科学問題(当時)を
> 古典熱力学と矛盾する「ニセ科学」だと主張し
> 雑誌パリティ編集長大槻義彦氏を巻き込もうとするも失敗、
> 2017年に解明論文が出て以降ダンマリ
そんなことがあったのですか？
ところで「未科学問題」とは具体的に何ですか？
1015:１３２人目の素数さん
21/12/29 10:42:51.92 .net
>>982
>・CERNプロジェクトリーダーが
> 311福一原発事故の放射線被害論文で
> データ無断使用とデータ捏造問題を起こすと擁護を試み、
> 英語論文誌の論文撤回手続きに関し虚言を弄す
そんなことがあったのですか？
放射線被害に関する論文だからといって不正行為は容認できませんね
それとこれとは話が別ですから
1016:１３２人目の素数さん
21/12/29 10:47:02.26 .net
>・上記問題に対し一貫した指摘を行なっている
> ゴードン・ベル賞7回受賞の物理学者に対しても
> 「脱原発派の指摘はバイアスが掛かっているから一切信用できない」
> という印象操作発言をして その長年にわたる「ニセ科学批判」が
> 科学ではなく世論扇動活動に過ぎなかった事を露呈してしまった
ゴードン・ベル賞7回受賞の物理学者って誰ですか？
あと、あなたが非難している人は、原発推進派なんですか？
つまり>>984で擁護しようとしている人の論文は
放射線被害は小さいという内容なんでしょうか？
別に内容と不正の有無は独立の問題ですが、
気になったので教えていただけますが
その際、人名は必ず記載願います
真偽を確認できない内容は科学的に無意味だということは
科学者なら皆承知しているでしょう
1017:１３２人目の素数さん
21/12/29 10:48:59.23 .net
>「己には学問的成果が無いので
> 大物への批判と擁護を通じて
> 己が大物であるかのように振る舞う」
ここの>>1のことでしょうかね？
望月新一氏には追従し、時枝正氏は非難する
どっちにしても自分がまるで神の如き物言い
実に幼稚な人格の持ち主であることは
皆さんよくご承知のことでしょう
1018:１３２人目の素数さん
21/12/29 10:53:13.83 .net
>>982
>小物に過ぎない
>小物の虚勢連投は一切お気になさらぬよう
ここにはあなたが愛する「敵」はいませんよ
もちろん私はあなたの「敵」ではありません
天羽優子なる人物は知らないし興味もありません
1019:１３２人目の素数さん
21/12/29 11:18:53.67 m+OcAqb/.net
>>971
IUT派は負けそう
1020:１３２人目の素数さん
21/12/29 11:19:58.71 BTt4Yy5S.net
>>952 補足
思うに、>>946-951のような視点は大事だと思う
厳密で無くとも、分かり易く説得力のある、一般プロ数学者向けの
説明が提供されていないかった。今までは
どちらかというと、遠アーベル専門家向けで、「IUT元論文を読め」で押し通してきた
これからは、広くプロ数学界が受け入れるような、厳密で無くとも分かり易く説得力のある説明がいる
そうしないと、Buzzardの原稿>>717の”This proof has now been published in a serious research journal, however
it is clear that it is not accepted by the mathematical community in general.”
の状態が改善されない
1021:１３２人目の素数さん
21/12/29 11:22:34.75 BTt4Yy5S.net
>>988
＞IUT派は負けそう
そうでもないと思う
少なくとも、日本国内の数学界は、IUT派増えてきて、優勢では？
世界的には、これからとしても
1022:１３２人目の素数さん
21/12/29 11:31:01.79 BTt4Yy5S.net
>>978
>「アクセプト」は政治的判断ですね
>今ここでリジェクトしたら、今までまともに論文査読してなかった
>と白状するようなものですからね
全然ロジック繋がってないぞ
だめならRIMSは
「最終結論は、リジェクト
理由は、かくかくしかじか
望月氏には、リジェクト理由を伝えて、改善するよう言った
彼は、さらにIUTの完成を目指して研究すると言った
あと何年かかかるだろうが、しばしお待ちあれ」
と発表すれば良いだけのことよ
それで、何の不都合もない
リジェクトに、正当な理由があれば、上記で無問題
1023:１３２人目の素数さん
21/12/29 11:38:14.81 XlHtlQsH.net
このスレで暴れている人は
■非線形非平衡統計物理の未科学問題(当時)
URLﾘﾝｸ(en.wikipedia.org)
を古典熱力学と矛盾する「ニセ科学」だと主張し
雑誌パリティ編集長大槻義彦氏 URLﾘﾝｸ(ja.wikipedia.org)
を巻き込もうとするも失敗、
2020年に解明論文が出て以降ダンマリ
Kumar, A., Bechhoefer, J. Exponentially faster cooling in a colloidal system. Nature 584, 64–68 (2020). URLﾘﾝｸ(doi.org) URLﾘﾝｸ(arxiv.org)
■CERN反物質実験プロジェクトリーダー URLﾘﾝｸ(ja.wikipedia.org)
が311福一原発事故の放射線被害論文で
データ無断使用とデータ捏造問題を起こすと
擁護を試み、
英語論文誌の論文撤回手続きに関し虚言を弄し
■上記問題に対し一貫した指摘を行なっている
ゴードン・ベル賞7回受賞の物理学者 URLﾘﾝｸ(ja.wikipedia.org)
に対しても
「脱原発派の指摘はバイアスが掛かっているから
一切信用できない」という印象操作発言をして URLﾘﾝｸ(twitter.com)
その長年にわたる「ニセ科学批判」が科学ではなく世論扇動活動に過ぎなかった事を露呈してしまった
「己には学問的成果が無いので
大物への批判と擁護を通じて
己が大物であるかのように振る舞う」
小物に過ぎない URLﾘﾝｸ(ja.wikipedia.org)
小物の虚勢連投は一切お気になさらぬよう
(deleted an unsolicited ad)
1024:１３２人目の素数さん
21/12/29 11:39:28.34 lfES2Ayi.net
【NGWord推奨(正規表現)】
kakyoukyoutiba|day1-post-meridiem|cml-office|IerWI2I7OREJ|1212628738|1503813609
1025:１３２人目の素数さん
21/12/29 11:39:48.11 +iRlBIw7.net
>>671
あグロ
1026:１３２人目の素数さん
21/12/29 11:39:55.01 +iRlBIw7.net
>>827
あグロ
1027:１３２人目の素数さん
21/12/29 11:40:03.56 +iRlBIw7.net
>>902
あグロ
1028:１３２人目の素数さん
21/12/29 11:40:26.13 +iRlBIw7.net
あ埋め
1029:１３２人目の素数さん
21/12/29 11:40:32.13 +iRlBIw7.net
お埋め
1030:１３２人目の素数さん
21/12/29 11:42:54.61 On5h4fUa.net
おグロ
1031:１３２人目の素数さん
21/12/29 11:43:07.64 On5h4fUa.net
a_watcherの敗北を確認
1032:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 20日 23時間 16分 58秒
1033:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています