21/09/26 00:17:02.42 4AZ2wKQ6.net
>>633
>フェセンコも感覚が麻痺してるのかもね...
いや、フェセンコが書いている半分以上は、下記の”Anabelian geometry en.wikipedia”そのもの
つまり”Anabelian geometry can be viewed as one of generalizations of class field theory. Unlike two other generalizations ? abelian higher class field theory and representation theoretic Langlands program ? anabelian geometry is highly non-linear and non-abelian.”
だと
そして、IUTは、Anabelian geometryの一般化、あるいは発展形だから、
話の筋は、あっているだろうよ
また、”The first results for number fields and their absolute Galois groups were obtained by Jurgen Neukirch, Masatoshi Gunduz Ikeda, Kenkichi Iwasawa, and Koji Uchida (Neukirch?Uchida theorem) ”
ここに、伊原先生が入るから、まさに正統な日本代数的整数論の伝統の上の、IUTが新たな類体論だと
まあ、半分は宣伝もあるだろうが、全くのガセでもなさそうじゃない？
(参考)
URLﾘﾝｸ(en.wikipedia.org)
Anabelian geometry
Anabelian geometry is a theory in number theory, which describes the way in which the algebraic fundamental group G of a certain arithmetic variety V, or some related geometric object, can help to restore V. The first results for number fields and their absolute Galois groups were obtained by Jurgen Neukirch, Masatoshi Gunduz Ikeda, Kenkichi Iwasawa, and Koji Uchida (Neukirch?Uchida theorem) prior to conjectures made about hyperbolic curves over number fields by Alexander Grothendieck. As introduced in Esquisse d'un Programme the latter were about how topological homomorphisms between two arithmetic fundamental groups of two hyperbolic curves over number fields correspond to maps between the curves. These Grothendieck conjectures were partially solved by Hiroaki Nakamura and Akio Tamagawa [ja], while complete proofs were given by Shinichi Mochizuki.
つづく
701:現代数学の系譜 雑談
21/09/26 00:17:28.05 4AZ2wKQ6.net
>>636
つづき
More recently, Mochizuki introduced and developed a so called mono-anabelian geometry which restores, for a certain class of hyperbolic curves over number fields or some other fields, the curve from its algebraic fundamental group. Key results of mono-anabelian geometry were published in Mochizuki's "Topics in Absolute Anabelian Geometry."
Anabelian geometry can be viewed as one of generalizations of class field theory. Unlike two other generalizations ? abelian higher class field theory and representation theoretic Langlands program ? anabelian geometry is highly non-linear and non-abelian.
(引用終り)
以上
702:現代数学の系譜 雑談
21/09/26 00:26:48.30 4AZ2wKQ6.net
>>634
＞数理研の先生方は、当人らにも責任があるとはいえ、これから地獄みるだろうけど。
それは見解の相違でしょうｗ
RIMSにとっては、どうってことないし
ショルツェ氏は、欧州でIUTを担ぐ人が、潰すしね
次の新テーマさがしと、
IUTの分かり易い解説書を、だれが書くかだけど
解説書は、RIMSの人は、書かないかも
グロタンデイークの解説を
ハーツホーンが書いたみたいことになるかな
天才すぎる人が書いたテキストは、いまいちかもね
703:現代数学の系譜 雑談
21/09/26 00:27:48.40 4AZ2wKQ6.net
>>630 補足
＞歴史
＞二次形式とその「種の理論」、クンマー・クロネッカー・ヘンゼルなどのイデアルおよび完備化に関する業績、円分体およびクンマー拡大の理論などがあった
ここ、原文は下記の”The generalization took place as a long-term historical project, involving quadratic forms and their 'genus theory', work of Ernst Kummer and Leopold Kronecker/Kurt Hensel on ideals and completions, the theory of cyclotomic and Kummer extensions.”
ですね。
二次形式とその「種の理論」→quadratic forms and their 'genus theory'です
ややこしいのは、IUT VI では、”the Language of Species”などと、別の「種の理論」が出てきます
このspeciesは、下記の categoryからみの”Combinatorial species”なのでしょうか？
多分そうなのでしょうね
因みに、Combinatorial speciesと、
Dessin d'enfantの”combinatorial description”とは、
関連しているのでしょうか
多分そうなのでしょうね
(参考)
URLﾘﾝｸ(en.wikipedia.org)
History
Main article: History of class field theory
The origins of class field theory lie in the quadratic reciprocity law proved by Gauss. The generalization took place as a long-term historical project, involving quadratic forms and their 'genus theory', work of Ernst Kummer and Leopold Kronecker/Kurt Hensel on ideals and completions, the theory of cyclotomic and Kummer extensions.
つづく
704:現代数学の系譜 雑談
21/09/26 00:28:14.64 4AZ2wKQ6.net
>>639
つづき
URLﾘﾝｸ(en.wikipedia.org)
Genus of a quadratic form
In mathematics, the genus is a classification of quadratic forms and lattices over the ring of integers. An integral quadratic form is a quadratic form on Zn, or equivalently a free Z-module of finite rank. Two such forms are in the same genus if they are equivalent over the local rings Zp for each prime p and also equivalent over R.
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Contents:
§3. Inter-universal Formalism: the Language of Species
P4
In Definition 3.1, (iii), we formalize this intuitive notion of a “type of mathematical object” by defining the notion of a species as, roughly speaking, a collection
of set-theoretic formulas that gives rise to a category in any given model of set theory [cf. Definition 3.1, (iv)], but, unlike any specific category [e.g., of groups, etc.] is
not confined to any specific model of set theory.
P67
Section 3: Inter-universal Formalism: the Language of Species
In the present §3, we develop ? albeit from an extremely naive/non-expert
point of view, relative to the theory of foundations! ? the language of species.
Roughly speaking, a “species” is a “type of mathematical object”, such as a
“group”, a “ring”, a “scheme”, etc. In some sense, this language may be thought of
as an explicit description of certain tasks typically executed at an implicit, intuitive
level by mathematicians [i.e., mathematicians who are not equipped with a detailed
knowledge of the theory of foundations!] via a sort of “mental arithmetic” in the
course of interpreting various mathematical arguments. In the context of the theory
developed in the present series of papers, however, it is useful to describe these
intuitive operations explicitly.
つづく
705:現代数学の系譜 雑談
21/09/26 00:28:48.70 4AZ2wKQ6.net
>>640
つづき
P82
(ii) The algorithmic approach to reconstruction that is taken throughout the
present series of papers, as well as, for instance, in [FrdI], [EtTh], and [AbsTopIII],
was conceived by the author in the spirit of the species-theoretic formulation exposed in the present §3.
URLﾘﾝｸ(en.wikipedia.org)
Combinatorial species
Category theory provides a useful language for the concepts that arise here, but it is not necessary to understand categories before being able to work with species.
The category of species is equivalent to the category of symmetric sequences in finite sets.[1]
URLﾘﾝｸ(en.wikipedia.org)
Dessin d'enfant
In mathematics, a dessin d'enfant is a type of graph embedding used to study Riemann surfaces and to provide combinatorial invariants for the action of the absolute Galois group of the rational numbers. The name of these embeddings is French for a "child's drawing"; its plural is either dessins d'enfant, "child's drawings", or dessins d'enfants, "children's drawings".
Conversely, any dessin d'enfant on any surface X can be used to define gluing instructions for a collection of halfspaces that together form a Riemann surface homeomorphic to X; mapping each halfspace by the identity to the Riemann sphere produces a Belyi function f on X, and therefore leads to a Belyi pair (X, f). Any two Belyi pairs (X, f) that lead to combinatorially equivalent dessins d'enfants are biholomorphic, and Belyi's theorem implies that, for any compact Riemann surface X defined over the algebraic numbers, there are a Belyi function f and a dessin d'enfant that provides a combinatorial description of both X and f.
(引用終り)
以上
706:１３２人目の素数さん
21/09/26 06:48:13.80 OOUDet0D.net
内容のコピペ嵐やめれ
707:１３２人目の素数さん
21/09/26 07:42:37.30 /hejQo8M.net
>>643
ｽﾚﾘﾝｸ(math板:37番)
708:現代数学の系譜 雑談
21/09/26 07:45:48.21 4AZ2wKQ6.net
>>642
レスありがとうございます。
これが、私の流儀なのです
709:１３２人目の素数さん
21/09/26 07:48:09.68 /hejQo8M.net
>>644
誤 これが、私の流儀なのです
正 これが、私にできる現代数学に対する唯一の抵抗方法なのです
何と戦ってるんだか･･･
710:現代数学の系譜 雑談
21/09/26 08:32:02.74 4AZ2wKQ6.net
>>644 補足
1．基
711:本は、5ｃｈには、新規の数学的内容は無い。あれば、論文か学会発表するはず 2．なので、「新規の数学的内容は無い」ならば、それは基本どこかに既に書かれているはず 3．検索するれば、見つかる場合が多い。大抵、自分の言いたいことも、大半はそこに書かれている 4．ならば、そこからコピーすれば、自分でタイプするより早くて楽ｗ 5．なので、コピーとコピー元のURLと、コピー元の関連箇所引用をしておくことにしました 6．こうすることで、無駄な議論が減るのです。質問が出ても、関連箇所を引用しているから対応が楽 なにより、関連箇所引用で、質問・疑問はその引用で解消出来てしまう 7．URLだけで良い？ 下記「リンクをクリックするだけで被害」みたいな話が昔からあるよ。うかつに、リンクをクリックしないのが鉄則 かつ、安全そうなサイトでも、クリックして飛ぶの面倒だし さらに、飛んだ先が結構長文で、該当箇所を見つけるのに一苦労とか 8．そんなこんなで、基本的に、自分の言いたいことのコピーと、URLと、言いたいことの関連事項の3点を入れた投稿にしています （URLをクリックして飛ぶ人には、URL以下の引用は不要でしょうが） (参考) https://xtech.nikkei.com/it/article/NEWS/20070618/275088/ 日経クロステック 「リンクをクリックするだけで被害」、悪質メールに気をつけろ 勝村 幸博 日経パソコン 2007.06.18 攻撃サイトには、過去に見つかったWindowsやInternet Explorerのぜい弱性（セキュリティホール）を悪用する仕掛けが施されている。このため、ぜい弱性が存在するパソコンでメール中のURLにアクセスすると、ウイルスを勝手にインストールされてしまう。、 (引用終り) 以上
712:１３２人目の素数さん
21/09/26 09:06:54.12 /hejQo8M.net
>>646
１．数学ド素人のSET A君は議論しなくていいです
２．調べたいことがあれば勝手に検索します 素人のSET A君には頼みません
３．「理解できない、見たままコピペできない」とかいうくだらない理由で
証明をバッサリ割愛する素人のSET A君は、コピペもしなくて結構です
SET A君は、定義と定理と証明という三大重要事項を
全部割愛する正真正銘のド素人
上記の三大重要事項以外の「言いたいこと」なんて
数学的には全く無意味だから書き込まないでください
奈良の中卒のSET A君はニュー速板あたりで
「ニッポンサイコォォォォ！」とか
💩カキコでもしててくださいね
713:１３２人目の素数さん
21/09/26 09:34:22.23 Zx8nEIIK.net
>>647
第三者からみると、あなたのやってる
誹謗
人格攻撃
上から目線
偉そうに曰う
などなど典型的なパワハラ体質のほうが痛いし呆れてしまう
雑談氏からは誠意ある姿勢と態度が明確であなたのようなパワハラ野郎より好感を感じる
あなたからはそれは感じない
5ch全般に言えることだが人格攻撃するやつに正義があったためしは無い
714:現代数学の系譜 雑談
21/09/26 09:56:51.41 4AZ2wKQ6.net
>>648
ご丁寧に、レスありがとうございます。
>>645
>何と戦ってるんだか･･･
戦っているのはあなたですよ！
・望月IUTが、アンチ日本およびアンチ日本人のあなたには、しゃくのタネなのでしょう
・あなたは、他人に背乗り（
715:せのり＝マウント）して、優越感を感じて、自分が数学落ちこぼれの憂さ晴らしをしたくて、しようが無い人なのです。笑えるよ
716:１３２人目の素数さん
21/09/26 09:58:49.82 /hejQo8M.net
>>648
>雑談氏からは誠意ある姿勢と態度が明確で
あなた、もしそう思ってるなら、彼に騙されてますね
SET AのScholze氏に対する発言はまさに「誹謗」「人格攻撃」そのもの
日本人である望月新一氏の論文に対する疑問と否定的評価に
激怒した故の実に感情的なみっともない反応といわざるを得ません
またSET Aの発言はだいたいが自分の無能と無理解を棚に上げて
他人に対して常に「上から目線」「偉そうに曰う」といった
パワハラが顕著にみられます
（ただ彼には何のパワーもないのでみなただ嘲笑するだけですが）
あなたが私のことをどう思おうが勝手ですが、
数学板の読者はあなたのことをこう思うでしょうね
「ああ、またSET Aが別IDで自己弁護してるｗ
ID変えればバレないとおもってんのかな？ｗｗｗ」
717:１３２人目の素数さん
21/09/26 10:01:19.08 /hejQo8M.net
>>648
>人格攻撃するやつに正義があったためしは無い
ええ、全くその通りです
したがってScholzeに対して人格攻撃しかできないSET Aは正義ではありえないのです
あなたがSET Aを完全に焼き殺したので、あなたの正義は達成されました！！！
718:１３２人目の素数さん
21/09/26 10:08:38.77 /hejQo8M.net
>>649
>・望月IUTが、
> アンチ日本およびアンチ日本人のあなたには、
> しゃくのタネなのでしょう
もしかしてボクがレインボーマンの「ミスターK」だと思ってる？ｗ
URLﾘﾝｸ(www.youtube.com)
日本人が数学で業績を上げるのは結構なことですよ
実際、ボクが岡の多変数関数論や志村の数論での成果を
否定したことがありましたか？ないですよね？
（彼らの数学以外での発言や行動に対してはいくらでも批判しましたが）
問題は、望月新一が他の数学者からの「わからない」の声に対して
誠実に対応していない点です。しかも彼のみならず彼の「理解者」と
される人達も、何の有効な説明ができていない。これは致命的です。
上記のような惨憺たる状況にも関わらず「ニッポン、バンザイ！」
とかいうのは痛々しいし日本の恥だといっていいでしょう。
719:１３２人目の素数さん
21/09/26 10:39:24.19 /hejQo8M.net
>>649
>・あなたは、他人にマウントして、優越感を感じて、
> 自分が数学落ちこぼれの憂さ晴らしをしたくて、
> しようが無い人
それはSET A 君だろ
実数の定義も正則行列の条件も理解できんド素人が
数学を語るなど100年、いや、1000年早いのだよ
ﾌﾊﾊﾊﾊﾊﾊ!!!
720:１３２人目の素数さん
21/09/26 10:48:18.26 1mppEVXS.net
まあ実際日本の数学者はクソ、RIMSはクソ、みたいに言ってる奴もこのスレ結構おったしね
望月のブレイクスルー賞のせいかその手合いが減ったのは良いことではあるやも
721:１３２人目の素数さん
21/09/26 11:10:46.13 /hejQo8M.net
>>654
君も数学以外に生きがい見つけたほうがいいんじゃない？
愛国とか馬鹿のすること
722:現代数学の系譜 雑談
21/09/26 11:11:51.58 4AZ2wKQ6.net
>>654
>望月のブレイクスルー賞のせいかその手合いが減ったのは良いことではあるやも
どうも、レスありがとうございます。
同意です
かつ、拓郎氏は、IUT出版の編集委員として、名前を出している
小山先生のABC本に書いてあったが
「数学者は、自分の気付いた証明のミスは、他の人も気付くと思う」ので、指摘するみたいことが書いてあって、なるほどと思った
なので、拓郎氏は編集委員として、自分に気付くIUTの瑕疵はないと判断したはず
他のRIMSの先生方（下記）も同様
ショルツェ氏のSS文書については、二択問題です
即ち、SS文書�
723:･とすればIUTは出版されない。出版された以上、SS文書は否決されたのです ショルツェ氏のzbmathレビューについては、数学的根拠はSS文書（2018）だと言っているので 驚くこともない。欧州のフェセンコ先生とかリール大の先生方が、文句を言って、解決するでしょうね （>>355） https://twitter.com/math_jin math_jin 出版序文リンク Andrew Putman 2021年3月6日 https://drive.google.com/file/d/1n1XMCNyQxswQGrxPIZnCCMx6wJka0ybh/view より Editorial Committee for the Special Issue Editors-in-Chief Masaki Kashiwara, Akio Tamagawa Other Members Tomoyuki Arakawa, Masahito Hasegawa, Takashi Kumagai, Kazuhisa Makino, Takuro Mochizuki, Shigeru Mukai, Hiraku Nakajima, Kenji Nakanishi, Tomotada Ohtsuki, Kaoru Ono, Narutaka Ozawa, Michio Yamada （IUTに対する批判的レビュー） https://zbmath.org/07317908 https://zbmath.org/pdf/07317908.pdf Mochizuki, Shinichi Inter-universal Teichmuller theory. I: Construction of Hodge theaters. (English) Zbl 07317908 Publ. Res. Inst. Math. Sci. 57, No. 1-2, 3-207 (2021). Reviewer: Peter Scholze (Bonn) (引用終り) 以上 (deleted an unsolicited ad)
724:１３２人目の素数さん
21/09/26 11:14:20.82 1mppEVXS.net
>>655
>>654に何か愛国要素あるか？
725:１３２人目の素数さん
21/09/26 11:14:42.16 /hejQo8M.net
>>656
愛国🐎🦌 キモっ
726:１３２人目の素数さん
21/09/26 11:15:18.07 /hejQo8M.net
>>657
自覚ないの？
727:１３２人目の素数さん
21/09/26 11:16:39.57 /hejQo8M.net
>>656
>拓郎氏は、IUT出版の編集委員として、名前を出している
編集委員なんて論文の査読なんかしてないよ 知らないの？
728:１３２人目の素数さん
21/09/26 11:17:35.36 1mppEVXS.net
>>659
論理的思考苦手そう
729:１３２人目の素数さん
21/09/26 11:17:42.90 /hejQo8M.net
>>656
>拓郎氏は編集委員として、自分に気付くIUTの瑕疵はないと判断したはず
素人のジコチュウ妄想 キモっ
730:１３２人目の素数さん
21/09/26 11:21:01.00 /hejQo8M.net
>>656
>ショルツェ氏のSS文書については、二択問題です
>即ち、SS文書是とすればIUTは出版されない。
>出版された以上、SS文書は否決されたのです
RIMSの数論幾何村の中でだけなｗ
そしてそんなRIMS村が、EMSで村八分されたとｗ
やっぱ東アジアって💩地域だな
中国大陸も朝鮮半島も日本列島も
731:１３２人目の素数さん
21/09/26 11:23:06.52 /hejQo8M.net
>>656
>フェセンコ先生とか
それはともかく
>リール大の先生方が
個人名書いてやれよ
フランス語の人名読めないのか？
732:１３２人目の素数さん
21/09/26 11:23:59.47 /hejQo8M.net
>>661
ジコチュウの殻から怖くて抜け出せないかい？
733:１３２人目の素数さん
21/09/26 11:25:33.52 1mppEVXS.net
>>665
やっぱりこういう「わからない」の声に対して誠意ある対応せずはぐらかし続けるのって
痛いところ突かれちゃってマトモに応答しようがないからなんかね？
734:１３２人目の素数さん
21/09/26 11:25:40.94 /hejQo8M.net
SET A 死んだな
735:１３２人目の素数さん
21/09/26 11:28:08.30 /hejQo8M.net
>>666
うん、自分の愛国に対して誠意ある対応せずはぐらかし続ける君は
痛いところ突かれちゃってマトモに応答したら脆い自我が壊れちゃうんだね？
ま、中卒・高卒じゃ仕方ないね 数学は無理だから諦めて数学板から失せな
736:１３２人目の素数さん
21/09/26 11:29:54.00 1mppEVXS.net
>>668
鸚鵡返ししか出来無くなっちゃった
痛いところ突いちゃってゴメンねｗ
737:１３２人目の素数さん
21/09/26 11:31:18.63 /hejQo8M.net
>>669
愛国君こそ劣等感を刺激しちゃって悪かったね
でも馬鹿でも死なないから安心して頑張って生きてね！ｗｗｗ
738:１３２人目の素数さん
21/09/26 11:33:17.92 1mppEVXS.net
>>670
あとに引けなくなっちゃったんでしょ？
「ここがこうだからこの発言は愛国的だと思います」と説明すれば終わりなのに
プライドが高いと間違いを認められなくて大変だね
739:１３２人目の素数さん
21/09/26 11:37:47.40 /hejQo8M.net
>>671
>「ここがこうだからこの発言は愛国的だと思います」
>と説明すれば終わりなのに
終わらないでしょｗ
だって君、自分が愛国的だと認めたくないんでしょ？ｗ
君、間違ってるよ
君の野性的な自己愛的愛国感情は、理性で否定できない
>プライドが高いと間違いを認められなくて大変だね
プライドは自我が危機に瀕してる人の最後の鎧
つまらないことで駄々こね続ける中卒の君のことだよ
別に知性なんか生存に不可欠なわけじゃないんだから
堂々と馬鹿として生きればいいのに何卑屈になってんの？
740:１３２人目の素数さん
21/09/26 11:39:41.90 1mppEVXS.net
>>672
「こうこうこういう理由で君は間違ってます」じゃなくて「君は間違ってる」だもんなぁ
反知性主義者って大変だね
741:１３２人目の素数さん
21/09/26 11:41:46.21 /hejQo8M.net
>>673
>こうこうこういう理由で
君、どんな理由も受け入れたくないだろ？
君が反知性主義者だよ 知性があるふりすんのやめなって
微分積分も三角関数もわからん中卒なんだからさｗｗｗｗｗｗｗ
742:１３２人目の素数さん
21/09/26 11:44:08.40 1mppEVXS.net
>>674
知らんよそりゃ説明聞かなきゃ…
説明求めても「お前はどうせ説明してもわからん！」って奴どう相手すりゃいいのさ
普通は逃げてるって思うよね
まあある意味IUTスレらしいのかもしれんけど
743:１３２人目の素数さん
21/09/26 11:44:08.48 /hejQo8M.net
1mppEVXS がもし知性を有しているなら
もっとも賢明な態度は「何も書かないこと」だと
気づけるんだがね
何か言い返さないと負けたと思う時点で馬鹿なんだよｗ
744:１３２人目の素数さん
21/09/26 11:46:23.15 1mppEVXS.net
>>676
望月「君の批判は間違ってるよ。君にできる最も賢明な態度は『何も書かないこと』だ」
もしこんなん言ったとしたら何言ってんだコイツって思わない？
自分を客観視するの苦手なのかなぁ
745:１３２人目の素数さん
21/09/26 11:47:12.78 /hejQo8M.net
>>675
>知らんよそりゃ説明聞かなきゃ…
そこが馬鹿ｗ
自分の発言が愛国的動機によるものでない、と思うなら
相手の発言は只の誤りだとわかるから、
「ああ、また●違いがわけのわからんこといってるな ほっとこ」
と思って黙る
何か言い返すというのは、自分の発言が愛国的であると自覚した上で
それを隠蔽したいという気持ちがあるから
どうだ？図星だろ？ｗ
746:１３２人目の素数さん
21/09/26 11:49:07.61 1mppEVXS.net
>>678
「誤りなら相手は反論しないはずだ」には全く同意しません
反知性的な考えですね
747:１３２人目の素数さん
21/09/26 11:52:41.09 /hejQo8M.net
>>677
さて本題にはいろうか (￣ー￣)ﾆﾔﾘ
Scholzeは、別に自分が正しいと云ってるわけではない
自分が読んで、肝心な定義が書いてないと思った
自然に解釈するとこうなると思うが、それではCor3.12は成り立たない
Cor3.12が成り立つような定義が、そう簡単にできるとは思えない
といった
望月新一が、正しい定義を持ち合わせているなら示せばいい
できなければ、正しい定義を持ち合わせてないってことになる
実際は後者だったね、ってこと
RIMSは「望月新一の回答に対して、さらなる問いがなかったから終わった」
としたいようだけど、それは数学では通用しないね
残念だったねｗ
748:１３２人目の素数さん
21/09/26 11:56:22.39 /hejQo8M.net
>>679
>「誤りなら相手は反論しないはずだ」には全く同意しません
あまりにも自明な誤りに関しては、そういう対応も普通に行われる
ゲーデルの不完全性定理に対するツェルメロの反駁は
証明可能性と真偽の定義を混同する初歩的な誤りによるものだったので
749: ゲーデルは一度は対応したが二度目以降は対応しなかった そして数学界はゲーデルのほうを正しいと認めた 今回の件で、望月新一がゲーデルでショルツがツェルメロだというには IUTはあまりに混沌としすぎていて不透明である
750:１３２人目の素数さん
21/09/26 11:56:50.43 1mppEVXS.net
>>680
さて本題にはいろうか (￣ー￣)ﾆﾔﾘ
俺は、別に自分が正しいと云ってるわけではない
自分が読んで、根拠が書いてないと思った
キミが、正しい根拠を持ち合わせているなら示せばいい
できなければ、正しい根拠を持ち合わせてないってことになる
実際は後者だったね、ってこと
キミは「ボクの反論に対して、さらなる反論がなかったから終わった」
としたいようだけど、それは数学では通用しないね
残念だったねｗ
751:１３２人目の素数さん
21/09/26 11:59:42.70 1mppEVXS.net
>>681
望月「あまりにも自明な誤りに関しては、そういう対応も普通に行われる」
みたいな感じか
752:１３２人目の素数さん
21/09/26 12:02:39.74 /hejQo8M.net
>>682
＞自分が読んで、根拠が書いてないと思った
で、いかなる根拠であれ、自分の意図が愛国でないなら、それは誤りだろ？
だったら問うだけ無駄だから無視すればいいｗ
逆に問うから、自分の気持ちを隠蔽したいんだな、と露見する
ま、どうしても>>655に返答するなら、ボクならこういうね
「まったくです、愛国なんて馬鹿ですよね」
どうしてこの一言がいえないんだろうね 馬鹿なのかな？ｗ
753:１３２人目の素数さん
21/09/26 12:04:27.79 1mppEVXS.net
>>684
望月「誤りなら問うだけ無駄だから無視すればいい」
と言ったとしても全くそんなことはないよね
754:１３２人目の素数さん
21/09/26 12:04:50.44 /hejQo8M.net
>>683
望月新一がScholzeの発言を「自明な誤り」と思うなら何もいわないという手もある
しかし、他の人がそう思わないなら大失敗だけどなｗ
結局のところ、望月新一自身が他人にわかるように説明する必要がある
できない時点で、ＩＵＴは認められない 当然のこと
残念だったなｗ
755:１３２人目の素数さん
21/09/26 12:05:23.45 1mppEVXS.net
結局自分で言っちゃってる通り、
「できなければ、正しい根拠を持ち合わせてないってことになる」
こんだけなんじゃないの？
もう本当に後に引けないから粘ってるだけだよね
756:１３２人目の素数さん
21/09/26 12:06:13.21 1mppEVXS.net
>>686
結局のところ、キミ自身が他人にわかるように説明する必要がある
できない時点で、キミの主張は認められない 当然のこと
残念だったなｗ
757:１３２人目の素数さん
21/09/26 12:08:03.14 /hejQo8M.net
ＩＵＴに関していえば
・望月新一が他人にわかるように論文を書けなかった時点で１アウト
・理解したといってる山下や星も他人にわかる説明ができなかった時点で２アウト
・望月論文の有用性を認める人ですらCor3.12を定理ではなく
「予想」として扱っている時点で３アウト
チェンジだな
758:１３２人目の素数さん
21/09/26 12:10:22.57 1mppEVXS.net
キミに関していえば
・他人にわかるようにレスを書けなかった時点で１アウト
・わからないという指摘に説明できなかった時点で２アウト
・キミを認める人さえいない時点で３アウト
チェンジだな
759:１３２人目の素数さん
21/09/26 12:10:28.14 /hejQo8M.net
>>688
>結局のところ、キミ自身が他人にわかるように説明する必要が
ないなｗ
ブラフだとわかっていて、それが当たってないなら無視するのが唯一無二の方策
どういう形であれ反応してしまえば、それが当たっていると認めることになる
君が理性的でないんだな 感情が先に立つから反論するという馬鹿な行為をやるｗ
760:１３２人目の素数さん
21/09/26 12:15:57.51 /hejQo8M.net
>>690
1mppEVXSは
・挑発に乗った時点で１アウト
・感情丸出しなのに理性的であるフリを演じた時点で２アウト
・とにかく自分が終わりのコメントを書くのが勝ちだと思った時点で３アウト
だからさ俺が負けてやるっていってんのにわざわざ負けようとすんなよ
中卒のお前に花持たせてやろうって俺の気持ちが分からんかｗｗｗｗｗｗｗ
761:１３２人目の素数さん
21/09/26 12:16:04.00 1mppEVXS.net
>>691
＞どういう形であれ反応してしまえば、それが当たっていると認めることになる
これの根拠聞いてもきっとだんまりなんだろうなぁ
結局「○○ならこういう反応する、つまりこういう反応したから○○なんだ！」みたいな思考回路なんだろうね
1bit脳ってやつか
762:１３２人目の素数さん
21/09/26 12:17:42.48 /hejQo8M.net
な、俺がお前のケツ拭いてやっから
さっさと利口ぶって立ち去れ
いいな、わかったな 1mppEVXS
763:１３２人目の素数さん
21/09/26 12:17:45.43 1mppEVXS.net
>>692
正直負けてやるも何も普通に負けてね？
いやまあ逃げ続けてれば負けは確定しないのかもしれんけどさあ
764:１３２人目の素数さん
21/09/26 12:19:08.77 1mppEVXS.net
>>694
まあぶっちゃけ後に引けなくなった人がどうなるか見たいだけなんで続けられる続けるかも
765:１３２人目の素数さん
21/09/26 12:19:26.25 1mppEVXS.net
続けられる
766:だけ続けるかも、ね
767:１３２人目の素数さん
21/09/26 12:26:43.71 1mppEVXS.net
ショルツェもこんな気分だったのかなあ
768:１３２人目の素数さん
21/09/26 12:30:05.66 87Td3mCZ.net
まあ反論対応なんてやりたくないよな。。
文句言われまくる割に自分の功績に全くならんし。
それでもめちゃくちゃな基準がまかり通ると数学自体の信頼がなくなるから誰かがやらなきゃならんけど。
769:１３２人目の素数さん
21/09/26 13:31:27.36 BiaEQwYA.net
>>648氏の顔を丸潰れにしよったなSetA坊
しかもSetA坊は未だに此の場での的を射たコピペ引用、確からしい自説、である事を自負しゆうとしないばかりか
既に判ってる的ハズレ引用や誤った自説、要するに多種多様なミスリードに関し、詫びるでも訂正するでも釈明するでも無く､
日頃から「うるせー、ここ5ちゃんねるは2ちゃんねる時代から続く便所の落書き。責任なんて知ったこっちゃ無い、俺に指図するな」的な物言いし続けるばかりか
「新参や次代を担う子供たちにミスリードしていようが俺の知ったこっちゃない」と､
責任放棄した事ばかり言っている（その上、親のスネかじりである事まで開き直っている）｡
これらの行為、立件は万が一にも無いだろうが、細かい事を厳しく言えば、この場もまたローカル中のローカルとは言えネット上につき公衆の場には違いないので風説の流布になる｡
今ここでSetA坊に罵詈雑言を浴びせている、2〜3年前に第六天魔王Mayapapiyasを自称していた、猿石と通称される無頼者でさえ真っ青の妖怪腐れ外道であると言わざるを得ない｡
770:１３２人目の素数さん
21/09/26 13:45:40.00 BiaEQwYA.net
近年代数学板極悪四天王
4.各質問スレをプログラム計算数値解で汚し廻りつつER医を自称してる割には非番が無い矛盾初老
3.罵詈雑言型数学板無頼派の猿石
2.見咎める相手には獄門話を聞かす、猿石より阿漕な儂
1.SetA坊
今は去ったにも関わらず永久0位認定、KingOfUniverse
同率既存不在永久0位認定、徳島大学講演来訪中痴漢逮捕につき筑波大学数学准教授職解雇の方
771:現代数学の系譜 雑談
21/09/26 13:45:46.62 4AZ2wKQ6.net
>>700
蕎麦屋さんか
大きな釣り針ですな
まあ、釣られてやるかね
> 2〜3年前に第六天魔王Mayapapiyasを自称していた、猿石と通称される無頼者
猿は、あんたと同類だから、ボコボコにされているのを救いに来たのかねｗ
>>>648氏の顔を丸潰れにしよったなSetA坊
おれは名前の議論はしない。だれか第三者に迷惑をかける可能性があるから
ところで、「>>648氏の顔を丸潰れに」というけれど、別に>>648氏の投稿の前にも多数の投稿をしているし
また、>>648の後は、殆ど投稿していないので、その判断は不当だろう
彼は、>>648より以前の投稿を読んで、自分で判断をしているよ
>既に判ってる的ハズレ引用や誤った自説、要するに多種多様なミスリードに関し、詫びるでも訂正するでも釈明するでも無く､
おれのカキコは、的中しているでしょ？ IUTは認められつつあるよ
>（その上、親のスネかじりである事まで開き直っている）
そりゃ、あなた 自分のことでしょうよ？ｗ
772:１３２人目の素数さん
21/09/26 13:49:20.66 BiaEQwYA.net
ぐわっ
「自負しゆうとしないばかりか」違う「自負しようとしないばかりか」じゃ
773:１３２人目の素数さん
21/09/26 14:22:17.27 /hejQo8M.net
>>699
>反論対応なんてやりたくないよな。
なら最初から反論の余地なく完璧に書けって話
774:１３２人目の素数さん
21/09/26 14:23:53.96 /hejQo8M.net
>>700
SET A君は�
775:Wコチュウド素人だからねえ
776:１３２人目の素数さん
21/09/26 14:24:05.77 G1Uuxw31.net
セタはようやく覚えたがセタに構ってる奴も半コテなのか
知らん間に知らん半コテが増えたな
777:１３２人目の素数さん
21/09/26 14:30:19.37 /hejQo8M.net
>>702
>おれは名前の議論はしない。
ブルってるブルってるｗ
日本姓氏語源時点
URLﾘﾝｸ(name-power.net)
によると、瀬田・勢田・勢多・世多等の姓は滋賀県大津市発祥らしいよ
778:１３２人目の素数さん
21/09/26 14:33:21.49 TwZh4eKk.net
お、doxxingか？
779:１３２人目の素数さん
21/09/26 14:33:34.68 /hejQo8M.net
>>706
「半コテ
半コテ(はんこて)とは、匿名掲示板に書き込むユーザーのうち、
デフォルトの名前(名無しさん)を使用しながらも、
その思想・主張・言葉遣いなどで半ばコテハンのように特定されてしまう
ユーザーのことである。」
なるほど
780:１３２人目の素数さん
21/09/26 14:35:12.04 /hejQo8M.net
>>708
個人情報ではない
781:１３２人目の素数さん
21/09/26 14:36:04.11 Ox9J/A3x.net
姓が？
782:１３２人目の素数さん
21/09/26 14:39:16.76 /hejQo8M.net
>>711
左様、特定個人のものではないからな
783:１３２人目の素数さん
21/09/26 14:41:45.40 y2pKNC5e.net
セタってSetAとか書いてるから何か集合論絡みの発言を論われてるのかと思ったらリア苗なのか
猿石の方の由来は何なん？そっちもリア苗？
784:１３２人目の素数さん
21/09/26 14:44:21.77 /hejQo8M.net
猿石・・・ほんとにあったよｗ
URLﾘﾝｸ(name-power.net)
785:１３２人目の素数さん
21/09/26 14:46:54.15 /hejQo8M.net
>>713
苗字だよ 広島県出身だって SU-METALの大ファンらしいから
786:１３２人目の素数さん
21/09/26 14:49:39.48 lCgKtliX.net
あれ？
猿石って人じゃないの？
なぜに伝聞系
787:１３２人目の素数さん
21/09/26 14:51:12.13 /hejQo8M.net
>>713
>セタってSetAとか書いてるから何か集合論絡みの発言を論われてるのか
集合論でも初歩的誤りを犯してたけどな
a∈b ∧ b∈c ⇔ a∈c
この発言以降、誰もSET Aのいうことを信頼しなくなった
ま、当然だなｗ
788:１３２人目の素数さん
21/09/26 14:56:29.43 /hejQo8M.net
>>716
猿石は人か・・・んー、考えたことなかったな
もしかしたら某国が開発したAIプログラムかもしれんな
え？私？もちろん違いますよ
ただ、猿石が「俺が猿石だ」と名乗ったところは
一度もみたことないですがね
789:１３２人目の素数さん
21/09/26 14:59:24.84 z2eF6jpj.net
なんかあんまり聞いちゃいけない感じかね
790:１３２人目の素数さん
21/09/26 15:04:12.19 /hejQo8M.net
>>719
もうみんな知らないんじゃないかな？
最初にそう呼んでた人、死んじゃったし
それもそもそも別人と勘違いだったっていう話だし
791:１３２人目の素数さん
21/09/26 15:07:24.26 /hejQo8M.net
聞いた話では物理板で一石とかいうＨＮで
反相対論者を駆除してるという暇人がいて
その人と同一人物だということで、
しかも相手をサルよばわりするんで
猿石と名付けられたらしいんだけど、
実は物理板には一石って人はいなかったんで
それ自体勘違いっつーか妄想らしい
792:１３２人目の素数さん
21/09/26 15:10:13.06 /hejQo8M.net
でも、最初に呼んでた「幼気な老人」伊達さんとかいう人も亡くなったんだよね
ま、書き込みが無くなったんで、ああ亡くなったんだなと思われてるだけなんだけど
793:１３２人目の素数さん
21/09/26 15:26:37.30 NHwi+Rx9.net
古参にちゃんねらーだ
それ何年くらい前の話なん？
十年前とか？
794:１３２人目の素数さん
21/09/26 15:41:30.49 /hejQo8M.net
>>723
そんなに昔ではないと思うけど 何時頃のことかは覚えてないな
いずれにしても大したことじゃないよ 猿石とかいう人も亡くなったし
多分コロナでコロリだな あっけないもんだよ
795:１３２人目の素数さん
21/09/26 15:51:24.18 PoQ+4LA7.net
居なくなって久しいなら同じ名前で呼んでも特に差し支え無さそうね
796:１３２人目の素数さん
21/09/26 15:51:44.86 /hejQo8M.net
SET Aも亡くなればいいのにね
亡くなるのは簡単だよ
１．固定HNとトリップやめる
２．コピペやめる
３．IUT礼賛とScholze非難をやめる
これだけ
試しに、明日から平日の間
一切数学板への書き込みやめてごらん
なんなら見るのもやめてみたらいい
すっきりするよ
797:１３２人目の素数さん
21/09/26 15:52:34.61 /hejQo8M.net
>>725
そもそも呼ぶ必要もないけどね
いないんだから
798:１３２人目の素数さん
21/09/26 15:56:32.32 E7WNLF+e.net
一般論で言えば荒らしはコテ付きのがNGしやすいから歓迎されるぞ
799:１３２人目の素数さん
21/09/26 16:08:37.23 VDegG7o3.net
M.SHIRAISHIを思い起こす俺は爺さま
800:１３２人目の素数さん
21/09/26 16:10:09.77 n7lqSZ5A.net
エムシラって今どうしてるん？
801:１３２人目の素数さん
21/09/26 16:13:26.99 /hejQo8M.net
卒業したよ
URLﾘﾝｸ(www.youtube.com)
802:１３２人目の素数さん
21/09/26 16:21:43.36 /hejQo8M.net
やっぱガールズルールだなあ
URLﾘﾝｸ(www.youtube.com)
803:１３２人目の素数さん
21/09/26 16:24:15.25 /hejQo8M.net
これも名曲だったけどｗ
コウモリよ
URLﾘﾝｸ(www.youtube.com)
804:１３２人目の素数さん
21/09/26 16:25:59.61 /hejQo8M.net
この曲もいいね
オフショアガール
URLﾘﾝｸ(www.youtube.com)
805:１３２人目の素数さん
21/09/26 16:27:10.17 /hejQo8M.net
しかしこれは酷い・・・
URLﾘﾝｸ(www.youtube.com)
806:１３２人目の素数さん
21/09/26 16:27:37.16 aLTfygdw.net
アイドル好きなん？
807:１３２人目の素数さん
21/09/26 16:28:52.52 /hejQo8M.net
なんだかんだいいつつ、まいやんはいいオンナｗ
808:１３２人目の素数さん
21/09/26 16:29:34.75 /hejQo8M.net
>>736
好きっすねｗ
809:１３２人目の素数さん
21/09/26 16:33:02.11 /hejQo8M.net
それにしてもこれはエロいなｗ
URLﾘﾝｸ(www.youtube.com)
810:１３２人目の素数さん
21/09/26 16:36:34.62 /hejQo8M.net
ま、でも個人的なツボはやっぱここっすか？ｗ
URLﾘﾝｸ(www.youtube.com)
811:１３２人目の素数さん
21/09/26 16:38:06.19 yb4H5cEd.net
望月も好きだったよな
お揃いだな
812:１３２人目の素数さん
21/09/26 16:44:03.58 VDegG7o3.net
確かケンブリッジに向けて出港したハズ
813:１３２人目の素数さん
21/09/26 16:47:43.44 /hejQo8M.net
>>741
もっちーは欅坂推し平手推しだよな
欅坂だったらやっぱ長濱ねるだなｗ
URLﾘﾝｸ(www.youtube.com)
814:１３２人目の素数さん
21/09/26 16:50:11.89 /hejQo8M.net
>>742
しかしながら着いたのはグラストンベリー
URLﾘﾝｸ(www.youtube.com)
815:１３２人目の素数さん
21/09/26 16:53:22.95 /hejQo8M.net
本題に戻るｗ
今は日向坂に注目 とくにこいつ↓
URLﾘﾝｸ(www.youtube.com)
816:１３２人目の素数さん
21/09/26 16:54:37.97 5viDT7Z1.net
>>702
> また、>>648の後は、殆ど投稿していないので、その判断は不当だろう
> 彼は、>>648より以前の投稿を読んで、自分で判断をしているよ
そういう甘い世間観念しとるから坊っつーんじゃ｡
昔はどうあれとし、近頃に限定した人に前評判を擁護して貰ったにも関わらず、1日も経たぬ間に暴言侮辱を述べ連ねたお前は
昔は悪かったが劇的に更生したとして仲人役を買って貰ったにも関わらず、半年も経たぬ間に離婚しよった元夫婦や
受刑暦は有るがこれまでに更生したとして弁護を引き受けて貰ったにも関わらず、数日も経たぬ間に同様再犯やらかした人間…
事前評価と事後結果は、因果を介在して傾向として見られ、結局は「恩人の顔に泥を塗る行為」と成る｡
人間性評価は論理や純粋数学のみならず、行動心理や傾向統計が照らし出す
817:特性推定で評価される｡ 具体的には善悪のファジィな変遷グラフはヒステリシス曲線とカスプ曲線により表される｡
818:１３２人目の素数さん
21/09/26 17:01:32.86 5viDT7Z1.net
>>702
> おれのカキコは、的中しているでしょ？ IUTは認められつつあるよ
歴史は、繰り返す…
> そりゃ、あなた 自分のことでしょうよ？ｗ
忘れたとは言わせんぞ。逆だ。儂は親の喰い物じゃ。何じゃ？そう〜に儂の親の肩を持つならオドレが儂の親に代わって金を返すか？
↑世間じゃこうに言って返されるんじゃぞ、坊。無責任人生一辺倒のオドレじゃ分からんじゃろ。のう？
819:１３２人目の素数さん
21/09/26 17:18:57.31 /hejQo8M.net
>>746
ま、SET Aは偽善者だからねｗ
その点ボクは口は悪いが、いつも蕎麦っちのことは気にかけてるよ（ほんまけ？）
820:１３２人目の素数さん
21/09/26 17:23:33.91 /hejQo8M.net
>>747
まあ、SET Aは本当は
「SET Aは認められつつあるよ」
といわれたいんだろうが、残念ながら認めてあげたいような進歩が何もないｗ
だから、マセマの参考書あたりで勉強しろっていってるんだが
こないだ本屋でみたけど、まるで高校の参考書のような感じだった
まあ、しかし、あれじゃ、大学の数学の本は読めるようにならんかもな
あくまで理工系の連中が、数学の計算の技法だけを習得する本
数学科の学生が読んじゃいかん、とはいわないが、
マセマの本を読んだ後、「線型代数」「微分積分」「集合と位相」の
数学書を読んで理論をしっかり理解しないと、数学科では生きていけない（マジ）
821:現代数学の系譜 雑談
21/09/26 17:24:29.62 4AZ2wKQ6.net
>>746-747
蕎麦屋さん、あんた、訳分からんよ
妄想出まくりじゃん
笑える
>> おれのカキコは、的中しているでしょ？ IUTは認められつつあるよ
>歴史は、繰り返す…
全く意味分からん
>> そりゃ、あなた 自分のことでしょうよ？ｗ
>忘れたとは言わせんぞ。逆だ。儂は親の喰い物じゃ。何じゃ？そう〜に儂の親の肩を持つならオドレが儂の親に代わって金を返すか？
覚えているよ
IUTスレで、散々言われていたじゃん
車関係の技術者というふれこみが、
その実、群馬の富士重工の期間工だってことだったよね
822:現代数学の系譜 雑談
21/09/26 17:25:57.14 4AZ2wKQ6.net
>>748
>その点ボクは口は悪いが、いつも蕎麦っちのことは気にかけてるよ（ほんまけ？）
わろた
それ、受けたよ、大受けだ
823:１３２人目の素数さん
21/09/26 17:26:10.19 /hejQo8M.net
今時の理工系学生向けの微分積分の教科書では
実数の構成（デデキント流の有理数の切断とか、カントル流の有理コーシー列とか）
について全く教えないそうだ
教えても理解できないから、ってことらしい
SET Aみたいなのは実は珍しくないのかもな
┐(´∀｀)┌ﾔﾚﾔﾚ
824:１３２人目の素数さん
21/09/26 17:30:48.50 /hejQo8M.net
微分積分で実数の構成を教えないんじゃ
線型代数でも正則行列の条件すら教えないかもと思ったが
いくらなんでもそこまで酷いことはないだろう
行列のランクくらいアホでもわかるし
線型方程式系の解法でクラメルの公式しか教えない
とかいうのは全然実用的でない
掃き出し法のほうが簡単でしかも早いｗ
別にクラメルの公式の導出も簡単だが、
行列式の計算を定義式の通りにやる馬鹿にとっては
実際の解の導出は難行苦行以外の何物でもないｗ
825:１３２人目の素数さん
21/09/26 17:35:02.09 /hejQo8M.net
>>751
ついでに、SET Aのことも、いつも気にかけている（マジ）
オヌシが本当の数学を、ちょっとでも理解してくれたらいいなと思ってる
だからしつこく線型代数の話をしてるんだが、どうも関心がないらしい
実に残念なことだ 線型代数こそ現代数学の典型的なモデルとなる理論なのに
（注：ここでいうモデルは数理論理学でいうところのモデルではない）
826:１３２人目の素数さん
21/09/26 17:37:03.09 /hejQo8M.net
>>750
＞群馬の富士重工の期間工
そういうSET Aも大阪の「ナショナル」（今、パナソニック）の工員だろｗ
827:現代数学の系譜 雑談
21/09/26 17:47:56.21 4AZ2wKQ6.net
>>718
>猿石は人か・・・んー、考えたことなかったな
>え？私？もちろん違いますよ
おいおい
サイコパスのおサルとは、あんたのことだよ>>6 ｗｗ
Yahoo!でのあだ名が、「一石」。自己紹介欄で、”one stone”と書いていたことによる
（なお、”one stone”＝独語 アインシュタイン は、有名だね）
旧ガロアすれで、哀れな素人から、「そいつは、”サル石”だ」と教えて貰ったのです
哀れな素人は、”サル石”と、いまはなきYahoo!掲示板時代からの付き合いらしい
(参考)
0.99999…は１ではない その23
ｽﾚﾘﾝｸ(math板:8番)
8 名前：哀れな素人[] 投稿日：2021/04/13(火) 08:30:07.56 ID:esDQ8ShC [2/2]
ID:0m7k3PSf
このバカがサル石（笑
こういうバカを定義厨という（ｹﾞﾗｹﾞﾗ
506 名前：哀れな素人の代理人[] 投稿日：2021/05/20(木) 20:34:58.15 ID:4FXubgBK
哀れな素人は「エラー: 余所でやってください。」
というエラーが出て投稿できなくなったらしい。
そこで、エラーが解除されるまでは、
「2ちゃんねる掲示板へようこそ」
の同タイトルのスレに投稿するから、そちらを見るように、とのことだ。
「ケーキの問題とサル石」に関しても同じ。
以上、哀れな素人の代理人より。
ケーキの問題とサル石 その２
ｽﾚﾘﾝｸ(math板:1番)
1 名前：哀れな素人[] 投稿日：2021/04/05(月) 08:37:20.66 ID:6/pTtpHE
(引用終り)
以上
828:１３２人目の素数さん
21/09/26 18:02:16.83 /hejQo8M.net
>>756
Yahooに掲示板なんかあったっけ？
"one stone"? 陳腐なHNだなｗ
「哀れな素人」？ あの人は耄碌してるからあてになんないよ
もう死んじゃったし
829:１３２人目の素数さん
21/09/26 18:04:28.33 /hejQo8M.net
>>756
>定義厨
定義を読まずに、自分勝手な俺様定義を作る人は、数学できないねｗ
ああ、それから、死んだ人の墓を掘るのは悪い趣味だよｗ
830:現代数学の系譜 雑談
21/09/26 18:10:46.66 4AZ2wKQ6.net
>>698-699
>ショルツェもこんな気分だったのかなあ
>まあ反論対応なんてやりたくないよな。。
>文句言われまくる割に自分の功績に全くならんし。
>それでもめちゃくちゃな基準がまかり通ると数学自体の信頼がなくなるから誰かがやらなきゃならんけど。
ここ、日本人的にはね、
議論はあまりしないよね
まず、おサルの>>681より下記引用
”ゲーデルの不完全性定理に対するツェルメロの反駁は
証明可能性と真偽の定義を混同する初歩的な誤りによるものだったので
ゲーデルは一度は対応したが二度目以降は対応しなかった
そして数学界はゲーデルのほうを正しいと認めた”
まあ、詳しい経緯は確認していないが、議論が1対1でなければ、例えば自分以外に反論する人が、沢山いれば、自分が反論する必要がない
多分、同様に、ショルツェ氏も、「おれが反論しなくとも、勝負はついた」と判断して反論しなかったと思われる
一方で、フランス人とかは、特に議論好きらしい
昔読んで覚えているのが、新しい語（名詞）が出てくると、「女性名詞か、男性名詞か、中性名詞か」で新聞紙上を含めて大論争になるらしい
（日本人的には、「どうでも よくね」だがｗ）
さて、フェセンコ先生からみて、IUTの明示公式の5名の共著論文で、名声を得るところ
（実際にABCを解決していれば、多分そうなるはず）
ショルツェ氏のzbmathレビューのおかげで、顔に泥を塗られたかっこうだ
さらに、仏リール大の先生方も同様。Promenade in Inter-Universal Teichmuller Theory>>4 をやったのに、
評価されないことになる（逆にアホだと言わ�
831:黷驍ｩも） こんな仕打ちで、黙っている方がおかしい。 当然反論があるでしょうね。さて、どうなることか
832:１３２人目の素数さん
21/09/26 18:14:26.61 /hejQo8M.net
今後、出てきたら褒めたい本
マセマ 集合と位相
マセマ 群と環
マセマ 加群
マセマ 体とガロア理論
マセマ 多様体
マセマ トポロジー
マセマ 微分形式
833:１３２人目の素数さん
21/09/26 18:19:18.61 /hejQo8M.net
>>759
相変わらず無意味なおしゃべりばかりだね
>ショルツェ氏「おれが反論しなくとも、勝負はついた」
いや、単に望月新一がわけのわからん「ご飯論法」で誤魔化したんで
「ああ、こいつ頭オカシイや」と思ってほっとくことにしたんでしょう
時間の無駄だからね あんな💩論文出版して恥かくのはRIMSだし
>フェセンコ
望月新一とグルなのかもな お互いにナアナアの関係
それじゃ頽廃するばかりだな
>仏リール大の先生方
名前くらい覚えてやれよ ヒドイ奴だなｗ
834:現代数学の系譜 雑談
21/09/26 18:23:47.70 4AZ2wKQ6.net
>>680
>Scholzeは、別に自分が正しいと云ってるわけではない
> 自分が読んで、肝心な定義が書いてないと思った
> 自然に解釈するとこうなると思うが、それではCor3.12は成り立たない
> Cor3.12が成り立つような定義が、そう簡単にできるとは思えない
>といった
>望月新一が、正しい定義を持ち合わせているなら示せばいい
>できなければ、正しい定義を持ち合わせてないってことになる
バカじゃね？
つーか、おサルはちょっと難しい文書になると、全く中身に入れないね
多分、数学科のゼミで絞られたトラウマで、
一歩一歩証明を確認しないと、数学の文書が
読めない体質になってしまったんだね、あわれだ
さて
1．Scholzeは、別に自分が正しいとは言っていないが、それ（自分が正しいと思っていること）は大前提だよ（公理同様）
2．Scholzeは、IUT全体がダメだと言っている。2018年のSS文書（のモノドロミー）を根拠にね
3．「ちょっと定義をいじったくらいでは、救いようがない」というのが、ショルツェ氏の主張です
(参考)（IUTに対する批判的レビュー）>>12
URLﾘﾝｸ(zbmath.org)
URLﾘﾝｸ(zbmath.org)
Mochizuki, Shinichi
Inter-universal Teichmuller theory. I: Construction of Hodge theaters. (English) Zbl 07317908
Publ. Res. Inst. Math. Sci. 57, No. 1-2, 3-207 (2021).
Reviewer: Peter Scholze (Bonn)
(引用終り)
以上
835:１３２人目の素数さん
21/09/26 18:57:35.37 /hejQo8M.net
>>762
>バカじゃね？
SET A、君がなｗ
>おサルはちょっと難しい文書になると、全く中身に入れないね
中身に全く入れないおサルは、SET A、君だよ、キ・ミｗ
>1．Scholzeは、別に自分が正しいとは言っていないが、
>それ（自分が正しいと思っていること）は大前提だよ（公理同様）
いいやｗ
「自分が正しいと思っていること」なんか前提でもなんでもないｗ
SET Aって本当🐎🦌だよねｗ
>2．Scholzeは、IUT全体がダメだと言っている。
>2018年のSS文書（のモノドロミー）を根拠にね
SET Aの読み間違いねｗ
「もし、自然な解釈（単純化）をすれば」
モノドロミーが発生してCor3.12は言えなくなる
といっている
（「」内の仮定を割愛するSET Aは正真正銘の🐎🦌ｗ）
>3．「ちょっと定義をいじったくらいでは、救いようがない」というのが、
>ショルツェ氏の主張です
そこはその通り
だから、IUTが正しいというなら、モノドロミー問題を解決する
定義を示してごらん、といっている
望月新一がショルツに勝ちたいなら、定義を示す以外ない
しかし、望月新一は∧と∨の「ご飯論法」に逃げて
とうとう定義を示せなかった
つまりショルツに負けた ま・け・た
もう諦めろよ ニホンザルのSET A
ｷﾞｬﾊﾊﾊﾊﾊﾊ!!!
836:１３２人目の素数さん
21/09/26 19:05:45.27 /hejQo8M.net
>一歩一歩証明を確認しないと、数学の文書が読めない体質
証明読まずに公式だけつまみ食いすると
「任意の正方行列Aについて
A^(-1)=adj(A)/det(A)
で逆行列が求まる」（ドヤ顔）
みたいな大恥をかくｗ
で、「正則行列じゃない行列は逆行列が存在しないぞ」というと
公式見てdet(A)が
837:0のときは正則じゃないと素直に言えばいいのに なんか「零因子でない行列」とかもって回ったこといって さらに大恥かくｗｗ ついでにいうと、なんでdet(A)が0だと正則行列じゃないのか 全然わかってないのに、ドヤ顔しつづけるから最高に大恥かくｗｗｗ 線型独立も行列のランクも分からん馬鹿がドヤ顔すんなよ 💩くせえんだよｗ
838:１３２人目の素数さん
21/09/26 19:14:45.03 /hejQo8M.net
SET Aはとにかく勉強嫌いだから
行列式も定義式だけみて
「ああ、これで計算方法は”完全に”分かった」
といってオシマイにしてそうｗ
実は全然分かってないｗ
行列式は多重交代線型形式だと知ることが重要
そしてそこから定義式よりもはるかに簡単な計算方法が分かる
要するに行列を基本操作で階段化して対角要素だけ掛ければいい
掃き出し法と同じ
証明はただ論理的裏付けというだけではなく
実はより詳細な情報をもたらす
だから証明を読んで理解することは数学科の学生だけでなく
理学系工学系の学生にも価値がある
そういう必要な勉強をすっ飛ばすとSET Aのような
ツルッツルに上滑りしまくって何もひっかからない
正真正銘の大🐎🦌野郎になっちまうｗｗｗ
839:１３２人目の素数さん
21/09/26 19:32:23.49 ksMGrW32.net
相変わらずの線形代数スレ
840:１３２人目の素数さん
21/09/26 20:05:46.39 /hejQo8M.net
>>766
SET Aはマジで線型代数分かってないからねｗ
841:１３２人目の素数さん
21/09/26 21:39:45.31 qSS28sRK.net
線形代数どころかεδも集合論も何も分かってない
どうして何年も数学板に執着し続けるのか不思議
842:現代数学の系譜 雑談
21/09/26 22:35:42.13 4AZ2wKQ6.net
>>696-697
どうも
横だけど、例の「不等号＜による無限列論争（有限か無限か）」の人（おサルをボコボコにした人）（下記）かも
雰囲気が、似ている気がするな
おサルさんも、それを感じて、撤退したのな？ｗｗ
（>>122より）
Inter-universal geometry と ABC予想 (応援スレ) 56
ｽﾚﾘﾝｸ(math板:116番)
前スレ >>968 （ｽﾚﾘﾝｸ(math板:968番) ）
”もう議論としてあなたは詰んでしまってるんで
てか一週間経って俺がいなくなってそうな状態を見計らっての、突然の勝利宣言は流石に笑える
どんだけ悔しかったんだ”
843:現代数学の系譜 雑談
21/09/26 23:23:03.31 4AZ2wKQ6.net
>>763
>「もし、自然な解釈（単純化）をすれば」
>モノドロミーが発生してCor3.12は言えなくなる
単純化＝simplifications
が正当化されるためには、いくつかの条件がある
1．元の理論を正確に理解していること
2．”単純化＝simplifications”が、正確に元の理論の必要な要素を抽出していること
3．必要ならば、2について証明すること
ショルツェ氏の議論は、この3つの条件を満たしていない
だから、”単純化＝simplifications”は、非常に危険だってこと
そして、一般に、ある論文の証明について、対立する議論する場合、
”単純化＝simplifications”で証明の問題点を議論するならば、要求されれば上記の3項の証明をすべきところ
その証明は、元の論文を証明するくらいに手間だろう
だから、”単純化＝simplifications”で抽出した問題点を、元論文に戻して「ピンポイントでギャップを指摘」するべきなのです
しかし、ショルツェ氏の議論は、”単純化＝simplifications”だけで、”mono
844:dromy”を作って、”which leads to an empty inequality”で議論が終わってしまっている（下記の通り） これは、まずい。”単純化＝simplifications”が正しいことの証明がない。元論文に戻して「ピンポイントでギャップを指摘」すべきところ、それもない それを、やっていないから 彼は、自分が間違っていることに、気付かないのです つづく
845:現代数学の系譜 雑談
21/09/26 23:23:25.91 4AZ2wKQ6.net
>>770
つづき
(参考)
URLﾘﾝｸ(ncatlab.org)
Why abc is still a conjecture P SCHOLZE 著 Date: August 23, 2018.
P4
2. Hodge theaters and Frobenioid prime strips
2.1. Glossary: IUTT-terminology and how we may think of these objects.
This will
involve certain radical simplifications,
P10
Thus, Mochizuki wanted to introduce scalars of j^2 somewhere on the left part of thisdiagram (which strictly speaking leads to inconsistencies, i.e. monodromy, on the left part of thediagram alone, which arguably can be overcome by using averages). However, it is clear thatthis will result in the whole diagram having monodromy j^2, i.e., being inconsistent.The conclusion of this discussion is that with consistent identifications of copies of real num-bers, one must in (1.5) omit the scalars j^2 that appear, which leads to an empty inequality.
(引用終り)
以上
846:１３２人目の素数さん
21/09/26 23:44:47.20 VDegG7o3.net
>>770
君数学全然ダメやん
なんでそんな分かりきったような事言えるん？
847:１３２人目の素数さん
21/09/26 23:58:02.51 Qzbpo1vw.net
彼の妄想の中では彼は分かり切ってるんでしょう
848:現代数学の系譜 雑談
21/09/27 06:36:50.37 IUucGO2k.net
>>772
レスありがとうございます。
1．”単純化＝simplifications”の手法は、問題の論文を理解し、問題点を抽出する手法としては有効だが
具体的な問題点を指摘することができないならば、藁人形論法（ストローマン手法）>>425になってしまう危険がある
2．逆に、具体的な問題点を指摘することができるならば、論文の証明のギャップの指摘としてはそれだけで済む
”単純化＝simplifications”の手法は、あくまで問題点を探る一手法にすぎないので、表に出す必要もないのです
3．ショルツェ氏の2018年のSS文書の大きな問題は、”単純化＝simplifications”をして、（>>770）
”monodromy”を作って、”which leads to an empty inequality”で議論が終わってしまっているのです
4．”単純化＝simplifications”をしたら、確実に、原論文とは何かが変わってしまっているのです、当然ですが
だから、厳密（rigorous）な数学の議論には、なっていないのです
5．勿論、原論文中でも、”monodromy”を作ることができて、”which leads to an empty inequality”となる可能性はゼロでない
しかし、それは証明されては いないのです
6．そして、望月氏や、Dupuy氏や、さらに査読者と編集委員たちは、
ショルツェ氏の主張は不成立という判断なのですね
7．今後、欧州でフェセンコ先生やリール大の先生方が、SS文書について論争するならば
「”monodromy”を作ることができて、”which leads to an empty inequality”」は、IUTには当てはまらないという議論になるでしょうね
849:１３２人目の素数さん
21/09/27 06:52:59.41 HAEeQRGA.net
>>769
>無限列論争（有限か無限か）
ああ、SET Aが惨敗した無限シングルトンねｗ
{{{･･･}}}
まだ 上記の無限シングルトンが無限下降列を導くことが理解できないの？
🐎🦌だねえ…
850:１３２人目の素数さん
21/09/27 06:58:26.27 HAEeQRGA.net
>>770
>単純化＝simplificationsが正当化されるためには、
ああ、SET Aは相変わらずトンチンカンだねｗ
Scholzeは、simplificationsが正当だ、なんて一言も言ってない
「定義」が書かれてないから、その解釈の一つとして挙げただけ
その上で、「さすがに違うだろうけど、他にマシな定義も思いつかない
違うというなら、今ここで示してくれるかな？」といってるわけ
だから「定義」を示せばいいのに、望月新一は
全然関係ない∧と∨の「ご飯論法」で誤魔化したわけ
その時点で、IUTの命運は尽きたわけ
わかってないねえ だからSET Aは正則行列も理解できないんだよｗ
851:１３２人目の素数さん
21/09/27 07:03:53.55 HAEeQRGA.net
>>774
>具体的な問題点を指摘することができないならば、
具体的な問題点は指摘されている。「定義」がないこと。
それをsimplificationsで示している。
simplificationsが違うならば（違うに決まってるが）
それに代わる「定義」を示せばいいだけ
しかし望月新一はできなかった
望月新一の「ご飯論法」に対して、S
cholzeは「問いに答えてない」と
返すこともできたが、そうしなかった
なぜか？そんなの誰が見ても明らかだからｗ
だからRIMSが
「Scholze氏からの反論がなかった」
という理由でIUT論文の受理と出版を発表したとき
「マジ？」
といったわけ
852:１３２人目の素数さん
21/09/27 07:08:33.54 HAEeQRGA.net
>>774
>勿論、原論文中でも、”monodromy”を作ることができて、
>”which leads to an empty inequality”となる可能性はゼロでない
SET A、毎度恒例のオウンゴーーーーーーーーーーーーーーール！！！
ほんと、君って自爆大好きだよねｗ
あのね、
「IUT論文で、”monodromy”を作ることができて、
”which leads to an empty inequality”となる可能性がある」
ってことは
「Cor 3.12は定理じゃない」
って認めることだよｗ
だって、Cor 3.12が定義だったらan empty inequalityになる可能性ゼロだからｗ
ほんと、証明の意味すら分かってない論理盲のSET Aには驚き呆れるね
論理盲が大学数学を理解するなんて永遠に無理だから諦めろ（マジ）
853:１３２人目の素数さん
21/09/27 07:16:36.92 HAEeQRGA.net
>>774
>望月氏や、Dupuy氏や、さらに査読者と編集委員たちは、
>ショルツェ氏の主張は不成立という判断なのですね
Dupuyは
「いくらなんでも simplifications は酷すぎる
Cor 3.12が成立するような解釈が存在するかもしれないじゃないか」
という立場
これ、一見、望月新一を擁護してるように見えるけど実は違う
もし、IUTを理解しているなら、はっきりと
「かくかくしかじかの定義でCor 3.12が成立する！」
と説明する
要するに、Dupuyは、望月新一のいうCor 3.12の有用性は認めるものの
これが「定理」であるという点については留保してるんだな
査読者は誰だか知らんからコメントしない
おそらくフェセンコの可能性大だが、
フェセンコは説明に失敗してるから
分かってないんだろう
編集委員は正当性よりもRIMSという組織の防衛を優先させたと思われる
気持ちはわからなくもないが、国内事情を優先してRIMSの国際的信用を
落としたのは残念である
854:１３２人目の素数さん
21/09/27 07:19:21.44 HAEeQRGA.net
SET A 今日のオウンゴール >>774
「勿論、原論文中でも、”monodromy”を作ることができて、
”which leads to an empty inequality”となる可能性はゼロでない」
「Cor 3.12は定理ではない！」と宣言してしまった歴史的瞬間だなｗ
855:１３２人目の素数さん
21/09/27 07:49:55.17 HAEeQRGA.net
774の SET Aのオウンゴール はいつも実にスバラシイｗ
「勿論、原論文中でも、”monodromy”を作ることができて、
”which leads to an empty inequality”となる可能性はゼロでない」
「Cor 3.12は定理ではない！」と言い切っちゃったってスゴイなｗ
856:１３２人目の素数さん
21/09/27 07:52:58.08 HAEeQRGA.net
774>勿論、原論文中でも、”monodromy”を作ることができて、
作れちゃダメじゃね？ｗ
774>”which leads to an empty inequality”となる可能性はゼロでない
empty inequalityしか導けないんじゃダメじゃね？ｗ
全然分かってないド素人がIUT応援のつもりでIUTを完全否定とかマジワロスｗｗｗ
857:１３２人目の素数さん
21/09/27 07:55:17.34 HAEeQRGA.net
Cor 3.12が定理ってことは
「empty inequalityしか導けないことなんか絶対にない」
ってことだからね 分かる？論理盲のSET A
858:現代数学の系譜 雑談
21/09/27 08:32:57.86 IUucGO2k.net
>>783
だから
その判断を、IUTの査読者、RIMSの編集委員の先生方
含む 3億円の拓郎先生
及び、Promenade in Inter-Universal Teichmuller Theoryの講師たち
今年4回の国際会議の講師たち
それに、多分、Atsushi Shiho (Univ. Tokyo, Japan)先生>>321
が、「IUT OK！、ショルツェ氏はNG」という判断を下したのです
なお、定理の成立と、人が行う証明の軽微な瑕疵の有無とは、必ず
859:しも同値ではない 例えば、下記のクロネッカー・ウェーバーの定理は、1853年から Hilbert (1896) まで、43年 証明の軽微な瑕疵だって、数学では 見つけてそれを完全な証明にすれば、大きな成果ですよ だが、致命的な瑕疵は、多分ないでしょうね (参考) https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%AD%E3%83%8D%E3%83%83%E3%82%AB%E3%83%BC%E3%83%BB%E3%82%A6%E3%82%A7%E3%83%BC%E3%83%90%E3%83%BC%E3%81%AE%E5%AE%9A%E7%90%86 クロネッカー・ウェーバーの定理 歴史 定理は最初に Kronecker (1853) で述べられた。しかし、彼の議論は、次数が2のべきの拡大に対して不完全であった。 Weber (1886) が証明を出版したが、これはいくらかのギャップや誤りを含み、Neumann (1981) により指摘、修正されている。最初に完全な証明をしたのは Hilbert (1896) であった。
860:１３２人目の素数さん
21/09/27 09:10:53.31 HAEeQRGA.net
>>784
全然反駁できてないよｗ SET A
そもそも
「”単純化＝simplifications”をしたら、確実に、原論文とは何かが変わってしまっている」
とかいってるけど、君の
「具体的な問題点を指摘することができない限り（ダメ）」
という考え方に沿うなら、「何か」じゃダメだよ
「何が」変わったか具体的に指摘しないと
で、具体的に指摘できる？ できないだろ？だから
「勿論、原論文中でも、”monodromy”を作ることができて、
”which leads to an empty inequality”となる可能性はゼロでない」
って言っちゃったんだよな
それって「証明できてません」って認めてるってことじゃんｗ
オウンゴールじゃんｗ 自爆じゃんｗ
>IUTの査読者、RIMSの編集委員の先生方 含む 3億円の拓郎先生及び、
>Promenade in Inter-Universal Teichmuller Theoryの講師たち
>今年4回の国際会議の講師たち
>それに、多分、Atsushi Shiho (Univ. Tokyo, Japan)先生が、
>「IUT OK！、ショルツェ氏はNG」という判断を下したのです
ド素人の君の妄想はいいよ
IUTの査読者はともかく、RIMSの編集委員は中身理解してないね
拓郎氏は全然関与してないな 分野違うし
国際会議等の参加者は別にIUTを認めてるわけじゃない
別に踏み絵なんか踏まされないし
志甫淳氏がどう思ってるかは知らんけど、
IUTについて説明してない時点でどうでもいいな
御託を並べる前に、Scholzeの解釈を排除できるような明確な定義を示してごらん
できなきゃ望月新一の負け、そしてその支持者を称するSET Aの負けｗｗｗ
861:現代数学の系譜 雑談
21/09/27 10:18:49.51 sQYI2Lhm.net
>>785
>「”単純化＝simplifications”をしたら、確実に、原論文とは何かが変わってしまっている」
>とかいってるけど、君の
>「具体的な問題点を指摘することができない限り（ダメ）」
>という考え方に沿うなら、「何か」じゃダメだよ
>「何が」変わったか具体的に指摘しないと
背理法で証明できるよ
・”単純化＝simplifications”したにも関わらず、
原論文の記述すべてが”単純化＝simplifications”の後に残っているならば、
全く”単純化＝simplifications”されていない
QEDｗ
例えば、原論文100ページの要約を作るのに、
原論文100ページを、
そのままコピーしたら
要約にならんでしょｗｗ
どこが変わった？
それは、どこかでしょ（必ず存在する）
そして、”単純化＝simplifications”の是非を論じるのは（間違い探し）、おれじゃない
ショルツェ氏と、欧州のフェセンコ先生なり、リール大の先生方だよ
862:１３２人目の素数さん
21/09/27 10:23:07.26 HAEeQRGA.net
>>786
>背理法で証明できるよ
そう思ってるSET Aが頭オカシイ
いいかげん自分は無能って悟れよ
>”単純化＝simplifications”の是非を論じるのは（間違い探し）、おれじゃない
見つけられないなら黙れよ ド素人
SET Aのクソ背理法で否定されるのは
「IUTが完璧に定義しきっている」
っていう前提だろ
863:１３２人目の素数さん
21/09/27 10:25:38.92 HAEeQRGA.net
SET Aは「要約＝条件を落とすこと」と誤解してる
だから「正則行列全体の群」を「正方行列全体の群」と言い換えちゃうｗ
ま、マジで正則行列わかってなかったっぽいけどなｗｗｗ
もうね、線型代数、一からやりなおせって
線型代数もわからん🐎🦌に、群とか圏とかわかるわけないってｗ
864:１３２人目の素数さん
21/09/27 11:36:55.36 D1+DlXaa.net
むしろ群がわからずに線型代数がわかるんだろうか
865:１３２人目の素数さん
21/09/27 11:51:55.95 HAEeQRGA.net
>>789
実は制限が多いほうが分かり易いんだよ
いい性質が成立するからね これ豆な
知らないヤツはガチ素人
866:１３２人目の素数さん
21/09/27 11:56:32.66 7bntyE
867:Ip.net
868:現代数学の系譜 雑談
21/09/27 12:15:53.56 sQYI2Lhm.net
>>790
まさに、ごはん論法の典型じゃんかｗｗｗ
869:１３２人目の素数さん
21/09/27 12:43:11.23 CSw4lClZ.net
>>750
バカが。スバルほど内情だだ漏れの会社なんぞ有りゃせんぞ｡
儂にスバルの期間工であって欲しい、スバルの期間工じゃ！という意見が
お前と、あの時の他板から来た電通博報堂掛け持ち365.25日24h貧乏暇無しネット内職お先真っ暗くんの共通意見じゃ｡
ほう言やぁオドレはあの時の風説誘導内職請負と違って無頼で風説誘導しとるな｡
オドレもネット内職しか出来んか？
> 訳分からんよ
は？オドレの所業を『仲人の顔に泥塗るスピード離婚』や『担当弁護士の評判を地に落とすスピード再犯』に例えて
まぁだ分からん？世間知らずと違うなら自明じゃろ。それを分からん言うんか。根深い世間知らずじゃな｡
何じゃオドレ世間知らずじゃない素振りしといて、そうにまで根深い世間知らずを晒して｡
世間を知る為の根元的な素質さえ無い様に見えるが、口の聞き方からすると、素質が無いわけとは違う｡
世間を知るに際し当然体験していく物事を体験しとらんな。暮らしの中に体験する機会が無い様じゃな｡
機会を失う様な機序で暮らしとる様じゃな。いつから引き籠っとるんじゃオドレは？
870:１３２人目の素数さん
21/09/27 12:45:03.65 CSw4lClZ.net
やべ、SetA坊の世間知らずぶりが重度過ぎる
871:１３２人目の素数さん
21/09/27 12:48:10.01 CSw4lClZ.net
>>752
儂の時には既に無かった。学友会室に上がり込んで読んだ解析概論にはなんか金太郎飴みたいなFigが有ったのう｡
872:１３２人目の素数さん
21/09/27 12:49:21.19 oqoj2i7H.net
このスレはセタ、猿石、蕎麦の提供でお送りします
873:１３２人目の素数さん
21/09/27 12:54:34.79 CSw4lClZ.net
>>792
はい残念 >>791
SetA坊じゃ除数0も制限し忘れそうじゃな。正に、坊ん坊ん莫迦坊ん莫迦坊ん坊ん、じゃな｡
所でバカボンはバカに成る事故に遭う前はハジメちゃんを超える天才じゃったらしいが本当け、ポニョ爺
874:現代数学の系譜 雑談
21/09/27 12:55:36.81 sQYI2Lhm.net
>>791
>ほんとそれ
>マグマが一番ムズい
マグマには、マグマの役割があり
群には、群の役割があり
環には、環の役割がある
難しく考えれば、難しい
易しく考えれば、易しくなる
禅問答だがね
なんのために、マグマを学ぶのか？
その目的を忘れないようにしよう
そうすれが
かなり易しく考えられるだろうよ
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
マグマ (数学)
抽象代数学におけるマグマ（英語: magma）または亜群（あぐん、groupoid）は、演算によって定義される種類の基本的な代数的構造であり、集合 M とその上の二項演算 M × M → M からなる組をいう。マグマ M における二項演算は M において閉じていることは要求するが、それ以外の何らの公理も課すものではない。
このような構造に対して「マグマ」という呼称を導入したのはニコラ・ブルバキである[* 1]。旧来はオイステイン・オアによる用語で亜群（groupoid）と呼ばれていたもので、現在でもしばしばそのように呼ばれる。ただ�
875:ｵ、それとは別に圏論において「亜群（groupoid）」と呼ばれる概念があるので、それと混同してはならない。 https://ja.wikipedia.org/wiki/%E3%83%9E%E3%82%B0%E3%83%9E%E3%81%AE%E5%9C%8F マグマの圏 数学の一分野、圏論におけるマグマの圏（マグマのけん、英: category of magmas）Mag は、すべてのマグマ（一つの二項演算を備えた集合）を対象とし、（普遍代数学の意味での）演算の準同型（演算を保つ写像）を射とする圏を言う。 マグマの圏 Mag は圏論的直積を持つから、直積を持つ任意の圏におけると同様に、（圏の内部演算に関する）マグマ対象 (magma object) の概念が意味を持つ[1]。
876:１３２人目の素数さん
21/09/27 13:47:43.17 HAEeQRGA.net
>>798
>なんのために、マグマを学ぶのか？
>その目的を忘れないようにしよう
中身ゼロの精神論！
さすがド素人SET A！
Q1 なんのために、線型空間を定義するのか
Q2 なんのために、線型写像を定義するのか
Q3 なんのために、線型独立を定義するのか
Q4 なんのために、基底を定義するのか
Q5 なんのために、次元を定義するのか
Q6 なんのために、ランクを定義するのか
Q7 なんのために、行列式を定義するのか
上記７問 全部答えてもらおうか SET A
877:現代数学の系譜 雑談
21/09/27 14:48:20.65 sQYI2Lhm.net
>>796
＞このスレはセタ、猿石、蕎麦の提供でお送りします
おれは、名前の議論はしない、だれか第三者に迷惑をかける可能性があるからね
まあ、お説の通りと思ってもらって、結構だよ～んｗｗｗ
878:現代数学の系譜 雑談
21/09/27 14:55:07.06 sQYI2Lhm.net
>>799
全部同じ
答えは一つ
必要があるから
なぜ山に登るのか？
そこに、山があるからだ （名言ですねｗ）
なぜ山に登るのか？ そこに、山があるからだ
URLﾘﾝｸ(adachi.ed.jp)
「人はなぜ山に登るのか」 イギリスの登山家
イギリスの登山家、ジョージ・マロリーは「なぜ、山に登るのか。 そこに、山があ るからだ」と言ったそうだ。 この言葉を哲学的な意味で捉えれば、「山は、人生に似 ている。 目先の小さな目的に捉われず、その山の頂上を目指し、ただ一生懸命のぼれ ばいい。
URLﾘﾝｸ(ja.wikipedia.org)
ジョージ・マロリー
マロリーが「なぜ、あなたはエベレストに登りたかったのか？」と問われて「そこにエベレストがあるから（Because it's there. ）」と答えたという逸話は有名であるが、日本語では、しばしば「そこに山があるから」と誤訳されて流布している（後述「そこにエベレストがあるから」）。
URLﾘﾝｸ(news.1242.com)
ニッポン放送
「そこに山があるからだ」の本来の意味は？ 誤解されて伝わっている名言・格言
By - NEWS ONLINE 編集部
2021-02-01
■「そこに、山があるからだ」 イギリスの登山家 ジョージ・マロリー
「なぜ、山にのぼるのか。そこに、山があるからだ」イギリスの伝説的登山家、ジョージ・マロリーが口にしたという、余りにも有名な言葉です。この言葉、いまでは、非常に哲学的な意味で捉えられています。たとえば、こんな具合です。
「山は、人生に似ている。目先の小さな目的に捉われず、その山の頂上を目指し、ただ一生懸命のぼればいい。それが、充実した人生を過ごす秘訣なのだ」
でも、こうした見方は、間違っています。マロリーが言う「山」とは、観念的な意味ではなく、具体的な「実在する山」だからです。そして…その山とは、ズバリ、「エベレスト」のことなんです。
879:１３２人目の素数さん
21/09/27 15:44:46.33 HAEeQRGA.net
>>799
Q1 なんのために、線型空間を定義するのか
Q2 なんのために、線型写像を定義するのか
Q3 なんのために、線型独立を定義するのか
Q4 なんのために、基底を定義するのか
Q5 なんのために、次元を定義するのか
Q6 なんのために、ランクを定義するのか
Q7 なんのために、行列式を定義するのか
>>801
>全部同じ 答えは一つ 必要があるから
それぞれどういう必要があるか具体的に書けるかな？ SET Aくぅーん
880:１３２人目の素数さん
21/09/27 15:55:12.85 HAEeQRGA.net
SET Aのような具体🐎🦌 計算🐎🦌は
線型空間や線型写像の必要性なんかわからないだろう
線型空間はR^nのことだと思ってるし
線型写像は行列のことだと思ってるから
しかしそういう人は、
「行列の像となる集合」
「行列で０ベクトルに写るベクトル
881:全体のなす集合」 といわれると、とたんにパニクるｗ 上記の集合の性質として「線型空間」が必要になるし 「線型空間」の性質を保持する写像として「線型写像」が必要となる
882:１３２人目の素数さん
21/09/27 15:59:10.39 HAEeQRGA.net
SET Aのような具体🐎🦌 計算🐎🦌は
次元の定義の必要性なんかわからないだろう
R^nの次元はn、だけで十分と思ってるから
しかしそういう人は>>803でも上げた
「行列の像となる線型空間の次元」
「行列で０ベクトルに写るベクトル全体のなす線型空間の次元」
といわれると、とたんにパニクるｗ
上記の線型空間の「次元」を定義するのに「基底」が必要になるし
「基底」を定義するのに「線型独立」が必要になる
883:１３２人目の素数さん
21/09/27 16:05:01.98 HAEeQRGA.net
つまり数ベクトル空間の行列だけを考えたとしても
「行列の像となる集合」
「行列で０ベクトルに写るベクトル全体のなす集合」
の性質を考えるのに
「線型空間」「線型写像」「線型独立」「基底」「次元」
が必要になる
（上記の空間はある数ベクトル空間と「同型」になるだろうが、
そもそもそれを示すにも「同型」の定義も含め、
上記の概念の定義が必要）
884:１３２人目の素数さん
21/09/27 16:10:40.68 HAEeQRGA.net
で、ランクだが、行列と線型写像では定義が違う
・行列 ：基本変形で階段行列に直した場合の段数
・線型写像：像の空間の次元
しかし行列を線型写像とすれば、両者は実は同値
つまり具体的な計算結果と抽象的な性質がここでつながる
これこそ現代数学の醍醐味！！！
しかし、線型代数＝行列の計算、としか思わない工学🐎🦌どもは
一生このことに気づかないままクタバル ああもったいないｗ
885:１３２人目の素数さん
21/09/27 16:20:18.71 HAEeQRGA.net
ああ、いかんいかん
Q1からQ6まで、自分で答えてしもたｗ
ま、でもQ7だけは残しといたろｗ
答えられるもんなら答えてみいや！
886:１３２人目の素数さん
21/09/27 20:37:21.32 HAEeQRGA.net
実は行列式の歴史は行列より古い（ボソッ）
887:現代数学の系譜 雑談
21/09/27 21:46:07.67 IUucGO2k.net
>>808
おサルさんｗ
（>>671より）
(引用開始)
あとに引けなくなっちゃったんでしょ？
「ここがこうだからこの発言は愛国的だと思います」と説明すれば終わりなのに
プライドが高いと間違いを認められなくて大変だね
(引用終り)
必死で格好つけようと
連投しているね
分かっているよ
頑張って
ボコボコにされてつらいんだね
分かるよ
分かるよｗｗｗ
888:１３２人目の素数さん
21/09/28 06:39:51.49 goFwUqv3.net
>>809
SET A 線型代数に関する基本的な質問に何一つ答えられず
悔しさのあまり 歪んだ笑いの投稿か
御愁傷様
889:現代数学の系譜 雑談
21/09/28 07:59:07.99 M/bbwwus.net
>>786 補足
ショルツェ氏が、SS文書（2018）で示したのは
IUTを、”単純化＝simplifications”をしたら、
「”monodromy”を作ることができて、”which leads to an empty inequality”」>>774
だと言った
だけど、”単純化＝simplifications”を、しなかったらどうなるか？
これについては、何も語っていないのです
完全に、藁人形論法（ストローマン手法）>>425ですね、これだけではね
”単純化＝simplifications”は、重要な手法です
”単純化＝simplifications”で、IUTのギャップを見つけたならば
IUTのギャップを、きちんと、”単純化＝simplifications”無しで示さなければいけない
そうしないと、厳密（rigorous）な数学の議論には、なっていないのです
”単純化＝simplifications”は、あくまで、一つの手段に過ぎず、最終結論ではない
そして、IUT側の反論は、「”単純化＝simplifications”無しなら、SS文書の議論は不成立だ」ってこと
査読者、RIMS編集委員たち、Promenade in Inter-Universal Teichmuller Theory 及び
4回のIUT国際会議に集う数学者たちは、「SS文書（2018）にダメだし」なのです
普通は、藁人形論法（ストローマン手法）など無視ですが
zbmathレビューが出たので、これは欧州では議論になると予想されます
どうなるか
楽しみですね
890:１３２人目の素数さん
21/09/28 08:38:39.80 goFwUqv3.net
>>811
>”単純化＝simplifications”を、しなかったらどうなるか？
>これについては、何も語っていないのです
望月新一も語れてないｗ
IUTでは肝心なことが「定義」されてないから、
Cor3.12が導けない、といってる
「定義」されてないことを”単純化＝simplifications”で解釈したら
Cor 3.12の代わりに自明な不等式しか導けない、といっている
この指摘に対して、望月新一が成すべき唯一のことは以下
「明確な「定義」を示した上で、Cor 3.12を導くこと」
し・