Inter-universal geometry と ABC予想 (応援スレ) 62
レス数が1000を超えています。これ以上書き込みはできません。
（前“応援”スレが、1000又は1000近くになったので、新スレ立てる）
前スレ： Inter-universal geometry と ABC予想 (応援スレ) 61
https://rio2016.5ch.net/test/read.cgi/math/1636122558/
詳しいテンプレは、下記旧スレへのリンク先ご参照
（手抜きです。）
Inter-universal geometry と ABC予想 (応援スレ) 52
https://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13
（参考）
https://twitter.com/math_jin
math_jin 出版序文リンク Andrew Putman 2021年3月6日
https://drive.google.com/file/d/1n1XMCNyQxswQGrxPIZnCCMx6wJka0ybh/view
望月Inter-universal Teichmuller theory (abbreviated as IUT) （下記）は、新しい局面に入りました。
査読が終り出版されました。また、“Explicit”版が公開され、査読は完了したようです。
IUTの4回の国際会議は無事終わり、Atsushi Shiho (Univ. Tokyo, Japan)先生が、参加したようです。
IUTが正しいことは、99％確定です。
このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。
（なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです！（＾＾；）
つづく
https://twitter.com/5chan_nel (5ch newer account) 浪人でID非表示にしてる奴は
一匹なのか一匹と1人なのか
上記失言への同意で一匹は落ちこぼれと判明済み >>898
落ちこぼれの妄言はスレタイと関係ないよな
学部数学の禅問答はホムペでやればいいのに ・公開顔写真への過剰反応癖
・「ラマン散乱は化学」という特殊な認識
・誰も知らない架空の敵を作り上げて戦う癖
身元がバレているね >>900-902
数学の分からんど素人のあなた方が
心の底から愛してやまない
天羽優子とかいう「おばさん」ではないよ もう1つあった
・スレが禅問答の押し問答状態で客観的に機能していないのに、やたらスレを乱立させスレへの書き込みに神経を尖らす
こいつ自身が癌なのに、他人の書き込みにやたら神経質になって他スレへ誘導したがるのは、こいつ独特の特徴 >>886
>なお、∈の「ループ」については、望月氏の和文のIUT入門講義資料の中で言及していて
>”∈の「ループ」そのものではないが、∈の「ループ」類似を考える”みたいな記述があったよ
>（後で探してみる）
>だから、「”∈の「ループ」そのもの”は、基礎の公理に反す」までは、望月氏は自覚あるよ
「”∈の「ループ」そのもの”は、基礎の公理に反す」は、下記のIUT IVでした（和文ではなかった）
関連箇所を引用しておくよ
https://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf
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.
つづく 本日の山形基地外おばさん発狂スレ
Inter-universal geometry と ABC予想 (応援スレ) 62
https://rio2016.5ch.net/test/read.cgi/math/1638933969/
904 名前:１３２人目の素数さん [sage] :2021/12/28(火) 20:54:17.55
>>900-902
数学の分からんど素人のあなた方が
心の底から愛してやまない
天羽優子とかいう「おばさん」ではないよ >>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.
以上 そこで言うルーブは頭と尻尾が繋がった無限ループの事だろうな >>906
>「”∈の「ループ」そのもの”は、基礎の公理に反す」
IUTと無関係に成り立つけど？ >>909
数学を全く知らない熟女マニアは黙ってね >>911
あんたさっきから過剰に落ちこぼれ教員にこだわってるな
普通はそんなゴミクズの性別や年齢は誰も気にしないぞ
頭がバカなのに英語長文コピーして何かやってるふりをして大変な落ちこぼれだな >>906>>908
そこで言うループは頭と尻尾が繋がった無限ループの事だろうな
それがどうした >>912
いや、数学と無関係なおばさんの話に興味ないだけ >>914
誰も興味のないゴミクズの話をいちいち持ち出すな知恵遅れ なんでセタはこのレベルの数学力しかないのに自分が望月論文読めると思ってんの？ >>915
Are You a schizophrenia? 専攻学位論文すら満足に出せなかった落ちこぼれだから、ゴードンベル賞7回受賞者に長期間絡んだり
CERNプロジェクトリーダーのデータ捏造論文を虚言で擁護して
己を大きく見せたいみたいね >>917
お前のメンタルヘルスに関する自己投影はお前のホームページでヤレ https://cml-office.org
こんだけ道具立てしても正体がバレるとグズグズになるなこのゴミクズ 英語読めずに恥かきまくりの落ちこぼれが
英文コピペをして英語使えるアピールをする
幼稚なスレ
こいつ毎回それやっては英語読めていない事がバレて恥をかくんだよな キチガイおばさんとお互いの性器を気が狂いそうになるくらい舐め合いたい >>921
お前のセルフプレジャーに関する書き込みはお前のホームページでヤレ https://cml-office.org
正体がバレるとグズグズになるなこのゴミクズ >>906
>∈の「ループ」類似を考える
ここ多分
下記の”一種の「同義反復的解決」”に繋がる話だろうと思う
https://www.kurims.kyoto-u.ac.jp/~motizuki/travel-japanese.html
望月 出張・講演
https://www.kurims.kyoto-u.ac.jp/~motizuki/Uchuusai%20Taihimyuuraa%20riron%20he%20no%20izanai%20(kakudaiban).pdf
[13] 宇宙際タイヒミューラー理論への誘（いざな）い 《拡大版》 （東京大学 2013年06月） PDF
P4
もちろん、そのような数体の自己同型は実際には存在しない!!
しかし左辺の「{q^j^2}」と右辺の「g」を、それぞれ別々の
「(通常型の)環・スキーム論」=「数論的正則構造」に所属するものと見做し、
所望の対応=「HA 理論をディオファントス幾何に応用する上での障害」
に対する一種の「同義反復的解決」 >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予想解決より重大な結果と言えるでしょう！） どういう意味で「出て来る」と言ってるのかなかなか気になる
ZFにループの存在公理を付け加えた物が矛盾すると言いたいのだろうか そうなのよね
それすごい誤解してる人多い
基礎の公理があるから理論が安全になるのではなく、むしろ公理が増えると理論の無矛盾性は危うくなる
コレは集合論の入門書に
「あまりにも大きすぎる不要のクラスを容認したから素朴集合論は矛盾した」
という説明があり(コレはもちろんあってる)
加えて
「基礎の公理であまりにも大きすぎるクラスは許されない」
というのもあって(コレもあってる)
しかしそこから
「あぁ、基礎の公理があるおかげで矛盾が回避されてるんだ」
という誤解が罷り通ってる 「公理があるお陰で矛盾が回避されることはない」ってのはその通りだけど、
今回のは「公理があるせいで矛盾する」だから全く逆じゃねーか？ さぁ？
オレは望月論文1ミリも読んでないから知らん
オレが言ってるのは「基礎の公理のお陰で公理的集合論は矛盾を回避してる」という誤解してる奴が多いという話 >>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"なので（ただし存在するともしないとも言えない）、
それが基礎の公理の帰結というのは誤解だと言いたかったのです >>928
オレが言ってるのは「それ今回の件にあんま関係無くね」だな >>929
どちらとも言えないではなくnever occurだ、と言ってる風にしか読めないけど >>930
だが>>924さんの話はその誤解は今回の件にも関連してるという話ちゃうの？ >>932
オレ今来たところだから何がスレの議題かは知らんよ
でも基礎の公理のせいでループは存在しないは妥当な主張に思うよ
（もし基礎の公理が無くとも不在が示せると言うならその限りではないが） バカなのに難しいこと考えるから成績F取ったり頭おかしくなったりしたのかな？ザリガニ君は。 >>934
ループっx∈xを満たすクラスのことね
だからそれが誤解なんだって
x∈xが存在しないのは>>924さんの言ってる通りそういうのが出てこないように別の公理をうまく設定してるから
具体的には素朴集合論で
“任意の命題φ”に対し∃y ∀zy φ(z)⇔z∈y
としてる部分をZFなら分出公理
“任意の命題φ”に対し∀x∃y∀z∈y φ(z)⇔z∈y
に変更した事、この部分があるからloopが出なくなってる
もちろんこれだけの変更で“絶対出てこない”ことは証明されたわけではない(ハズ)しもし出て来ればこの変更は不十分でZFは矛盾した理論となってしまうけどな
ともかく“基礎の公理”があるおかげで“素朴集合論”に出てくるタイプの矛盾が抑えられてるわけではない
基礎の公理があるのはこの制限のお陰で色々証明ができなくなってしまってるのを補うためにつけてるんだよ
もちろん無矛盾性を担保するためには無い方がいいに決まってるんだが、ないと色々証明できなくてしょうがないから泣く泣くつけてるんだよ
これがあってもzfcが矛盾しないと今思われてるのは他の公理のお陰 >>936
色々あるがとりあえずそれは置いておくとして、
「もし出て来ればこの変更は不十分でZFは矛盾した理論となってしまう」というのは、ZFの基礎の公理をループの存在公理に置き換えた物は矛盾する、という意味で構わない？ いや、基礎の公理でx∉xが示せるのは当たり前だろ
ただ、そこから更にx∊xまで示しちゃわないか、つまり矛盾するかしないかはZF次第ってだけの話やろ
そんなことよりIUTの話をしれよ あ〜、まあ「ループが存在しない」が２通りに解釈できるんかな
１．x∉xが示せる
２．x∊xが示せない
１．の意味なら基礎の公理のおかげと言っていい
２．の意味なら、基礎の公理を付け足しても２．が実現できるわけはない >>936
>もちろんこれだけの変更で“絶対出てこない”ことは証明されたわけではない(ハズ)しもし出て来ればこの変更は不十分でZFは矛盾した理論となってしまうけどな
>ともかく“基礎の公理”があるおかげで“素朴集合論”に出てくるタイプの矛盾が抑えられてるわけではない
知らんけど証明されてないなら抑えられてるんじゃないの？知らんけど つまり基礎の公理はZFのその他の公理と独立でないと予想されているが未解決ってことでいいのかな？ え、独立じゃなかった？
ZFC内で、ZFCのモデルの存在を仮定すれば、AZFとか基礎の公理成り立たないシステムのモデル作れなかったっけ？ 結局、断片的な記述を取り出してx∈xは無いけれど
似た構造を作るという話が出てきただけで
IUTの話への言及は>>923でおしまいね
IUTほとんど関係ない話で何十レスも消費するスレと言われているのも然りだ でも中身のある話は誰も出来ないから
過疎るでしょう？ >>908
群論的ソフトウェアに基づく種ならできると、少なくとも本人は主張しているわけだ
ちょっとオブジェクト指向に影響受けてそうな気がする 要は抽象化された基礎圏の設定で、その上の対象を規則情報を通じて結びつければ、こうした集合論的な制約を
超えられるという思想だよね
「圏とアルゴリズムまたはプログラム」を使えばZFCの実在論にオルタナティブを作れると
数学的にIUTが正しいか否かはさておき、実在論としては一つの考えじゃないかな 群には非線形な演算があるので、これで環論として同型でない宇宙とかエイリアンが色々考えられて、
それは基礎圏の同型な素材から構成できるのだと主張している
要点は、望月はショルツやロバーツとは違い、圏論的な問題だけを考えているわけではないこと
もっと別の情報的な文脈からディフェンスしているよね 図式的には勿論通常の代数幾何学ではなくて
NF一点抜き楕円曲線の非正則（非スキーム論的）ガロア圏→非正則環構造（宇宙）・加群のアルゴリズム的な
変形射と格子
IUTのアラケロフ因子＝格子のテータ因子
重要なのは望月はともかく加藤などもまだ十分に思想としてのIUTのこういう超ZFC論的な側面を理解しきれて
いなかったことだろうね。ひとまずショルツらとはパラダイムが違うのだ、というレベルで濁してきた
しかし、少なくともこれまでの構造主義、ZFC主義とは一線を画するのは確か。だからこそ柏原らは
専門的にはよくわからないながらひとまず通したのだろうと
勿論、あれだけ論文や弁護を通じて尽くしても10年コミュニティに受容されないならば圧倒的に不利だけどね 連投は悪しからずで遊びの話なので、個人的な考えだけ述べておくと
そういう実在論が洗練され将来的に何らかの意味を持つ可能性は否定できないが、そういうことをせずに
圏論やZFCに基づいたABC予想の証明は十分可能だと思っている
ただし「圏の幾何」という書き方は誤解を招くから如何なものかとは思う
確かにIUTのテータ因子なるものはフロベニオイドとかガロア圏とかそういうもので構成されてはいるが
今の数学から見れば特殊な実在論に言及していることを無視するわけにはいかないだろう 一つだけ雑感を追加しておくと、IUTの何が「望月にとって」ホッジ理論的なのか、という心理的推察は
有意義だと思われる。いくつか理由が考えられるが、ヒントしか書かない
そもそもホッジ理論は、言うまでもなくコホモロジーの理論である
コホモロジー論的な考えや構造は、IUTではかなり変わった形になっておりそのままでは存在しない
またlog-shellやtensor-packetのような変わった表現は、定義は勿論何故そう呼ばれるのかということだ
また、IUTらしさとは不定性の存在である。何故ならば不定性は大域理論らしさの反映だからである
※ちなみに数論的な大域ホッジ理論は既成の数学では未解決である >>946-951
ありがとう
スレ主です
>重要なのは望月はともかく加藤などもまだ十分に思想としてのIUTのこういう超ZFC論的な側面を理解しきれて
>いなかったことだろうね。ひとまずショルツらとはパラダイムが違うのだ、というレベルで濁してきた
>しかし、少なくともこれまでの構造主義、ZFC主義とは一線を画するのは確か。だからこそ柏原らは
>専門的にはよくわからないながらひとまず通したのだろうと
>勿論、あれだけ論文や弁護を通じて尽くしても10年コミュニティに受容されないならば圧倒的に不利だけどね
へー
（細部は理解できていませんが）
まあ、来年の動きを、期待しながら、見ていきたいですね
あと、>>950
”そういう実在論が洗練され将来的に何らかの意味を持つ可能性は否定できないが、そういうことをせずに
圏論やZFCに基づいたABC予想の証明は十分可能だと思っている”
みたいなこと
歴史の示すところ
だいたい難解な理論は、時代が進むと分かり易く書き直されるもので
IUTもそうなると思っています。何年後か分からないが >>924
∈-loopは、ZFC-AFA
(ZFCから基礎の公理を取り除いて代わりに別の公理AFAを入れた理論）
なら存在するけど
https://en.wikipedia.org/wiki/Non-well-founded_set_theory
>∈-loopが決して出てこないのは基礎の公理の帰結などではなく
いや、基礎の公理からだけど
「ZFCから基礎の公理を除いたもの」から∈-loopが出てこないなら
基礎の公理が証明できることになるけど、そんなことないから >>934
>基礎の公理のせいでループは存在しないは妥当な主張
その通りです
つまり、zxGUrEYvは誤りで、l9sy/rblが正しい >>926
>「あまりにも大きすぎる不要のクラスを容認したから素朴集合論は矛盾した」
>という説明があり(コレはもちろんあってる)
正しくは、集合全体のクラスが集合だと矛盾する
別に「大きすぎるクラス」を集合として容認しても問題ない
無限公理然り、巨大基数公理また然り
>「基礎の公理であまりにも大きすぎるクラスは許されない」
>というのもあって(コレもあってる)
基礎の公理は、∈が整礎関係となってない集合を排除してるだけ
別に「集合全体のクラス」が集合でないことを排除する目的で
設定されたわけではない（結果としては排除できるけど） >>936
>(分出公理)があるからloopが出なくなってる
ああ、それは誤りです
分出公理は集合全体のクラスが集合となることを防いでいるけど
別に∈に関して整礎でない集合の存在は防がないです >>944
>結局、断片的な記述を取り出してx∈xは無いけれど
>似た構造を作るという話が出てきただけで
>IUTの話への言及は>>923でおしまいね
ありがとう
望月氏は
・ZFCのx∈xみたいな話、IUTのIVでかなりのスペースを使って書いている
・その心は、”一種の「同義反復的解決」”>>923が、基礎の公理との関係でどうかを、自分なりに検証したのと、突っ込みに対する予防とじゃないかな
・専門的には、”基礎論分かってない”を認めるとしても、彼の言い分は
IUTの”一種の「同義反復的解決」”は、基礎の公理には反していない
ってことじゃないかな
彼の言い分が、正しいかどうかは知らないが
その判断のためには、”一種の「同義反復的解決」”が分からないと、どうにもならない
なので、彼は専門的には”基礎論分かってない”だけを突いても、単なるイチャモン以上ではない
だから、IUTと全く無関係ではなく
IUTを理解する一助にはなっているのでは >>943
あなたがおっしゃる通り
基礎の公理はZFCの他の公理とは独立ですね
>>953で述べた通りです
つまり、Sg3rQlX1は誤りで、9HxcPjEwが正しい >>958
>IUTの”一種の「同義反復的解決」”は、基礎の公理には反していない
そもそも、そんな”高尚？”なレベル以前の段階で、
IUT理論が他の数学者に理解されてないと思うが >>945
ありがとう
>でも中身のある話は誰も出来ないから
"誰も"が、数学的な”∀”の意味なら、反例があるかも
だが、自然言語の意味なら、そうかも
>過疎るでしょう？
”過疎”は、数学板全体がそうですね
だから、過疎るIUTスレが、勢いランキングで、上位に来るのです
(参考)
http://49.212.78.147/index.html?board=math
数学 勢いランキング
順位 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 >>961
> 2位 ↓-1 Inter-universal geometry と ABC予想 (応援スレ) 63 16 43
ということで
次スレ 立てたよ
Inter-universal geometry と ABC予想 (応援スレ) 63
https://rio2016.5ch.net/test/read.cgi/math/1640701686/ >>949
>少なくともこれまでの構造主義、ZFC主義とは一線を画するのは確か。
>だからこそ柏原らは専門的にはよくわからないながら
>ひとまず通したのだろうと(思う)
柏原がアクセプトを認めたのは
数学的な理由ではないんじゃない？
リジェクトしたらPRIMSの査読プロセスが問題になる
アクセプトして問題なかったと言い張れば誤魔化せる
そういう判断でしょう
実に近視眼的で軽率な判断だけどね >>950
望月の方法論は（もし正しければ）、
ゲーデルのLによる選択公理と連続体仮説の相対無矛盾性証明
と同様の類だと思っている
望月の提唱する方法論が「ZFCと矛盾しない」であるならば
「ZFCにABC予想を公理として追加しても無矛盾」
ということかもしれないが、それは
「ZFCからABC予想が証明できる」
（＝ZFCにABC予想の否定を公理として追加すると矛盾する）
という意味ではない
（そもそもIUTが「ZFCと矛盾しない」かどうかが明らかでない
現段階では上記の見方すらただの憶測でしかないが） >>952
>来年の動きを、期待しながら、見ていきたいですね
>>962
>次スレ 立てたよ
>>1のテンプレですが、「ようです」とかいう伝聞調の言い方や
「99％確定」とかいう1%の逃げ道を開ける言い回しはせずに
「来年2022年、望月新一はIMUと日本数学会から賞を受賞されます」
と予言して退路を断ちましょう
期限を切らずに、延々と「待て」といい続け
ゴールポストを動かし続けるのは駄目でしょう
期限は来年 ゴールポストには杭を打って固定してくださいね >>960
id無しのおサルさん>>6 かな
>>IUTの”一種の「同義反復的解決」”は、基礎の公理には反していない
>そもそも、そんな”高尚？”なレベル以前の段階で、
>IUT理論が他の数学者に理解されてないと思うが
いつも思うが、あんたの論は論理の筋がぐしゃぐしゃで
「数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ」>>6
という思想以外に、何も語っていないよね、IUTについて
”IUT理論が他の数学者に理解されてない”理由は、
一般論としては、いくつか考えられるが
代表例としては
a)理論が、トンデモな場合
b)理論が、斬新で難解な場合
おサルさんは、a)とb)の二つの場合分けを、
詭弁でa)に誘導しているよね
『IUTの”一種の「同義反復的解決」”は、基礎の公理には反していない』とは、正確には、望月氏は書いていないけれど
いろいろ総合すると、そうだろうと個人的には思っている
で、基礎の公理の話は、IUT IVの付録に望月氏自身が書いていて、
IUT理論そのものではないが、IUTの理解を助けるためと思われる
だから、「そんな”高尚？”なレベル以前の段階で、IUT理論が他の数学者に理解されてない」という主張は
完全に、上記a)への誤解を誘導するように、論理が飛躍していると思うな
分かってやっているのか、
そういう頭のレベルなのかが分からないがｗ >>966
あなたがID無のわたしにレスポンスするとはめずらしい
>いつも思うが、あんたの論は論理の筋がぐしゃぐしゃで
あなたに思考力がないんでしょう
>”理論が他の数学者に理解されてない”理由は、
>一般論としては、いくつか考えられるが
>代表例としては
>a)理論が、トンデモな場合
>b)理論が、斬新で難解な場合
>あなたは、a)とb)の二つの場合分けを、
>詭弁でa)に誘導しているよね
いいや
2012年の発表以来、来年で10年経つが、その間
一向に他の数学者に理解され受容された形跡がない
そのような状況からａ）だと考えている
あなたは数学とは無関係の愛国自慢的動機から
「ｂ）であってくれ！」と思い続けてるようですが
正直狂っているといわざるを得ない
愛国が他国の蔑視や排斥を意図しているなら
それは不健全で破滅的な思想である >>966
>『”一種の「同義反復的解決」”は、基礎の公理には反していない』とは、
>正確には、望月氏は書いていないけれど
>いろいろ総合すると、そうだろうと個人的には思っている
そもそも「同義反復的解決」が何なのか理解してない素人が
何を言っても無駄だし無意味だと、私は思う >>966
>基礎の公理の話は、IUT IVの付録に望月氏自身が書いていて、
>IUT理論そのものではないが、IUTの理解を助けるためと思われる
望月氏の意図はともかく、ショルツに指摘されてる問題点は
そんなところ以前だってことはお分かり？
わかってないなら、IUTについて語っても無駄だから諦めたほうがいい >だから、
だからの前後がつながらない
>「そんな”高尚？”なレベル以前の段階で、IUT理論が他の数学者に理解されてない」
>という主張は、完全に、上記a)への誤解を誘導するように、論理が飛躍していると思うな
飛躍しているのはあなたの思考
あなたの「と思う」はあなたの願望によるもの
そしてあなたの願望とは
「我が祖国ニッポンは世界最高！！！」
という夜郎自大的な妄想の正当化
あなたが自己中心的パーソナリティ障害であることは
あなたの言動から明らかだと思う >>963
>柏原がアクセプトを認めたのは
>数学的な理由ではないんじゃない？
>リジェクトしたらPRIMSの査読プロセスが問題になる
>アクセプトして問題なかったと言い張れば誤魔化せる
全くロジックが倒錯している
というか、詭弁そのもの
・あれだけ、世間を騒がせ、2018年のSS文書で世間から注目された
半分疑惑・疑問視されていたIUT論文を、追加査読で2020年4月に
記者会見をして、大々的に「追加査読も完了した」と発表したのです
・もし、IUT論文が後に大きな瑕疵が判明して、ドボンになったら？
当然、アクセプトの方がリスク大
・そして、数学の論文は、
”ごまかせる”余地が少ない（殆ど無い）
・だから、柏原氏も生半可な気持ちで、査読の編集会議の長になったわけじゃないだろうし
”査読OK”の記者会見は、相当な覚悟で臨んだに違いない
これが、普通の見方でしょ（なんで柏原氏が、記者会見で「ウソやゴマカシ」を言わなきゃいかんの？）
なんか、詭弁と誤解と倒錯のオンパレードじゃん 率直にいって理解できない考えを
「自分の国（あるいは民族）の人が考えた」
というだけで有難がるのは無意味 >>971
>全くロジックが倒錯している というか、詭弁そのもの
それはあなたです >>971
>・あれだけ、世間を騒がせ、
> 2018年のSS文書で世間から注目された
> 半分疑惑・疑問視されていたIUT論文を、
> 追加査読で2020年4月に記者会見をして、
> 大々的に「追加査読も完了した」と発表したのです
「半分」は要りません
「疑惑・疑問視されていた」で十分です
記者会見は全く要らないですね
疑惑を払拭したいなら、説明すればいいことです
著者が一番ですが、査読者が実施してもかまいませんよ できるものならね
記者会見なんか開いても、疑惑は払拭できませんから >>971
>・もし、IUT論文が後に大きな瑕疵が判明して、ドボンになったら？
> 当然、アクセプトの方がリスク大
そういうリスクはいかなる論文でもあり得ます
もしリスクを小さくしたいのなら、
誰もまともに内容が説明できないあの段階で
アクセプトするべきではなかったのではないですか？
記者会見が誰に対してのものかは存じません
日本の文部科学省でしょうかね >>971
>・そして、数学の論文は、
> ”ごまかせる”余地が少ない（殆ど無い）
もし、PRIMS以外の雑誌だったら、リジェクトされたでしょうね
肝心なところが全く定義されていないのでは数学的に無意味ですから >>971
>・だから、柏原氏も生半可な気持ちで、
> 査読の編集会議の長になったわけじゃないだろうし
> ”査読OK”の記者会見は、相当な覚悟で臨んだに違いない
柏原氏は、望月新一氏の論文を理解してないでしょう
「アクセプト」は政治的判断ですね
今ここでリジェクトしたら、今までまともに論文査読してなかった
と白状するようなものですからね
次世代幾何学センターはつぶされるでしょう
とはいえ、ここでアクセプトしたところで、
やっぱりダメなものはダメなので
ちょっとだけ延命したようなもんですね
率直に言って次世代幾何学センターはもう終わりだと思いますよ
少なくとも今年IMUから賞が出ないんじゃダメでしょう
日本数学会が独自に賞を出すことは100%あり得ませんね
ということで、まあ来年にはなくなるでしょう 御愁傷様です >>971
>これが、普通の見方でしょ
>（なんで柏原氏が、記者会見で「ウソやゴマカシ」を言わなきゃいかんの？）
RIMSと次世代幾何学センターを守りたかったんでしょう
理研の幹部が、STAP細胞の件でとった行動と同じですよ
真理より組織と自分の身が大事なんでしょう
同情はされるでしょうが、尊敬はされませんね >>975
>お前ら年末年始もこのスレで過ごす気なのか〜
あなたは数学の勉強頑張ってくださいね 煽りにレスするのは馬鹿馬鹿しいですが
https://rio2016.5ch.net/test/read.cgi/math/1640701686/15
>極左アナーキストの時点で知的変質者なわけだから
なぜ？
ところで数学者は知的変質者でしょうか？
私の知り合いが「アスペルガーは社会人として使えない」というのですが
その「アスペルガー」のどの特徴も数学科の学生に見られるものだったので
私はこういいました
「そんなの数学科ではざらにいるよ
彼らは社会人になろうなんてさらさら思ってないから」
多分、彼はこう思ったでしょう
「なんだおまえもアスペだったか」
>学生時代に女にもてなかったから鬱屈したんだろう
女にもてることが第一、と思う人は数学板に来る意味ないですね
数学やっても女にもてませんから・・・多分 このスレで暴れている人は
・非線形非平衡統計物理の未科学問題(当時)を
古典熱力学と矛盾する「ニセ科学」だと主張し
雑誌パリティ編集長大槻義彦氏を巻き込もうとする
も失敗、2017年に解明論文が出て以降ダンマリ
・CERNプロジェクトリーダーが311福一原発事故の
放射線被害論文でデータ無断使用とデータ捏造問題
を起こすと擁護を試み、
英語論文誌の論文撤回手続きに関し虚言を弄し
・上記問題に対し一貫した指摘を行なっている
ゴードン・ベル賞7回受賞の物理学者に対しても
「脱原発派の指摘はバイアスが掛かっているから
一切信用できない」という印象操作発言をして
その長年にわたる「ニセ科学批判」が科学ではなく世論扇動活動に過ぎなかった事を露呈してしまった
「己には学問的成果が無いので
大物への批判と擁護を通じて
己が大物であるかのように振る舞う」
小物に過ぎない
小物の虚勢連投は一切お気になさらぬよう >>982
>・非線形非平衡統計物理の未科学問題(当時)を
> 古典熱力学と矛盾する「ニセ科学」だと主張し
> 雑誌パリティ編集長大槻義彦氏を巻き込もうとするも失敗、
> 2017年に解明論文が出て以降ダンマリ
そんなことがあったのですか？
ところで「未科学問題」とは具体的に何ですか？ >>982
>・CERNプロジェクトリーダーが
> 311福一原発事故の放射線被害論文で
> データ無断使用とデータ捏造問題を起こすと擁護を試み、
> 英語論文誌の論文撤回手続きに関し虚言を弄す
そんなことがあったのですか？
放射線被害に関する論文だからといって不正行為は容認できませんね
それとこれとは話が別ですから >・上記問題に対し一貫した指摘を行なっている
> ゴードン・ベル賞7回受賞の物理学者に対しても
> 「脱原発派の指摘はバイアスが掛かっているから一切信用できない」
> という印象操作発言をして その長年にわたる「ニセ科学批判」が
> 科学ではなく世論扇動活動に過ぎなかった事を露呈してしまった
ゴードン・ベル賞7回受賞の物理学者って誰ですか？
あと、あなたが非難している人は、原発推進派なんですか？
つまり>>984で擁護しようとしている人の論文は
放射線被害は小さいという内容なんでしょうか？
別に内容と不正の有無は独立の問題ですが、
気になったので教えていただけますが
その際、人名は必ず記載願います
真偽を確認できない内容は科学的に無意味だということは
科学者なら皆承知しているでしょう >「己には学問的成果が無いので
> 大物への批判と擁護を通じて
> 己が大物であるかのように振る舞う」
ここの>>1のことでしょうかね？
望月新一氏には追従し、時枝正氏は非難する
どっちにしても自分がまるで神の如き物言い
実に幼稚な人格の持ち主であることは
皆さんよくご承知のことでしょう >>982
>小物に過ぎない
>小物の虚勢連投は一切お気になさらぬよう
ここにはあなたが愛する「敵」はいませんよ
もちろん私はあなたの「敵」ではありません
天羽優子なる人物は知らないし興味もありません >>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.”
の状態が改善されない >>988
＞IUT派は負けそう
そうでもないと思う
少なくとも、日本国内の数学界は、IUT派増えてきて、優勢では？
世界的には、これからとしても >>978
>「アクセプト」は政治的判断ですね
>今ここでリジェクトしたら、今までまともに論文査読してなかった
>と白状するようなものですからね
全然ロジック繋がってないぞ
だめならRIMSは
「最終結論は、リジェクト
理由は、かくかくしかじか
望月氏には、リジェクト理由を伝えて、改善するよう言った
彼は、さらにIUTの完成を目指して研究すると言った
あと何年かかかるだろうが、しばしお待ちあれ」
と発表すれば良いだけのことよ
それで、何の不都合もない
リジェクトに、正当な理由があれば、上記で無問題 このスレで暴れている人は
■非線形非平衡統計物理の未科学問題(当時)
https://en.wikipedia.org/wiki/Mpemba_effect
を古典熱力学と矛盾する「ニセ科学」だと主張し
雑誌パリティ編集長大槻義彦氏 https://ja.wikipedia.org/wiki/%E5%A4%A7%E6%A7%BB%E7%BE%A9%E5%BD%A6
を巻き込もうとするも失敗、
2020年に解明論文が出て以降ダンマリ
Kumar, A., Bechhoefer, J. Exponentially faster cooling in a colloidal system. Nature 584, 64–68 (2020). https://doi.org/10.1...38/s41586-020-2560-x https://arxiv.org/pdf/2008.02373.pdf
■CERN反物質実験プロジェクトリーダー https://ja.wikipedia.org/wiki/%E6%97%A9%E9%87%8E%E9%BE%8D%E4%BA%94
が311福一原発事故の放射線被害論文で
データ無断使用とデータ捏造問題を起こすと
擁護を試み、
英語論文誌の論文撤回手続きに関し虚言を弄し
■上記問題に対し一貫した指摘を行なっている
ゴードン・ベル賞7回受賞の物理学者 https://ja.wikipedia.org/wiki/%E7%89%A7%E9%87%8E%E6%B7%B3%E4%B8%80%E9%83%8E
に対しても
「脱原発派の指摘はバイアスが掛かっているから
一切信用できない」という印象操作発言をして https://twitter.com/apj/status/1083283354173100032
その長年にわたる「ニセ科学批判」が科学ではなく世論扇動活動に過ぎなかった事を露呈してしまった
「己には学問的成果が無いので
大物への批判と擁護を通じて
己が大物であるかのように振る舞う」
小物に過ぎない https://ja.wikipedia.org/wiki/%E5%A4%A9%E7%BE%BD%E5%84%AA%E5%AD%90
小物の虚勢連投は一切お気になさらぬよう
https://twitter.com/5chan_nel (5ch newer account) 【NGWord推奨(正規表現)】
kakyoukyoutiba|day1-post-meridiem|cml-office|IerWI2I7OREJ|1212628738|1503813609 レス数が1000を超えています。これ以上書き込みはできません。
