25/11/07 11:04:02.42 yoeUrdl8.net
>>408より
再録
”臭くてかなわん”？ 便所板で？ じゃあ、5ch数学板で 「まともなスレ」ってどれよ
三つあげろ。無いでしょ！ｗ ；ｐ）”
ふっふ、ほっほ
415:現代数学の系譜 雑談
25/11/07 11:06:43.74 yoeUrdl8.net
まあ、おれが一つ挙げるとすると
下記だなｗ ；ｐ）
ｽﾚﾘﾝｸ(math板)
「名誉教授」のスレ 2
416:１３２人目の素数さん
25/11/07 11:07:26.58 k+IWeKJF.net
>ショルツ 「完全にアウト」の理由は
ニッポン自慢ができなくなるからだろ（笑）
自己愛国粋●違いは、論理無しの感情論で発●
417:１３２人目の素数さん
25/11/07 11:08:52.48 k+IWeKJF.net
＞5ch数学板で 「まともなスレ」ってどれよ
クソスレなら沢山ある
高卒カラスの世田の立てたスレは全部それ（笑）
名誉教授？ 数学の匂わせ話しかできない耄碌爺のことか
あんなの廃人だろ（嘲）
418:１３２人目の素数さん
25/11/07 11:13:49.45 k+IWeKJF.net
＞（カラスの世田は）内容では無くて肩書きで人を判断
大学１年の微積と線形代数が分からんオチコボレだからね
コーシー列も線形独立も分からんから
実数の定義も正則行列の性質も分からん
実数はコーシー列が収束する数の空間
正則行列は線形独立性を保持する線形写像
そういうことがわからんから
１と0.999…は違う表現だから違う数だと漫然といい
正方行列なら正則行列だろうと漫然という
思考ゼロ、感覚しかない
それが脳味噌がサル並みのカラスの世田
419:１３２人目の素数さん
25/11/07 11:20:12.91 Wa1lajrV.net
>>411
> This will involve certain radical simplifications, and it might be argued that such simplifications strip awayall the interesting mathematics that forms the core of Mochizuki’s proof.”
> ここで ”radical simplifications”が、ストローマンでアウト！
どうしてそう判断できたのでしょう？
radical simplificationsではないのにそうであると決めつけていることをあなたは「ストローマン」と称しているんですよね？
420:１３２人目の素数さん
25/11/07 11:32:14.20 NzzKVYaw.net
>>１と0.999…は違う表現だから違う数だと漫然といい
同じ数の違う表現だから違う数だと言ったのだとすれば
数学以前の問題
>>正方行列なら正則行列だろうと漫然という
ほとんどすべての実正方行列は正則行列であることを
踏まえて何かをざっくりと述べたのであれば
似たような言い方はほとんどいたるところで
使われていると言えなくもない
421:１３２人目の素数さん
25/11/07 11:40:17.85 NzzKVYaw.net
>>数学の匂わせ話しかできない耄碌爺
数学の話を聞きたければ研究集会か
学会においで
422:現代数学の系譜 雑談
25/11/07 11:46:30.13 yoeUrdl8.net
>>419
(引用開始)
> This will involve certain radical simplifications, and it might be argued that such simplifications strip awayall the interesting mathematics that forms the core of Mochizuki’s proof.”
> ここで ”radical simplifications”が、ストローマンでアウト！
どうしてそう判断できたのでしょう？
radical simplificationsではないのにそうであると決めつけていることをあなたは「ストローマン」と称しているんですよね？
(引用終り)
１）再録>>412より
URLﾘﾝｸ(ja.wikipedia.org)
ストローマン（英: straw man）は、議論において、相手の考え・意見を歪めて引用し、その歪められた主張に対してさらに反論するという間違っている論法のこと、あるいはその歪められた架空の主張そのものを指す[1]。ストローマン手法、藁人形論法、案山子論法（かかし論法）ともいう
(引用終り)
２）数学において ある人の論文の定理の証明が 間違っていると主張するのに
普通 二つの手段がある
一つは、その命題の反例を提示すること
もう一つは、証明のロジックのギャップを指摘すること
３）>>411のショルツ氏がやったことは、そのどちらでもない！
”radical simplifications”という手法だ
それは、完全に ストローマン論法で
数学では 許されない手法です！！
423:１３２人目の素数さん
25/11/07 11:56:23.00 Wa1lajrV.net
>>422
>radical simplificationsではないのにそうであると決めつけていることをあなたは「ストローマン」と称しているんですよね？
この判断の論拠は無いと云うことですね？
ではあなたはscholzeという方の発言について
誹謗中傷していることになります
> ”radical simplifications”という手法だ
その手法とはなんでしょうか？
> それは、完全に ストローマン論法で
> 数学では 許されない手法です！！
ストローマン論法だと断定した根拠を教えて下さい
424:１３２人目の素数さん
25/11/07 13:09:44.62 k+IWeKJF.net
＞同じ数の違う表現だから違う数
矛盾
同じ＝違う、とかやっぱ耄碌爺
＞ほとんどすべての実正方行列は正則行列であることを踏まえて
＞何かをざっくりと述べたのであれば
「正方行列の群」といいきったのえ
「ほとんど」ぬきに「すべて」といってる
「のであれば」ではない やっぱ耄碌爺
＞数学の話を聞きたければ研究集会か学会においで
●ねよクソ爺
425:１３２人目の素数さん
25/11/07 13:11:24.33 k+IWeKJF.net
>>420
＞同じ数の違う表現だから違う数
矛盾
同じ＝違う、とかやっぱ耄碌爺
＞ほとんどすべての実正方行列は正則行列であることを踏まえて
＞何かをざっくりと述べたのであれば
「正方行列の群」といいきったので
「ほとんど」ぬきに「すべて」といってる
「のであれば」ではない やっぱ耄碌爺
>>421
＞数学の話を聞きたければ研究集会か学会においで
●ねよクソ爺
426:１３２人目の素数さん
25/11/07 15:04:01.16 gXeeb6pb.net
現代数学の系譜 雑談 ◆yH25M02vWFhP ←こいつ荒らしです
427:１３２人目の素数さん
25/11/07 16:06:10.38 NgRMUCyV.net
共立出版現代数学の系譜への風評被害スレ
428:現代数学の系譜 雑談
25/11/07 17:10:16.11 yoeUrdl8.net
>>419
>> This will involve certain radical simplifications, and it might be argued that such simplifications strip awayall the interesting mathematics that forms the core of Mochizuki’s proof.”
>> ここで ”radical simplifications”が、ストローマンでアウト！
>どうしてそう判断できたのでしょう？
「どうしてそう判断できた」？ なにを仰るウサギさん ；ｐ）
１）ショルツエ自身が、”radical simplifications”やってますと 自白しているｗ
２）下記のワイルズ フェルマーの最終定理の例を、百回音読してね
３）証明へのダメ出しは、”ギャップを指摘すること”！ それ以外にはありえない！！（反例提示を除いては）
もし、”radical simplifications”を許すならば
今から ど素人の私が、ワイルズ証明を ”radical simplifications”と称して 書きなおして「矛盾起きた」とできるぜよｗ
望月の元論文は数百ページあって ショルツエ氏の文書は たった10ページだよ
単純にページ数の比較で、大幅な”simplifications”であることは 明白です
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
フェルマーの最終定理
最終的解決
ワイルズは、代数幾何学（特に楕円曲線と群スキーム（英語版））や数論（モジュラー形式やガロア表現、ヘッケ環、岩澤理論）の高度な道具立てを用いて証明を試みたが、類数公式の導出に当たり岩澤理論を用いる方向では行き詰まってしまった。そこでコリヴァギン＝フラッハ法（ヴィクター・コリヴァギンとマティアス・フラッハ（英語版）の方法）に基づくよう方針転換し、最後のレビュー段階で自分のコリヴァギン＝フラッハ法の運用に誤りがないか確認を依頼するためプリンストンの同僚ニック・カッツに「谷山-志村が証明できそうだ」と打ち明け、助けを得るまで、細部に至るまでの証明を完璧な秘密のうちにほぼすべて独力で成し遂げた（ここまでで7年が経過していた）
つづく
429:現代数学の系譜 雑談
25/11/07 17:10:34.43 yoeUrdl8.net
つづき
URLﾘﾝｸ(ja.wikipedia.org)
ワイルズによるフェルマーの最終定理の証明
証明の発表とその後
発表の後、ニック・カッツがワイルズの論文の査読を行うレフェリーの一人として指名された。カッツはレビューにおいて、ワイルズに証明に関する様々な質問をしたが、そのうちにワイルズ自身も認めるギャップが証明に含まれることがわかった。証明の重要な箇所（ある種の群の位数に上限を与える部分）の誤りであり、コリヴァキアン＝フラッハ法を拡張するのに使用したオイラー系（英語版）が不完全だったというものだった。
ワイルズによれば、1994年9月19日の朝、彼はほとんど誤りの訂正を諦める寸前で、証明に失敗したことを認める瀬戸際におり、他の数学者が証明を発展させ、誤りを探すことができるように証明の詳細を発表しようとしていた。彼は証明がなぜ不完全だったのかを理解するための最後の確認をしていたが、不意に、コリヴァキアン＝フラッハ法の適用の際に問題となっている部分そのものが（コリヴァキアン＝フラッハ法のアプローチから得た経験を援用することで）岩澤理論の適用を可能にすることに気がついた。それぞれのアプローチは単体では不適切だが、両者のアプローチを組み合わせ、双方のアプローチのツールを使用することでギャップを取り除き、（ワイルズが最初に出した論文では証明が与えられていなかった）すべての場合に有効な類数公式(Class Number Formula, CNF)を与えた。[13]。
1994年10月6日に、ワイルズは3人の同僚（ゲルト・ファルティングスを含む）に彼の新しい証明を査読するように頼んだ[15][16]。1994年10月24日にワイルズは2つの論文を投稿した。この2つの論文は精査され、最終的に1995年5月にAnnals of Mathematicsで発表された。
・Modular Forms, Elliptic Curves and Galois Representations（モジュラー形式、楕円曲線およびガロア表現）[3]
・Ring theoretic properties of certain Hecke algebras（ある種のヘッケ代数の環論的性質）[4]
後者がワイルズとテイラーの共著で、主論文で訂正が必要だった箇所を修正し、必要な条件が満たされていることを証明したものである
(引用終り)
以上
430:１３２人目の素数さん
25/11/07 17:26:19.68 OlPvA04S.net
>>428
>「どうしてそう判断できた」？ なにを仰るウサギさん ；ｐ）
>１）ショルツエ自身が、”radical simplifications”やってますと 自白しているｗ
どこで自白したのですか？
そしてそれはどういう意味のことであるかをあなたは理解しているのですね？
431:１３２人目の素数さん
25/11/07 17:36:59.43 OlPvA04S.net
>>428
>今から ど素人の私が、ワイルズ証明を ”radical simplifications”と称して 書きなおして「矛盾起きた」とできるぜよｗ
では書き直してみてください
ワイルズのフェルマーの最終定理の証明は既に確立されていると認められていますよ
書き直したところでどのように評価されるかは分かりましょう
翻ってIUTは認められていないというところがまるで異なるのです
それからあなたはまた「公理がないのは公理の否定」と同じ間違いをしています
scholzeという人は「矛盾が起きた」とは言っていません
証明が認められないと言っているのです
望月という人自身も彼の周りの人達も
証明が認められるためにすべきことを放棄しているように見えます
傍から見て
IUTサイドに分が悪い状況が続いていますし
今後もそれは改善されそうにありません
432:１３２人目の素数さん
25/11/07 17:39:57.76 OlPvA04S.net
>>428
>望月の元論文は数百ページあって ショルツエ氏の文書は たった10ページだよ
>単純にページ数の比較で、大幅な”simplifications”であることは 明白です
まるで意味をなしません
全部を否定しているのではないからです
たった10ページの非難も克服できないのがIUTサイドということになり
大いに分が悪い状況なのですよ
433:１３２人目の素数さん
25/11/07 17:42:37.75 OlPvA04S.net
>>428
>単純にページ数の比較で、大幅な”simplifications”であることは 明白です
まさかと思いますが
あなたの評する「大幅な”simplifications”」と
scholzeという人の言う「 ”radical simplifications”」が
同じ内容だと思ってませんか？
それにはscholzeという人の言う「 ”radical simplifications”」が
何を指しているのかを理解していなくてはなりませんが
あなたにそれは出来ているのですね？
434:１３２人目の素数さん
25/11/07 17:46:24.00 OlPvA04S.net
>>422
>ストローマン（英: straw man）は、議論において、相手の考え・意見を歪めて引用し、その歪められた主張に対してさらに反論するという間違っている論法のこと、あるいはその歪められた架空の主張そのものを指す[1]。ストローマン手法、藁人形論法、案山子論法（かかし論法）ともいう
あなたがscholzeという人の言っていることを>>428
>単純にページ数の比較で、大幅な”simplifications”であることは 明白です
と非難している
その手法こそがその「ストローマン手法」に見えます
435:現代数学の系譜 雑談
25/11/07 17:52:04.78 yoeUrdl8.net
>>430
>>１）ショルツエ自身が、”radical simplifications”やってますと 自白しているｗ
>どこで自白したのですか？
>そしてそれはどういう意味のことであるかをあなたは理解しているのですね？
ふっふ、ほっほ
>>411より再録
“Why ABC is still a conjecture” [URLﾘﾝｸ(www.math.uni-bonn.de)
P4
”2.1.Glossary: IUTT-terminology and how we may think of these objects.
This will involve certain radical simplifications, and it might be argued that such simplifications strip awayall the interesting mathematics that forms the core of Mochizuki’s proof.”
(引用終り)
ショルツエ自身が、書いている文章が上記ですよ
「どういう意味のこと？」
ショルツエ氏の 2.1項を 読めばわかる
文字通り ”radical simplifications” （望月論文の数百ページを わずか10ページ未満に simplification）
>>431
>>今から ど素人の私が、ワイルズ証明を ”radical simplifications”と称して 書きなおして「矛盾起きた」とできるぜよｗ
>では書き直してみてください
>ワイルズのフェルマーの最終定理の証明は既に確立されていると認められていますよ
>書き直したところでどのように評価されるかは分かりましょう
だから、私はやらない
だけど、ショルツエ氏は 望月IUT証明について
「それ（simplifications）を、やりました」と 宣言している
その時点で、ストローマン確定ですよ
>>412より再録
URLﾘﾝｸ(ja.wikipedia.org)
ストローマン（英: straw man）は、議論において、相手の考え・意見を歪めて引用し、その歪められた主張に対してさらに反論するという間違っている論法のこと、あるいはその歪められた架空の主張そのものを指す[1]。ストローマン手法、藁人形論法、案山子論法（かかし論法）ともいう
436:１３２人目の素数さん
25/11/07 18:00:04.37 oWYZmrG5.net
ショルツェの指摘に対し望月は罵倒で返した
これがすべて
なぜなら証明を認めてもらおうとする立場である望月が本来すべきだったのは、ショルツェを納得させることであって罵倒して退けることではないはずだから
望月自身が証明になっていないと白状したも同然の暴挙
IUTはすでに命運が尽きている
437:１３２人目の素数さん
25/11/07 18:01:01.02 gXeeb6pb.net
脳味噌腐っってんなオイ
438:現代数学の系譜 雑談
25/11/07 18:07:50.45 yoeUrdl8.net
>>432
>たった10ページの非難も克服できないのがIUTサイドということになり
>大いに分が悪い状況なのですよ
下記「地動説 ガリレオ裁判」
いまは、民主主義で 表現の自由がある
ショルツエ氏が、何を主張しようが 彼の勝手ですが
しかし、世間を見渡して 2025年のいま ショルツエ氏の主張を
表立って支持する 人は 例のwoitブログにたむろする人たちのみです
あとは、中立が多いだろうが
IUT支持者は、増えている
実際、日本人数学者で 望月IUTを否定する数学者は、皆無です
フランス人数学者においても同様です
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
地動説
ガリレオ裁判
→詳細は「ガリレオ・ガリレイ § 裁判」を参照
彼への判決は「異端の強い疑い」[41]という厳しいもので、酌量されたものの、一度は無期刑を宣告された。また、問題となった『天文対話』は禁書に指定され、死後はカトリックとして埋葬されることを許されなかった。
439:現代数学の系譜 雑談
25/11/07 18:13:40.24 yoeUrdl8.net
>>436
>ショルツェの指摘に対し望月は罵倒で返した
>これがすべて
>なぜなら証明を認めてもらおうとする立場である望月が本来すべきだったのは、ショルツェを納得させることであって罵倒して退けることではないはずだから
まあ、望月氏の罵倒癖は いまや数学界では有名でしょうね
ジョシ氏にも、AIのハルシネーションだとか 9.11テロだとかね
それでも、やっていけるのは プリンストン大 飛び級の大天才だからか・・ （＾＾
440:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/07 18:24:57.53 AosDg46d.net
宇宙も地球も回ってるんじゃないの。
441:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/07 18:25:30.68 AosDg46d.net
ガリレオは馬鹿なんですか。
442:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/07 18:26:12.54 AosDg46d.net
宗教裁判も。
443:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/07 18:27:51.44 AosDg46d.net
馬がかわいそうだなガリレオにしてもロダンにしても。そこからどう勝てと。
444:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/07 18:28:37.11 AosDg46d.net
タッチ疑惑と世間知らず。
445:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/07 18:29:53.14 AosDg46d.net
蝶がりんごと同じ引力で落ちるかい。
446:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/07 18:31:00.88 AosDg46d.net
万有引力も間違い。もっと複雑に交差してる。
447:１３２人目の素数さん
25/11/07 18:43:36.80 oWYZmrG5.net
>>438
>IUT支持者は、増えている
>実際、日本人数学者で 望月IUTを否定する数学者は、皆無です
>フランス人数学者においても同様です
自分が何言ってるか分かってないんだろう アホだね
448:１３２人目の素数さん
25/11/07 18:44:51.16 oWYZmrG5.net
>プリンストン大 飛び級の大天才
相変わらず権威主義で草
アホは死ななきゃ治らない
449:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/07 18:59:55.59 AosDg46d.net
プリンストンか。ナッシュの映画は幻覚世界の視覚や音声、匂いを描けていないな。
450:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/07 19:02:01.44 AosDg46d.net
見捨てないナッシュの夫人はビューティフル・マインド、美しい心の持ち主だ。美貌だけでなく。
451:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/07 19:04:13.83 AosDg46d.net
俺はそういう記録映画をCGアニメも含めて用意してみようと思う。ホログラム。
452:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/07 19:05:09.42 AosDg46d.net
偏見がなくなれば迫害もなくなりノーマル化されない。
453:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/07 19:06:19.13 AosDg46d.net
ビョークならいいんですか。俺等はダメで。
454:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/07 19:07:44.35 AosDg46d.net
ナッシュよりはマシだと思う。精神のサイコドラマ。
455:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/07 19:10:01.07 AosDg46d.net
公開しちゃったほうがいいんじゃないの。まず百聞は一見にしかず。
456:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/07 19:11:21.44 AosDg46d.net
秘匿される神秘神の意識に気が触れ狂う。
457:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/07 19:12:37.96 AosDg46d.net
目立っていかないとといじめ性暴力ですら防げない。
458:１３２人目の素数さん
25/11/07 19:15:38.44 Wa1lajrV.net
>>435
>ショルツエ自身が、書いている文章が上記ですよ
そしてその中の「radical simplifications,」とはなんであるかをあなたは理解しているのですね？
理解して居なければ
単にあなたのようにページ数だけで
>単純にページ数の比較で、大幅な”simplifications”であることは 明白です
とすべきことだと断定できません
理解もしておらず
>単純にページ数の比較で、大幅な”simplifications”であることは 明白です
と断じているので
あなたがやっていること自体が「ストローマン手法」に見えるわけです
459:１３２人目の素数さん
25/11/07 19:18:09.11 Wa1lajrV.net
>>438
>実際、日本人数学者で 望月IUTを否定する数学者は、皆無です
>フランス人数学者においても同様です
受け入れている数学者も望月さんの周りの人以外にほとんど居ないようですね
先日の学会講演でも
大変よい機会であったにもかかわらず
言及は一切無く幻滅しました
周りの人達もだんだん離れて行っているのでしょうか？
460:１３２人目の素数さん
25/11/07 19:38:19.10 JYXCLyjm.net
罵倒で返してるのは心の中では自分のほうが間違ってると思ってきてて、それでもなおそれを認められないから「もうつっかかってくるな、つっかかってくるならこうなるぞ、嫌な思いしたくなかったら黙って傍観してろ」という気持ちの表れ。ならばとこちらも嫌な思いしたくないから傍観した。そして消えた。
461:１３２人目の素数さん
25/11/07 21:29:59.94 sSYAS7v+.net
サルには分からん話かもしれんが
認めると否定するの間にはでっかい溝があんの
証明が正しいと間違ってるの間にはでっかい溝があんの
日本人数学者でも大半はabc予想解決を受け入れてないわけ
証明になってないと判断してるわけ
嘘だと思うならここ数年の間にarxivに載ったabc関連の論文を見てみな
abc予想が解決したことになってないだろ
462:１３２人目の素数さん
25/11/07 22:31:27.32 Wa1lajrV.net
ABC予想のWikipediaは日本語のものだけIUTを大きく取り上げてるね
だれが編集したんだろ？
英語版もフランス語版も
Various attempts to prove the abc conjecture have been made, but none have gained broad acceptance. Shinichi Mochizuki claimed to have a proof in 2012, but the conjecture is still regarded as unproven by the mainstream mathematical community.
Des démonstrations diverses de cette conjecture ont été revendiquées, mais à ce jour aucune n'est acceptée par la communauté mathématique.
だね
中国語版も同様
日本語版だけが異常な感じ
463:１３２人目の素数さん
25/11/07 23:01:26.97 oWYZmrG5.net
つまりあの界隈は異端扱いされてるってことか
まあそうやろな
464:１３２人目の素数さん
25/11/08 01:57:29.55 rzEyvxdc.net
イタリア語版は充実してなかったっけ？
465:１３２人目の素数さん
25/11/08 05:45:31.86 3nB+TfKS.net
>>426
＞現代数学の系譜 雑談 ◆yH25M02vWFhP ←こいつ荒らしです
別名：世田 先祖は広島廿日市出身らしい
経歴：自称 大阪大学工学部卒 専攻 材料系
実力：高卒程度 大学１年レベルの数学理論（集合論、実数論、線形空間論）は理解できず
人格：自己愛過多 極端な国粋主義者
総合判断
基本的に自惚れ屋 高校までは数学の秀才だったらしいが 大学の数学で挫折
しかしながら当人はこの事実が受け入れられない
一方で理論を理解するための地道な努力をする意欲は全くなく
結果として聞きかじりの知識をわけもわからず吹聴するという
安易な行為にふけって、日夜”オウンゴール”を続ける有様
466:１３２人目の素数さん
25/11/08 05:51:39.80 3nB+TfKS.net
>>439
＞望月氏の罵倒癖は数学界では有名
ただの人格障害
＞それでも、やっていけるのは プリンストン大 飛び級の大天才だからか
飛び級程度では大天才とは言わない
アメリカでアカポスが得られず日本に亡命した時点でやっていけてない
それでもそこそこのところまでは行ったがフィールズ賞レベルではない
IUTによるABC証明詐欺で、完全にブラックリストに載った
まっとうな数学者と認められることは永遠にないだろう
要するに・・・終わった人
467:１３２人目の素数さん
25/11/08 06:02:56.93 3nB+TfKS.net
もちろん、どんな荒唐無稽な考えも研究では許される
ただし、証明の要件を満たさなければ定理とはみなされない
系３．１２を前提した場合にABC予想が証明できる、というのはそうだろうが
肝心の系３．１２が証明できてないので、ABC予想は予想扱いのまま
系３．１２が望月新一による”新予想”として提案されたというだけのこと
ＩＵＴ自体は理論の体を成してない
望月新一は功を焦るあまり、知り合いに形の上だけ査読させてアクセプトさせ
論文掲載して実績づくりをしようと画策した これはもちろん立派な不正
本来ならＩＵＴ論文はリジェクトされるべきであったが、
すでに文科省に成果として報告してしまったため、
いまさらリジェクトすると、不正がバレて最悪RIMSはつぶされる
それを避けるために、言い訳にもならない言い訳で
ＩＵＴ論文をアクセプトし掲載するという愚策をとった
これで日本は海外からの信用を完全に失った
所詮、日本は
非インド・ヨーロッパ系言語を話し
非キリスト教を信仰する
非コーカソイドが済む
という中国・朝鮮・東南アジア地域同様の「三非」最後進地域
468:１３２人目の素数さん
25/11/08 06:12:12.17 3nB+TfKS.net
＞所詮、日本は
＞非インド・ヨーロッパ系言語を話し
＞非キリスト教を信仰する
＞非コーカソイドが済む
＞という中国・朝鮮・東南アジア地域同様の「三非」最後進地域
まあ、これは実はヨーロッパ至上主義に対する当てこすりである（笑）
そもそもヨーロッパは先進地域ではなかった
数が発明されたのはメソポタミアやエジプトであって、ヨーロッパではない
今の記数法や筆算法が発明されたのもインドであって、ヨーロッパではない
それらを保護し伝えたのはイスラム教徒であって、キリスト教徒ではない
最初に記数法や筆算法がヨーロッパに伝わったのもイタリアであって、フランスとかイギリスとかではない
アメリカの数学が発展したのは第二次大戦後であって、昔からではない
しかも今アメリカで数学科なんていって学位とるのは、インド系とか中国系とかで、アメリカ人でもヨーロッパ系外国人でもない
これが世界の現実である
469:１３２人目の素数さん
25/11/08 06:13:58.68 3nB+TfKS.net
整数論や楕円関数論は大した理論だが
世間一般の人からみたらただの道楽であり趣味である
つまり現代数学は９割方ヲタ芸である（笑）
470:１３２人目の素数さん
25/11/08 06:28:50.49 3nB+TfKS.net
ガウスはさすがに大物なので、
全くのヲタ芸にも一般人の役に立つ芸にも通じていた
後者の典型例は「代数学の基本定理」だろう
べき根で表せようが表せまいが、複素数解は存在する
解の存在は、解の具体的な導出の方法に依存するものではない
このことが分からん奴が、ガロア理論に見当違いな期待をする
ガロア理論は、別に代数方程式の解の新導出法を提示するものではない
というか、別に有限回の手続きで完全に正確な解を得ることに固執しなければ
解の（実質的な）導出は可能である
任意の角の３等分は定規とコンパスでもいくらでも正確に”近似”できる
１／３＝１／４＋１／１６＋１／６４＋・・・＋１／４＾ｎ＋・・・
なのだから（笑）
あああ、あほくさ
471:１３２人目の素数さん
25/11/08 07:43:08.09 hP1E8Bup.net
>>464
見てみたけどABC予想での記述は他と同程度な感じ
だけどもIUT自体のWikipediaのページは充実してる
日本語・英語・イタリア語の3言語しかないけれど
イタリア語＞＞日本語＞＞英語みたいな分量・内容
なにせZEN大学の研究集会のことも載ってるくらいだし
472:１３２人目の素数さん
25/11/08 08:01:22.74 hP1E8Bup.net
これについてはお答え頂けないようです
>>>313
>>圏論のロジック（矢印図）読めるのか？ キミはｗｗ （＾＾；
>圏論のロジックとは
>射を矢印で表した図式のことですね？
>しかし
>>いまどきは
>>圏論のロジック（矢印図）の方が重要だと思うよ
>>（例えば P15 "6.3. Duality and derived categories."とかね。なお 集合の論理式も P11辺りに 出てくるけどね）
>「圏論のロジック（矢印図）」が「集合の論理式」より重要な訳は何なんでしょう？
>これもどこかに書かれていたのでしょうか？
>あるいはあなた独自の解釈？
図式が集合の論理式より重要という独特の価値観を押しつけて>>313
>どうも、読めなさそうに見えるけどよ どうなの？ｗｗｗ
「www」と書いたのでしょうか？
それとどこを以て「どうも、読めなさそうに見える」と解釈したんでしょうか？
473:１３２人目の素数さん
25/11/08 08:53:52.05 ZuSEB9pS.net
日本で研究不正はたびたび起きている。
一方で日本は多数のノーベル賞受賞者を輩出している。フィールズ賞受賞もある。
望月とその一味が日本人の代表かのように言ってる馬鹿はよほど日本が嫌いなんだろう。なら日本から出ていけばよい。
474:現代数学の系譜 雑談
25/11/08 08:56:18.31 P9qVEF++.net
>>471
(引用開始)
>>464
見てみたけどABC予想での記述は他と同程度な感じ
だけどもIUT自体のWikipediaのページは充実してる
日本語・英語・イタリア語の3言語しかないけれど
イタリア語＞＞日本語＞＞英語みたいな分量・内容
なにせZEN大学の研究集会のことも載ってるくらいだし
(引用終り)
ありがとうございます
スレ主です
イタリア語版 IUT Wikipedia
URLﾘﾝｸ(it.wikipedia.org)
(google訳)
宇宙間タイヒミュラー理論
(引用終り)
これ 数学的な記述が詳しい（日本語版より詳しい）
IUTの独自記号についての解説は、イタリア語版を参考にしたら良いと思う
英語版には、編集に制限がかかっていて、新しい話題が あまり入らない
（”編集に制限がかかっていて”は、ホットな話題でよくあるが、編集合戦みたいことで 荒れるのを防止している意味がある。逆に見れば それはIUT賛成派も沢山いるってことだね）
475:１３２人目の素数さん
25/11/08 09:17:37.10 ZuSEB9pS.net
望月一味が荒らしているなら規制される
「規制されているから賛成派が沢山いる」は間違った推論
476:現代数学の系譜 雑談
25/11/08 09:23:13.25 P9qVEF++.net
>473
(引用開始)
日本で研究不正はたびたび起きている。
一方で日本は多数のノーベル賞受賞者を輩出している。フィールズ賞受賞もある。
望月とその一味が日本人の代表かのように言ってる馬鹿はよほど日本が嫌いなんだろう。なら日本から出ていけばよい。
(引用終り)
ミソクソ一緒の論だよ
1）研究不正は、日本に限らない
2）研究不正が、一番起きやすいのは 医学系だろう
例えば、ある薬を開発して ある人たちに試したら 50％効果ありだという論文があったとする
だが、その検証をするには、別の人たちに試してみないといけない
論文の”ある人たち”と”別の人たち”とは、当然別人だし ガセ論文と結論するには 手間暇かかる
3）逆に、数学での研究不正は 極めて困難だろう
ガセ論文と結論するには、ただ1点ギャップを指摘するか 論文に使われているある定理や系に反例を一つ指摘すれば良い
4）さて、これを望月IUTに見ると、IUT論文に対する数学的反論は 例のショルツェ氏のみ>>411
これは 噴飯物のストローマンでアウト！
(参考)>>411より再録
ショルツ 「完全にアウト」の理由は 二つ
１）下記 “Why ABC is still a conjecture”中 の
”2.1.Glossary: IUTT-terminologyandhowwemaythinkoftheseobjects.
This will involve certain radical simplifications, and it might be argued that such simplifications strip awayall the interesting mathematics that forms the core of Mochizuki’s proof.”
ここで ”radical simplifications”が、ストローマンでアウト！
（政治ディベートでは ストローマンは常套手段だが、数学では許されない！）
２）Scholze Review で(google訳)”重要な系 3.12 を除いて、読者は数行を超える証明を見つけることはありません。典型的な証明は「系 2.3 のさまざまな主張は、これらの主張の文で引用されている定義と参考文献から直接導かれる」と書かれており、数学的な内容の量と一致しています。”の部分が、下記 遠アーベル幾何学の流儀
「単遠アーベル的復元は,“所望の手続きの存在を証明する”ことが目的なのではなく,“所望の手続きを与える”ことが目的である. 例えば, [8],Corollary 1.10, は, その主張を述べるためにおよそ 3 ページが費やされ, しかし, 証明がたったの 2 行で終わってしまうという, 従来の数学では比較的珍しい構成になっている. このような状況が生じる背景には, この “主張の中にその手続きを書くべき” という考えがある.」
について、誤解誤読して Reviewを書いたと 丸わかり。遠アーベルのど素人レビュー丸出し （＾＾
つづく
477:現代数学の系譜 雑談
25/11/08 09:23:39.11 P9qVEF++.net
つづき
(参考)
URLﾘﾝｸ(zbmath.org)
zbMATH Reviewer: Peter Scholze (Bonn)
Mochizuki, Shinichi
Inter-universal Teichmüller theory. I: Construction of Hodge theaters. (English) Zbl 1465.14002
Publ. Res. Inst. Math. Sci. 57, No. 1-2, 3-207 (2021).
(抜粋)
Finally, let me briefly summarize the content of the individual papers. In parts II and III, with the exception of the critical Corollary 3.12, the reader will not find any proof that is longer than a few lines; the typical proof reads “The various assertions of Corollary 2.3 follow immediately from the definitions and the references quoted in the statements of these assertions.”, which is in line with the amount of mathematical content.
“Why ABC is still a conjecture” [URLﾘﾝｸ(www.math.uni-bonn.de) that discusses the issues in slightly more detail.
URLﾘﾝｸ(ja.wikipedia.org)
ストローマン（英: straw man）は、議論において、相手の考え・意見を歪めて引用し、その歪められた主張に対してさらに反論するという間違っている論法のこと、あるいはその歪められた架空の主張そのものを指す[1]。ストローマン手法、藁人形論法、案山子論法（かかし論法）ともいう
URLﾘﾝｸ(ja.wikipedia.org)
遠アーベル幾何学
脚注
8^ 単遠アーベル的復元は,“所望の手続きの存在を証明する”ことが目的なのではなく,“所望の手続きを与える”ことが目的である. 例えば, [8],Corollary 1.10, は, その主張を述べるためにおよそ 3 ページが費やされ, しかし, 証明がたったの 2 行で終わってしまうという, 従来の数学では比較的珍しい構成になっている. このような状況が生じる背景には, この “主張の中にその手続きを書くべき” という考えがある. (絶対 Galois 群による数体の復元 星 裕一郎 (京都大学 数理解析研究所) 2014年5月 p.4)
(引用終り)
以上
478:１３２人目の素数さん
25/11/08 09:33:30.19 ZuSEB9pS.net
>>472に答えず独善持論吐きまくっても無駄
479:現代数学の系譜 雑談
25/11/08 09:40:51.90 P9qVEF++.net
>>472
>図式が集合の論理式より重要という独特の価値観を押しつけて>>313
なにをおっしゃる ウサギさん
現代数学で 圏論が重要だと 例の数学者・加藤文元先生も 仰っていますです ハイ （＾＾
(google検索)
現代数学における 圏論の重要性
＜検索結果＞
URLﾘﾝｸ(note.com)
圏論の概要とその数学史における役割
under_the_sky
2024年5月10日
圏論は現代数学における「普遍言語」とも呼ばれ、異なる数学的構造や理論間の類似性と相違性を明確にします。
さらに、数学以外の分野、特に物理学や哲学においても、その概念が応用されていることがあります。
圏論は、これらの分野における基本的な概念や理論の橋渡しを行うことで、跨分野的な研究の発展に貢献しています
URLﾘﾝｸ(gendai.media)
2025.10.27
「現代数学の最重要理論」と呼ばれる「圏論」とは一体……わかりやすく「ハンバーグ」にたとえて解説してみた
ブルーバックス編集部
「圏論」をもっと身近に！
いかがだったでしょう。難解に思えた「圏論」を、すこしだけ身近に思ってもらえたでしょうか。続きはぜひ、『はじめての圏論』を読んでお確かめください。よりわかりやすく、詳しい解説が載っています。
URLﾘﾝｸ(realsound.jp)
Real Sound 2025.10.28
数学者・加藤文元に聞く、“圏論”がさまざまな分野で注目されるワケ「人間が世界を理解するときの、最適なモデルを与えてくれる」
文・取材＝宮田翔平、写真＝はぎひさこ
圏論は、わたしたちの思想の基盤を根本から変える可能性を秘めている。『はじめての圏論 ブンゲン先生の現代数学入門』（ブルーバックス）を上梓した加藤文元（かとうふみはる）氏に、「圏論」の基本と、これからの応用可能性について聞いた。
480:１３２人目の素数さん
25/11/08 09:41:19.06 hP1E8Bup.net
>>474
>イタリア語版 IUT Wikipedia
>URLﾘﾝｸ(it.wikipedia.org)
ほとんどはCicognacという人が書いているけれど
この人は別に数学の人ではないみたい
なのになぜこんな詳しいのか
多岐にわたる分野を編集していて
Wikipediaで賞を貰うくらいの人みたいだから
調査能力半端ないのかな？
481:１３２人目の素数さん
25/11/08 09:43:44.55 hP1E8Bup.net
>>479
>現代数学で 圏論が重要だと 例の数学者・加藤文元先生も 仰っていますです ハイ （＾＾
圏論は重要ですよ？
あなたに聞いたのは
>>472
>>>圏論のロジック（矢印図）の方が重要だと思うよ
>>>（例えば P15 "6.3. Duality and derived categories."とかね。なお 集合の論理式も P11辺りに 出てくるけどね）
>>「圏論のロジック（矢印図）」が「集合の論理式」より重要な訳は何なんでしょう？
>>これもどこかに書かれていたのでしょうか？
>>あるいはあなた独自の解釈？
>図式が集合の論理式より重要という独特の価値観を押しつけて>>313
>>どうも、読めなさそうに見えるけどよ どうなの？ｗｗｗ
>「www」と書いたのでしょうか？
>それとどこを以て「どうも、読めなさそうに見える」と解釈したんでしょうか？
ということです
話をすり替えないで欲しいですね
482:１３２人目の素数さん
25/11/08 09:44:58.78 elho9SB9.net
ネットサーフィンで単語拾い上げてるだけの作業を調査とかwww
セタみたいなアホのイタリア版やろwwwww
483:１３２人目の素数さん
25/11/08 09:47:44.70 fkQlO+Il.net
MacLaneの"Homology"を読めば圏論的な思考のまとめ方が
どんなものかが理解できるように思う
484:１３２人目の素数さん
25/11/08 09:48:13.56 hP1E8Bup.net
>>321
>「ここにあるのは有り難いことこの上ない圏論のロジックで矢印図と呼ばれるのじゃ
>集合の論理式よりずっと高尚なものなのじゃ」
>みたいなことを言いたいの？
てことですか？
485:１３２人目の素数さん
25/11/08 09:52:11.53 fkQlO+Il.net
wwwがポイントでは？
486:１３２人目の素数さん
25/11/08 09:57:04.21 ZuSEB9pS.net
>話をすり替えないで欲しいですね
ストローマンストローマン言うてるセタこそがストローマン
487:１３２人目の素数さん
25/11/08 10:02:37.17 fkQlO+Il.net
というすりかえ
488:現代数学の系譜 雑談
25/11/08 10:04:38.10 P9qVEF++.net
>>479
>>図式が集合の論理式より重要という独特の価値観を押しつけて>>313
補足しておくと
集合論としては、下記の 東北大 尾畑研のpdf程度で 良いのではないかと
つまり、コテコテのZFCの一階述語論理を 学部1年で 押しつけるのは 如何なものかと
つまり、人は日常では、必ずしも 純粋な一階述語論理では 思考していないわけで
前20世紀中頃は、数学は 日常のいい加減な 思考を排して コテコテの一階述語論理を優先すべし
（代表例がεδ式）
みたく教える人が多かったが
今21世紀は、もう少し 多様な考えが出てきた（その代表が超準や圏論）ように思います （＾＾
(参考)
URLﾘﾝｸ(www.math.is.tohoku.ac.jp)
東北大 尾畑研
「集合・写像・数の体系 数学リテラシーとして」の草稿(pdf)
第1章
第2章
第3章
略す
489:現代数学の系譜 雑談
25/11/08 10:09:42.76 P9qVEF++.net
>>483
>MacLaneの"Homology"を読めば圏論的な思考のまとめ方が
>どんなものかが理解できるように思う
巡回ご苦労さまです
御大は、東大入学早々に
MacLaneの"Homology"を読んだとかいう ウワサですね
びつくりです （＾＾
490:１３２人目の素数さん
25/11/08 10:23:00.28 ZuSEB9pS.net
>>488
>集合論としては、下記の 東北大 尾畑研のpdf程度で 良いのではないかと
>つまり、コテコテのZFCの一階述語論理を 学部1年で 押しつけるのは 如何なものかと
ZFCも一階述語論理も理解できないオチコボレが大学教育論語ってて草
>つまり、人は日常では、必ずしも 純粋な一階述語論理では 思考していないわけで
素直に勉強するのが嫌と言えばよい 言い訳はみっともない
491:１３２人目の素数さん
25/11/08 10:28:32.46 ZuSEB9pS.net
そもそも一階述語論理は思考法ではないが、そこから分かってないセタが
>つまり、人は日常では、必ずしも 純粋な一階述語論理では 思考していないわけで
とかほざいたところでまったくのナンセンス
492:現代数学の系譜 雑談
25/11/08 10:35:55.86 P9qVEF++.net
>>488 追加
(参考)
URLﾘﾝｸ(www.math.is.tohoku.ac.jp)
東北大 尾畑研
「集合・写像・数の体系 数学リテラシーとして」の草稿(pdf)
第1章
URLﾘﾝｸ(www.math.is.tohoku.ac.jp)
ここの
P14 「定理1.20(背理法)次の推論は有効である」
からの”背理法”の説明が秀逸だ
ZFCのコテコテの一階述語論理より、こっちの方が重要だろうさ ；ｐ）
(参考)（但し 東京理科大の人は、”背理法被害者の会”が 済むまで 大人しくしておくように。望月先生のような態度は、天才のみに許されるのです （＾＾）
URLﾘﾝｸ(note.com)
背理法に背を向ける（2002,2013・東京理科大学・理学部・数学科）
uenotakato（上野尚人:イマイさん）数学講師
2019年5月31日
URLﾘﾝｸ(abel.a.la9.jp)
背理法被害者の会
東京理科大学理学部第一部数学科 教授 安部直人
493:１３２人目の素数さん
25/11/08 10:36:06.84 ZuSEB9pS.net
矛盾した理論はいかなる命題も証明できてしまうからまったくのナンセンス
セタの独善主張もまったくのナンセンス
494:現代数学の系譜 雑談
25/11/08 10:53:00.89 P9qVEF++.net
>>491
>そもそも一階述語論理は思考法ではないが、そこから分かってないセタが
>>つまり、人は日常では、必ずしも 純粋な一階述語論理では 思考していないわけで
そもそもが、人の日常は 論理だけでは 成り立たない
例えば、下記のドジャース ロバーツ監督 ”逆王手をかけた「5つの神采配」”（下記）
決して 論理だけでは これは 成り立たない！
20世紀は、このような人のもつ能力を殺すことを ”厳密”と称して 数学教育としてきた きらいがある
そこらの反省が 21世紀には出てきたのでは？
>>13-14 数とは何かそして何であるべきか デデキント 訳解説 渕野昌 筑摩書房2013
"多くの数学の研究者にとっては，数学は，記号列として記述された「死んだ」数学ではなく，
思考のプロセスとしての脳髄の生理現象そのものであろう"
”加藤文元氏 メンタルピクチャー、形式化図式と数学の「理解」”
”＜“big picture”＞” Career advice Terence Tao
に なっているように思う （＾＾
(参考)
URLﾘﾝｸ(news.yahoo.co.jp)
解任騒ぎの“ポンコツ評価”から一転、ロバーツ監督の逆王手をかけた「5つの神采配」を米メディアやファンがSNSで絶賛
11/2(日) RONSPO
ドジャースが10月31日（日本時間1日）、敵地トロントでのブルージェイズとのワールドシリーズ第6戦に3－1で勝利し、対戦成績を3勝3敗に戻して逆王手をかけた。不振のムーキー・ベッツ（33）を4番にし9回無死二、三塁で佐々木朗希（27）からタイラー・グラスノー（32）にスイッチするなど、デーブ・ロバーツ監督（54）の繰り出した5つの采配が次々と的中。これまでは継投策が裏目に出るなど、その采配が批判の対象となっていたが、一転、米メディアは「神采配」と評価し、SNSではファンが「彼に敬意を表する」などと称賛の言葉を並べた。
495:１３２人目の素数さん
25/11/08 11:01:22.16 ZuSEB9pS.net
>>492
ワロタ。
それは命題論理における背理法の証明。
述語論理は命題論理の拡張なんだから、当然述語論理においても背理法は成立する。
なお、真理値表を使わなくても同値変形で証明できる。
((￢P⇒Q)∧￢Q)⇔((P∨Q)∧￢Q)（含意の定義）⇔((P∧￢Q)∨(Q∧￢Q))（分配律）⇔(P∧￢Q)（矛盾律と選言三段論法）⇒P（連言除去）
どや、アホのセタにはちんぷんかんぷんやろ？
496:現代数学の系譜 雑談
25/11/08 11:02:55.70 P9qVEF++.net
>>493
>矛盾した理論はいかなる命題も証明できてしまうからまったくのナンセンス
そうだね
もし ”人が 純粋な述語論理のみで思考するならば・・”だが
具体的には、下記の 自己言及のパラドックス：嘘つきのパラドックス
これが、古代から エピメニデスのパラドックス（紀元前600年ごろ）として知られていたらしい
そして、集合論における ラッセルのパラドックス に 繋がっている
だが、古代から近世において
人は このような 自己言及のパラドックスを排除できる あるいは 排除すべきことを 知っていたのだろう
実際、古代ギリシャのユークリッド原論は 論理破綻など してない！ｗｗ ；ｐ）
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
自己言及のパラドックス
哲学および論理学における自己言及のパラドックス（じこげんきゅうのパラドックス）または嘘つきのパラドックスとは、「この文は偽である」という構造の文を指し、自己を含めて言及しようとすると発生するパラドックスのことである。この文に古典的な二値の真理値をあてはめようとすると矛盾が生じる（パラドックス参照）。
歴史
嘘つきのパラドックスの一例として、エピメニデスのパラドックス（紀元前600年ごろ）が示された。エピメニデスは伝説的哲学者でクレタ島出身（クレタ人）とされており、「クレタ人はいつも嘘をつく」と言ったとされている。この言葉の出典は、新約聖書中の「テトスへの手紙」（1章12-15節）である[1]。
集合論におけるパラドックス (ラッセルのパラドックス)
→詳細は「ラッセルのパラドックス」を参照
集合論における典型的なパラドックスは次のようなものである。これは特に、バートランド・ラッセルが議論の対象としたことで知られる（ラッセルは述語論理における同様のパラドックスについても議論している）。
497:１３２人目の素数さん
25/11/08 11:06:46.65 hP1E8Bup.net
>>488
結局答えてはくれないんですね>>472,481,484
それから>>458に
ストローマンさん
498:１３２人目の素数さん
25/11/08 11:18:01.14 5C95UMYm.net
>>465
オウンゴールｖｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
499:現代数学の系譜 雑談
25/11/08 11:26:08.95 P9qVEF++.net
>>495
ワロタ。
>なお、真理値表を使わなくても同値変形で証明できる。
>((￢P⇒Q)∧￢Q)⇔((P∨Q)∧￢Q)（含意の定義）⇔((P∧￢Q)∨(Q∧￢Q))（分配律）⇔(P∧￢Q)（矛盾律と選言三段論法）⇒P（連言除去）
>どや、アホのセタにはちんぷんかんぷんやろ？
下記 ピタゴラスの定理の証明
この定理には数百通りもの異なる証明がある。
だれかが、 （＾＾
大学への数学のコラムに書いていたが
下記 酒井隆 “直線” と幾何学一真っ直ぐなものと曲がったもの一 にもある
日本幽囚記,ゴロヴニン手記
『日本人の科学知識や教育の実情を知ろうとして，獄中接した新進の蘭学者にピタゴラスの
定理の内容を知っているかと尋ねた所もちろん知っているとの返事でした．それでは証明
はどうするのかと聞いたところその人は図を描いてちゃんと説明したそうです（数学セミ
ナーに確かその図というのが出ていたと思いますが）』
数百通りの証明を 理解し 覚えておく必要はなく
代表的なものを知っておけばいい
そして、ゴロヴニンに「証明は？」と聞かれたら 一つ分かり易いものを 提示すれば良い
わざわざ、分りにくい説明をする必要なし！！ｗ
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
ピタゴラスの定理
ピタゴラスの定理の証明
この定理には数百通りもの異なる証明がある。
URLﾘﾝｸ(www.mathsoc.jp)
2005年秋の日本数学会市民講演会：
“直線” と幾何学一真っ直ぐなものと曲がったもの一
酒井隆（岡山理科大学理学部）2005/09/18
P5
ところで，非常に多くのピタゴラスの定理の証明が知られていて，例えば次の図2のも
のはインドで知られていたといわれますが，代数の性質も使っています．多くの証明が考え
られるのは数学の特徴ですが，逆に「証明」とは論理だけではなく，なぜそれが成り立つ
かを成程と納得させ確信させる説明といってよいでしょう．したがって多様性が許される
訳です．その例を挙げましょう．明治以前の日本には（今は和算と呼ばれる）数学があり，
江戸時代には教育においても使われていました．江戸末期に函館に幽閉されたロシア海軍
仕官ゴロヴニンは幕府役人の取り調べの様子や，当時の日本の様子を記録に残しています‘
日本人の科学知識や教育の実情を知ろうとして，獄中接した新進の蘭学者にピタゴラスの
定理の内容を知っているかと尋ねた所もちろん知っているとの返事でした．それでは証明
はどうするのかと聞いたところその人は図を描いてちゃんと説明したそうです（数学セミ
ナーに確かその図というのが出ていたと思いますが）．エリートとはいえ，文化のまったく
違う二つの国の人たちが数学の話をしたというのは興味深いことです．
[2]日本幽囚記,ゴロヴニン手記 (1811-1813), 岩波文庫.
500:現代数学の系譜 雑談
25/11/08 11:30:08.51 P9qVEF++.net
>>499 補足
URLﾘﾝｸ(www.mathsoc.jp)
2005年秋の日本数学会市民講演会：
“直線” と幾何学一真っ直ぐなものと曲がったもの一
酒井隆（岡山理科大学理学部）2005/09/18
P5
多くの証明が考え
られるのは数学の特徴ですが，逆に「証明」とは論理だけではなく，なぜそれが成り立つ
かを成程と納得させ確信させる説明といってよいでしょう
(引用終り)
これは、至言です！
覚えておきましょう！！ （＾＾
501:１３２人目の素数さん
25/11/08 11:46:34.11 ZuSEB9pS.net
>>496
まーたセタがしったかしてアホなこと言っとる
>>矛盾した理論はいかなる命題も証明できてしまうからまったくのナンセンス
>そうだね
>もし ”人が 純粋な述語論理のみで思考するならば・・”だが
述語論理に限らん。命題論理でも同じだ。
>具体的には、下記の 自己言及のパラドックス：嘘つきのパラドックス
>これが、古代から エピメニデスのパラドックス（紀元前600年ごろ）として知られていたらしい
>そして、集合論における ラッセルのパラドックス に 繋がっている
>だが、古代から近世において
>人は このような 自己言及のパラドックスを排除できる あるいは 排除すべきことを 知っていたのだろう
>実際、古代ギリシャのユークリッド原論は 論理破綻など してない！ｗｗ ；ｐ）
ナンセンス。
理論が矛盾していることを証明するには、その理論内で任意の文PについてP∧￢Pを証明すればよい。内包公理を持つ素朴集合論が矛盾していることもそうして証明される。
逆に理論が無矛盾ならそのことをその理論内では証明できない。
502:１３２人目の素数さん
25/11/08 12:00:36.73 ZuSEB9pS.net
>>499
>数百通りの証明を 理解し 覚えておく必要はなく
>代表的なものを知っておけばいい
誰もそんなことは言ってない。
>>495程度の簡単な証明がサクッとできないようでは、どんなに数学書を読んでも分かった気分になるだけで決して分かることはない。
なぜなら、論理は数学の基礎であり論理が分からなければ数学は分からない、且つ数学書は読者が論理を分かってる前提で書かれている（つまり論理の説明は一切書かれてない）から。
503:１３２人目の素数さん
25/11/08 12:17:43.16 TJf5D2X1.net
ある大数学者が若い時に
自分は論理も計算もない数学をやってみたい
と言ったとか
数学者にはこういう気宇壮大さも必要だろう
504:１３２人目の素数さん
25/11/08 12:24:52.28 ZuSEB9pS.net
>人の思考は一階述語論理に縛られない
そもそもセタはぜ一階述語論理を忌み嫌うのかい？
命題論理を受け入れて一階述語論理を忌み嫌うのはなぜ？
それとも命題論理も忌み嫌ってる？
505:１３２人目の素数さん
25/11/08 12:27:19.35 ZuSEB9pS.net
>>503
ストローマン乙
その大数学者は論理を分かってないと？ んなこたーねーだろ？
506:１３２人目の素数さん
25/11/08 12:29:18.49 ZuSEB9pS.net
ていうか命題論理と述語論理の違いもちんぷんかんぷんかｗ
聞いた俺が馬鹿だった orz
507:１３２人目の素数さん
25/11/08 12:37:16.07 ZuSEB9pS.net
>>500
>「証明」とは論理だけではなく，なぜそれが成り立つかを成程と納得させ確信させる説明といってよいでしょう
その通り。
だからショルツェらを納得させられないIUTはabc予想の証明になってない。
本来なら指摘者を納得させようと努力すべきなのに逆ギレしてるようじゃ話にならん。
508:１３２人目の素数さん
25/11/08 12:47:46.63 TJf5D2X1.net
>>ショルツェらを納得させられないIUTはabc予想の証明になってない。
査読者(たち)は納得したのではなく
説得された(またはそのふりをした)というわけか
509:１３２人目の素数さん
25/11/08 13:00:44.96 AvBga2zV.net
カタワって身体障害者の事を言うんだろ？精神障害者はなんていうの？ [194767121]
ｽﾚﾘﾝｸ(news板)
510:１３２人目の素数さん
25/11/08 14:27:46.53 hP1E8Bup.net
>>508
そうかも知れませんがそれは明かされないでしょう
理解して査読を行ったはずの査読者が解説してくれるといいんですが
それも望めません
511:１３２人目の素数さん
25/11/08 15:07:06.30 3nB+TfKS.net
>>488
>東北大 尾畑研のpdf程度で 良い
第一章の１．４に述語論理出てくるけど、
カラスの世田はこんな基本的なことも
何ひとつ全然理解できてないよ（バッサリ）
URLﾘﾝｸ(www.math.is.tohoku.ac.jp)
512:１３２人目の素数さん
25/11/08 15:28:43.09 3nB+TfKS.net
>>488
＞20世紀中頃は、数学は コテコテの一階述語論理を優先すべし
＞（代表例がεδ式）と教える人が多かったが
つまりカラスの世田は、コーシー列の定義が理解できない、ってコト？
∀ε＞０．∃ｎ∈Ｎ．ｍ１，ｍ２＞＝ｎ⇒｜ｘ＿ｍ１－ｘ＿ｍ２｜＜ε
＞今21世紀は、もう少し 多様な考えが出てきた（その代表が超準や圏論）ように思います
∀も∃も使わないコーシー列の定義が、
「超準」とか圏論で、どうやったらできるのか示せる？
口から出まかせの嘘つきカラス君
513:現代数学の系譜 雑談
25/11/08 16:42:37.17 P9qVEF++.net
>>492 補足
背理法とベン図 及び 背理法の使いどき 下記
『ただ1通りに表される vs 2通りの表し方がある』は、手筋です
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
ove********さん 2013/1/4
背理法ってベン図かなにかで可視化できませんか？
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
ove********さん 2013/1/4
なぜp⇒qという命題の背理法では結論を否定して矛盾を見つけるんですか？
ベストアンサー
qxx********さん
2013/1/5
証明方法の原理はベン図で考えると分かりやすいです
p⇒qというのは、ベン図で言うなら、Pという集合の中に属しているなら、Qという集合の中に必ず属しているということと同義です(図1)
例えばpを4の倍数qを2の倍数としてみましょうか
図1と同じベン図になるのことが分かりますね
では背理法で行う「 p かつ (qでない) 」ことを仮定して、否定するというのはベン図で言うとどういうことか？
「 p かつ (qでない) 」は図2の斜線部分に相当します
本当は図1のようにPは全てＱのなかにすっぽり入っていて欲しいのです
ここで、ＰのくせにＱからはみ出している奴ら「 p かつ (qでない) 」を仮定してこいつらについて考えます
そこで矛盾を導き出すことで、こんなはみ出し者どもは居ない、ということを証明し、PはすべてＱの中にすっぽりと入っていること、すなわちp⇒qを証明するのです
これが背理法ですね
つづく
514:現代数学の系譜 雑談
25/11/08 16:43:13.56 P9qVEF++.net
つづき
URLﾘﾝｸ(manabitaizen.com)
背理法の使いどきと複数の文字を含む条件
ホーム 本一覧 武器になる数学Ⅰ 第1章 数と式・集合と命題
第10回 背理法の使いどきと複数の文字を含む条件 20240327
この記事では慣れないと使うのが難しい背理法をどんな場面で使えばよいのか具体例を挙げてまとめていきます。また、複数の文字を含む複雑な条件について考え、「すべての」や「ある」を付けるとどうなるか考察を深めます
目次
1. 背理法の使いどきまとめ
どんなときに背理法を使いたいと考えるかというと、証明する命題を否定したほうが扱いやすく、議論が進めやすいときです。 つまり、扱いやすい・扱いにくいペアを知ることが背理法を考えるヒントになります。これをまとめたのが下の表です
扱いにくい vs 扱いやすい
無理数 vs 有理数
存在しない vs 存在する
無限個存在する vs 有限個のみ存在する
素数 vs 合成数（と1）
互いに素 vs 素数の公約数をもつ
ただ1通りに表される vs 2通りの表し方がある
係数がすべて0（一次独立） vs 0でない係数がある（一次従属）
「PならばQ」型の結論に「または」 vs 「PならばQ」型の仮定に「かつ」
この表の見方は左側の事柄を示したい時に背理法の利用を考えて、右側であると仮定して矛盾を示します
もちろんこれ以外にも問題によって柔軟に考えるべきですが、特に背理法の問題として出題されるならこの表に載っているものが出る可能性が高いです
以下に具体例を載せておくので見てみてください
(引用終り)
以上
515:１３２人目の素数さん
25/11/08 17:02:10.00 ZuSEB9pS.net
>>513 >>514
可視化だの分かりやすいだの高校生かよｗ
大学生なら証明しろｗ
516:１３２人目の素数さん
25/11/08 17:17:03.51 ZuSEB9pS.net
>>496
>>矛盾した理論はいかなる命題も証明できてしまうからまったくのナンセンス
>そうだね
分かって言ってる？ 背理法も分からないんじゃ疑わしい
【定理】
P,Qを任意の論理式とする。P∧￢P |= Q。
【証明】
(1) P∧￢P (前提)
(2) P ((1)と連言除去)
(3) P∨Q ((2)と選言導入)
(4) ￢P ((1)と連言除去)
(5) Q ((3)と(4)と選言三段論法)
517:現代数学の系譜 雑談
25/11/08 17:18:51.24 P9qVEF++.net
>>510
>理解して査読を行ったはずの査読者が解説してくれるといいんですが
>それも望めません
終わっていると思う
IUT査読完了発表が、2020年4月で出版が 2021年3月
一方、これに合わせて September 2020 - April 2021 に
”Promenade in Inter-Universal Teichmüller Theory”下記
が、行われた
この中の フランス Lille大 Fresse、Dèbes
それに 東工大(当時) Wakabayashi
査読は、最低2グループで
海外のグループで フランス Lille大
国内のグループで 東工大(当時)
彼らが、査読が終わった IUTのセミナーをやったのが
”Promenade in Inter-Universal Teichmüller Theory”でしょう（当時IUTを理解している10人の人たち）
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
宇宙際タイヒミュラー理論
論文の出版と批判
上記のプレプリントは7年半にわたる審査を経て、2020年2月5日に査読を通過した。2020年4月、PRIMS特別編集委員会の記者会見で共同編集委員長の柏原正樹、玉川安騎男は、記者会見を行い、望月論文の査読受理を発表した[28]。
2021年3月に望月が編集主幹を務めるRIMS発行の論文誌PRIMSの特別号に掲載された[34]。
URLﾘﾝｸ(ahgt.math.cnrs.fr)
Arithmetic & Homotopic Galois Theory IRN
Activities - Conferences & Seminars
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Promenade in Inter-Universal Teichmüller Theory
Org.: Collas (RIMS); Dèbes, Fresse (Lille).
The goal of this seminar between Painlevé-Lille (France) and RIMS-Kyoto (Japan)
— September 2020 - April 2021
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Programme and schedule
September
09/24 T0 IUT Introductory Talk Collas
IUT Geometry (introductory)
October
10/08 T1.1 Abc & Szpiro conjectures: Roth and Belyi Cluckers - Fresse
November
11/5 T1.2 Abc & Vojta conjectures: heights and ramification Dèbes
December
12/03 T1.3 From Vojta to Mochizuki: Moduli spaces of elliptic curves Liu
January
01/21 T2.2 Cyclotomic Rigidity and Multiradiality Porowski
March
03/25 ATA Mono-anabelian Transport in Inter-universal Teichmuller Theory Hoshi
April
04/15 ATB Explicit Estimates in Inter-universal Teichmüller Theory Minamide
04/22 ATC Introduction to p-adic Teichmüller theory Wakabayashi
URLﾘﾝｸ(researchmap.jp)
若林 泰央
ワカバヤシ ヤスヒロ
2022年10月 - 現在大阪大学, 大学院情報科学研究科 情報基礎数学専攻, 准教授
2018年4月 - 2022年9月東京工業大学, 理学院, 助教
518:１３２人目の素数さん
25/11/08 17:28:01.97 ZuSEB9pS.net
>>513 >>514
>人の思考は一階述語論理に縛られない
こんな能書き垂れて勉強しないから背理法ひとつ証明できないんだよど素人くん
519:１３２人目の素数さん
25/11/08 17:32:26.14 ZuSEB9pS.net
大学数学でベン図で可視化とか言ってたらそりゃ落第するわなｗ
520:現代数学の系譜 雑談
25/11/08 17:45:37.49 P9qVEF++.net
>>502
>ある大数学者が若い時に
>自分は論理も計算もない数学をやってみたい
>と言ったとか
>数学者にはこういう気宇壮大さも必要だろう
たとえば どういう数学者・・・？
そうか！ 佐藤幹夫先生だ！！ｗ
論理も計算も、弟子や同僚が主にやったという
例えば 証明は、柏原先生の担当
佐藤-Tate 予想の数値計算は、難波完爾先生が
ソリトンの理論の数値計算は、佐藤幹夫先生の奥様(毛織泰子,佐藤泰子)だった・・
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
佐藤・テイト予想
予想は1963年[3]に佐藤幹夫(Mikio Sato)により提出され、ジョン・テイト(John Tate)により代数幾何学的に解釈された。[4]
脚注
3^ 難波 2006, p. 105.
参考文献
難波完爾「Dedekind η 関数と佐藤 sin2-予想」『第16回数学史シンポジウム報告集』（PDF）27号、津田塾大学数学・計算機科学研究所〈津田塾大学数学・計算機科学研究所報〉、2006年、95-167頁。
URLﾘﾝｸ(tsadahiro.github.io)
第16回数学史シンポジウム
難波完爾 Dedekind η 関数と佐藤 sin2-予想 URLﾘﾝｸ(tsadahiro.github.io)
（Ｐ3 辺りの話）
URLﾘﾝｸ(ja.wikipedia.org)
佐藤理論（さとうりろん）は、佐藤幹夫によるソリトン方程式と解に関する理論である[1]。(京都大学数理解析研究所講究録388 1980[2],; 414, 1981[3])
KP方程式 (en)をはじめとする完全可積分方程式のソリトン解の τ関数は普遍Grassmann多様体上の点で、双線形方程式はPlücker関係式である。
脚注
2^ 佐藤幹夫, 毛織泰子「広田氏のBilinear Equationsについて (線型微分方程式の変形理論とアーベル函数論の拡張への新しい視点)」『数理解析研究所講究録』第388巻、京都大学数理解析研究所、1980年6月、183-204頁、CRID 1050001335646521728、hdl:2433/104905、ISSN 1880-2818。
3^ 佐藤幹夫, 佐藤泰子「広田氏のBilinear Equationsについて (II) (Non-Linear Waves : Classical Theory and Quantum Theory)」『数理解析研究所講究録』第414巻、京都大学数理解析研究所、1981年1月、181-202頁、CRID 1050564285594610176、hdl:2433/102452、ISSN 1880-2818。
521:現代数学の系譜 雑談
25/11/08 17:49:10.35 P9qVEF++.net
>>519
>大学数学でベン図で可視化とか言ってたらそりゃ落第するわなｗ
話は真逆 >>13-14
加藤文元氏 メンタルピクチャー、形式化図式と数学の「理解」
＜“big picture”＞ Career advice Terence Tao
これを、常に心がけるべし！ ；ｐ）
522:１３２人目の素数さん
25/11/08 17:54:04.90 ZuSEB9pS.net
>>521
誰も可視化するなとは言ってない。したきゃ勝手にすればいい。可視化止まりじゃ不十分だと言っている。
相変わらず言葉が通じんな君は。
523:現代数学の系譜 雑談
25/11/08 18:04:03.37 P9qVEF++.net
>>511
>第一章の１．４に述語論理出てくるけど、
>カラスの世田はこんな基本的なことも
>何ひとつ全然理解できてないよ（バッサリ）
>URLﾘﾝｸ(www.math.is.tohoku.ac.jp)
ご苦労さまです
(引用開始)
1.4 述語論理
これまで命題と論理演算を組み合わせてより複雑な命題を構成したり推論形式の有効性を議論してきた
そこで展開してきた論理体系を命題論理と呼ぶ
しかしながら命題論理では真偽が確定する命題だけを扱うため数学の基礎付けとしては守備範囲が極めて限定的で不十分である
命題論理を拡張して変数を含む命題を扱うことのできる論理体系を述語論理という
現代数学のほとんどの部分は述語論理によってカバーされる
■命題関数変数(扱う対象は数とは限らないので変項ともいう)を含む主張でその変数を特定するごとに真偽の確定する命題になるものを命題関数といいP(x),Q(x,y)のような記号で表す
ここでx,yを自由変数と呼ぶ
(引用終り)
524:１３２人目の素数さん
25/11/08 18:07:50.34 hP1E8Bup.net
>>517
>”Promenade in Inter-Universal Teichmüller Theory”でしょう（当時IUTを理解している10人の人たち）
B. Collas (RIMS Kyoto, JP)
R. Cluckers (Lille - Leuven, FR)
B. Fresse (Lille, FR)
Porowski (Notthingam, UK)
P. Debes (Lille, FR)
S. Tsujimura (RIMS Kyoto, JP)
Liu (?)
A. Minamide (RIMS Kyoto, JP)
K. Sawada (Osaka, JP)
S. Mochizuki (RIMS Kyoto, JP)
Y. Hoshi (Lille, FR)
?. Wakabayashi (Tokyo)
12人の気鋭の男たちですか
N. Borne (Lille, FR)
J. Hauseux (Lille, FR)
L. Ramero (Lille, FR)
ポスターには名前が載ってましたが
この3名の方は講演はしなかったんですね？
世界的に否定的な風潮である中
これらの人は現在どういう発言をしてますかね？
525:現代数学の系譜 雑談
25/11/08 18:10:44.30 P9qVEF++.net
>>523
ここは中高一貫校生も来る可能性があるから
補足をば
(参考)
URLﾘﾝｸ(www2.yukawa.kyoto-u.ac.jp)
数理論理学入門
高崎金久（京都大学）
URLﾘﾝｸ(www2.yukawa.kyoto-u.ac.jp)
V. 述語論理の意味論
1. 述語論理は何を記号化したものか
1.1 述語論理の特徴
命題論理では「命題」（あるいはその記号化である「命題記号」） が基本的な構成要素であった．命題論理が得意とするのは， 論理回路のように，記述対象が有限個の状態のみをもち， しかもそれらの状態が有限個の命題変数の真理値割り当て（つまりビット列） として表現できる場合である．
命題論理は論理回路などよりも複雑な対象を記述する場合には 力不足である．たとえば，対象が無限に多くの状態をもつか， あるいは，有限個であってもその上限が不定であるような場合を 考えよう．そのような対象を命題論理の枠組で記述しようとすれば， おそらく無限個の命題変数とそれらに関する無限個の論理式を 同時に扱うことが必要になるだろう．これは命題論理の通常の 枠組から逸脱している．さらに，命題論理には対象そのものを 記述する要素が含まれておらず，対象の状態を命題変数でいわば 「間接的に」記述することしかできない（「箱とボール」の パズルを思い出されたい）．
命題の代わりに「述語」を基礎にするのが述語論理である． 述語は変項をもち，変項に代入されるものによって真理値が 決まるもので，対象の性質や対象間の関係を表現している． 変項に代入するものを構成するため「変数」・「定数」・ 「函数」・「演算」など（いずれも実体というよりは 単なる記号である）が用意されるが， これらは記述する対象や対象に関する函数・演算などを 表現している．述語論理の論理式はこのような述語から 構成される．以上のようなものによって命題に内部構造 を持ち込むことができる．
さらに，論理記号として新たに「量化子」（「限量子」 ともいう）が導入されることも大きな特徴である． 量化子は記述対象を指す変数（「対象変数」）を 修飾する記号で，すべての対象に対して主張が 成立することを意味する「全称量化子」と， 少なくとも一つの対象に対して主張が成立する ことを意味する「特称量化子」の二種類がある． 対象変数に関するこの種の論理記号はこの二つ以外にも 考えられているが（たとえば，「様相論理」では「様相記号」 と呼ばれるものが新たに導入される）， 数学の定理などを定式化する際にはこの二種類の量化子で 十分なことが経験上わかっている．
1.2 述語とは何か
526:現代数学の系譜 雑談
25/11/08 18:25:42.13 P9qVEF++.net
>>524
>世界的に否定的な風潮である中
>これらの人は現在どういう発言をしてますかね？
否定の風潮は、どんどん収っています
例えば、下記が、遠アーベルの研究ネットワークで
下記と対比されれば、よろしいかと
URLﾘﾝｸ(ahgt.math.cnrs.fr)
Arithmetic & Homotopic Galois Theory IRN
Members & Partners
ここのメンバーは、別にIUTを否定してはいない
多分、手放しの全面肯定でない人もいるかも
例えば
Germany
Jakob Stix, Goethe University Frankfurt
でも、ここらの数学者は みんな IUTは過去で
次の仕事のネタだと思っているでしょうね
このリストではないが 周忠鵬のように・・
527:現代数学の系譜 雑談
25/11/08 18:37:05.54 P9qVEF++.net
>>526
下記 落合 理 Tadashi Ochiai 先生が
メンバーにいて へー と思いました（数学セミナー誌でよく名前を見たので）
阪大から 東工大の教授へ（いま 東京科学大学）
東工大は、IUT関連の東の拠点だからか・・（＾＾
(参考)
URLﾘﾝｸ(ahgt.math.cnrs.fr)
Japan
・Ochiai Tadashi, Tokyo Institute of Technology
URLﾘﾝｸ(researchmap.jp)
落合 理
Tadashi Ochiai
所属東京科学大学 理学院数学系 教授
学位
博士（数理科学）(東京大学)
MISC 24
代数的整数論とその周辺における問題設定
落合理
数理科学 2020年10月
円分ℤp拡大から保型形式のp進族へ (特集 現象を通して見る岩澤理論)
落合 理
数学セミナー 57(1) 26-31 2018年1月
数の世界の散歩道 : 整数論に導かれて(第12回)ゼータ関数の特殊値(2)
落合 理
数学セミナー 56(3) 80-86 2017年3月
数の世界の散歩道 : 整数論に導かれて(第11回)ゼータ関数の特殊値(1)
落合 理
数学セミナー 56(2) 76-82 2017年2月
528:現代数学の系譜 雑談
25/11/08 18:43:02.34 P9qVEF++.net
>>527 余録
URLﾘﾝｸ(www.math.titech.ac.jp)
落合 理 の ホームページ
URLﾘﾝｸ(www.math.titech.ac.jp)
セミナー準備及び勉強に関する注意
以下の注意は、セミナーに配属されたばかりの4年セミナー又はM1のセミナーを 対象としています。幾つかはそのようなビギナー以外にも該当する 普遍的な項目もありますが、 一方で１年間通してやり続けられたら その後は完璧に守り続ける必要のない項目もあります。また、各人の個性の違い もあるので、人によっては合わない内容もあるかもしれません（そもそも、全員に例外 なく当てはまる勉強法があるならば指導者は必要ないのではないでしょうか...）。
なので、矛盾するようですが、後で「型」を外すことが大事になることもあるか もしれません。ただ、最初からリベラルに進めるだけでは、一定以上の深みに達 することはできないように思います。
また、あくまで私のセミナーにおける「型」 ですので、他の指導者の下では当然考え方は違うかもしれませんが、ビギナーは 何らかの一貫した「型」に当てはめられた訓練 をすることも必要だと思います。
数学の勉強の仕方に関してインターネットや書籍などに様々な文章があります。
例えば、 東大の河東先生のホームページ
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
の文章なども参考になります。精読してみてほしいと思います。 しかしながら、大 学や研究室ごとの細かい事情の違いもあるので 私のところでは(若干それぞれの個性の違いを鑑みての個別に 異なる指導もありますが)このような型で指導するという方針を 以下にまとめておきます (2013年3月記 / 以後ときどき加筆修正）。
529:１３２人目の素数さん
25/11/08 18:56:49.09 hP1E8Bup.net
>>526
>ここのメンバーは、別にIUTを否定してはいない
>多分、手放しの全面肯定でない人もいるかも
その分野の専門家で理解ができているなら
全面肯定せねばならないはずです
それをしないのは
結局誰も分かってないのでは？
と疑われても仕方ないでしょうに
530:１３２人目の素数さん
25/11/08 19:10:49.92 ZuSEB9pS.net
>>525
君がコピペしたいのは、理解できてるフリしたいからでしょ？ 残念ながら君がぜんぜん理解できてないの丸分かりだよ。 君のコピペ行為は君の目的を何一つ達成していない。 無駄なことはやめよう。
531:１３２人目の素数さん
25/11/08 19:46:09.96 2oa8cE4b.net
まぁ肯定も否定も何もiutがどういう数学基礎論に基づいているかすら誰にも説明できない。この世界に誕生すらしていないしもう誕生することもない。望月先生のアイデアとしてこのまま消えていくのみ
532:１３２人目の素数さん
25/11/08 20:02:06.42 ZuSEB9pS.net
IUTは望月のポエム
数学と思うから論争になる ポエムだから論争は野暮
533:１３２人目の素数さん
25/11/08 20:04:24.37 3nB+TfKS.net
>>256
池上大輔氏 曰く
「現在知られている集合論の手法（※）では
ZFCのモデルMから、新しいZFCのモデルNを構成して
MとNの間で一階算術の命題の真偽を変えることはできない
もしリーマン予想がZFCの下で証明も反証もできないとして
そのことを現在の集合論の手法で検証することはできない」
望月新一は、
「通常の方法ではABC予想は証明できないから、IUTを考えた」
というが まず、
「通常の方法ではABC予想が証明できない」
（具体的には例えばZFCでABC予想が偽となるモデルの存在）
という主張の証明がなされてない、次に
「IUTによるABC予想の証明」
（具体的にはIUTの公理（？）を満たすモデルが存在し
かつそのような任意のZFCモデルでABC予想が真となること）
もなされていない。
特にIUTの公理を満たすモデルの存在が示せていないことは致命的である
（ここで求められているのは絶対的な存在ではなく
例えばZFCのモデルが存在するなら、ZFC＋IUTのモデルも存在する
という相対的な存在証明）
534:１３２人目の素数さん
25/11/08 20:09:06.27 3nB+TfKS.net
ヒルベルトの第10問題の否定的解決の系として、
ZFCでは解の非存在が証明できないような不定方程式が存在する
ここであえて「解の非存在」と書いたのは
解が存在すれば、具体的にそれを示せば証明となるからである
解の非存在が証明できない、というのは、具体的には
「標準モデルでは解が存在しないが、
解が存在するような超準モデルが存在する」
ということである。
超準モデルによる解は当然超準的自然数であって
標準的自然数（つまりどのモデルにも存在する自然数）ではない
535:１３２人目の素数さん
25/11/08 20:12:37.93 hP1E8Bup.net
>>526
これはIUT理論の研究ネットワークではないのですね
>例えば、下記が、遠アーベルの研究ネットワークで
遠アーベル幾何学はマイナー（学会講演・評）とはいえまともなものなんでしょう
しかしIUT理論の研究ネットワークはありますかね？
ZEN大学設置の際には「IUGC 宇宙際幾何学センター」だったものが
URLﾘﾝｸ(www.youtube.com)
「ZMC（ZEN Mathematics Center; ZEN数学センター）」になったのは
より広い分野（数論幾何なかんずく遠アーベル幾何）を対象にすることにしたと
好意的に捉えることも出来ましょうが
IUT理論の研究者を育てていかねば
たとえまともなものであったとしてもいずれ廃れます
（100年後に復活するか知れませんけど）
536:１３２人目の素数さん
25/11/08 20:15:56.49 3nB+TfKS.net
無限公理のない集合論における無限集合というのは、いわば超準的集合であって
任意のモデルで存在するような標準的集合ではない
無限公理を設定することで、そのような超準的集合が
任意のモデルで存在するような標準的集合になる
公理の設定でモデルが限定されるが、
任意のモデルで存在する標準的集合は増えることになる
しかし、どれだけ公理を設定しても
一階述語論理をベースとし
さらに人間が証明可能な体系とする場合には
モデルを唯一にすることはできない
要するに集合を標準的集合だけに限定することはできない
それがゲーデルの不完全性定理で示されたことである
537:現代数学の系譜 雑談
25/11/08 23:03:48.68 P9qVEF++.net
>>529
(引用開始)
>ここのメンバーは、別にIUTを否定してはいない
>多分、手放しの全面肯定でない人もいるかも
その分野の専門家で理解ができているなら
全面肯定せねばならないはずです
それをしないのは
結局誰も分かってないのでは？
と疑われても仕方ないでしょうに
(引用終り)
まあ、難しい理論における証明とは、そういうものだとしかいえない
例えば、下記”O–Takegoshi L2 extension”定理について
Yum-Tong Siu 先生が、最初「この論文間違っているんじゃね？」と 騒いだとか 御大が言われていましたね
要するに、画期的な理論は だれもが瞬時に理解できるとは言えないのです
真に 画期的な理論とは 得てしてそういうものです
例えば、下記”Geometric Langlands correspondence”
1,000 pagesで、"so complex that almost no one can explain it"
"very hard, almost impossible" by Drinfeld.[9]”
とあります
21世紀の数学は
そういう傾向がある ；ｐ）
(参考)
URLﾘﾝｸ(en.wikipedia.org)
O–Takegoshi L2 extension theorem
URLﾘﾝｸ(en.wikipedia.org)
Yum-Tong Siu (Chinese: 蕭蔭堂; born May 6, 1943) is a Chinese mathematician. He is the William Elwood Byerly Professor of Mathematics at Harvard University.
URLﾘﾝｸ(en.wikipedia.org)
Geometric Langlands correspondence
Status
A claimed proof of the categorical unramified geometric Langlands conjecture was announced on May 6, 2024 by a team of mathematicians including Dennis Gaitsgory.[7][8]
The claimed proof is contained in more than 1,000 pages across five papers and has been called "so complex that almost no one can explain it".
Even conveying the significance of the result to other mathematicians was described as "very hard, almost impossible" by Drinfeld.[9]
538:１３２人目の素数さん
25/11/08 23:33:53.84 P62wnBwD.net
まだわからんのかねぇこの無能は
望月論文が理解されないのは決定的な瑕疵があるからにきまってるやん？いつになったら理解できんの？高木レベルやなこの無能
539:現代数学の系譜 雑談
25/11/08 23:36:37.67 P9qVEF++.net
>>533
はずれですよ
>望月新一は、
>「通常の方法ではABC予想は証明できないから、IUTを考えた」
その話は、下記の
”§1.Hodge-Arakelov 理論的動機付け”
”§3.対数・テータ格子”
を、音読してね
ZFCは、出てこないよ
さて
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月 出張・講演
[17] 宇宙際タイヒミューラー理論への誘（いざな）い （2015-02） （京都大学数理解析研究所 2015年02月）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(2015-02).pdf
§1.Hodge-Arakelov 理論的動機付け
§3.対数・テータ格子
Ｐ11
Θ-Link:
注:(Hodge theaterに登場するような）
「抽象的なモノイド等」
を扱うようにしないと、log-、Θ-linkのような（通常の環・スキーム論の環構造
に対する）「壁＝障壁」を定義することすらできない！
(引用終り)
ここに、
望月先生の”通常の方法”とは、上記「通常の環・スキーム論の環構造」
のこと
で、”(Hodge theaterに登場するような）
「抽象的なモノイド等」を扱う”が
望月先生創案のIUTのキモです！ （＾＾
540:現代数学の系譜 雑談
25/11/08 23:38:57.89 P9qVEF++.net
>>538
ヒキコモリ数学基礎論くんか
いつも、きみは、キバッテいるねぇ～！ｗｗｗ ；ｐ）
まあ、頑張ってくれｗ
541:１３２人目の素数さん
25/11/08 23:43:38.60 hP1E8Bup.net
>>537
また話をすり替えてますね
>要するに、画期的な理論は だれもが瞬時に理解できるとは言えないのです
>真に 画期的な理論とは 得てしてそういうものです
IUTに関しては
理解できている人達なんでしょう？君の話では>>517
>”Promenade in Inter-Universal Teichmüller Theory”でしょう（当時IUTを理解している10人の人たち）
その分野の専門家で理解ができているなら
全面肯定せねばならないはずです
それをしないのは
結局誰も分かってないのでは？
と疑われても仕方ないでしょうに
542:現代数学の系譜 雑談
25/11/08 23:54:33.06 P9qVEF++.net
>>535
(引用開始)
これはIUT理論の研究ネットワークではないのですね
>例えば、下記が、遠アーベルの研究ネットワークで
遠アーベル幾何学はマイナー（学会講演・評）とはいえまともなものなんでしょう
しかしIUT理論の研究ネットワークはありますかね？
ZEN大学設置の際には「IUGC 宇宙際幾何学センター」だったものが
(引用終り)
いやいや、これで良いのですよ
つまり、下記のRIMS
”2019年 次世代幾何学研究センター設置[3]（2022年に次世代幾何学国際センターに拡充[9]）”
の予算で AHGT：URLﾘﾝｸ(ahgt.math.cnrs.fr)
が作られて、ここに フランスの予算も入っている（ENS, FR、それに Lille大, FRも？）
IUTを含む ”次世代幾何学”の研究ですよ
URLﾘﾝｸ(ja.wikipedia.org)
京都大学数理解析研究所（英: Research Institute for Mathematical Sciences）
年表
2019年 次世代幾何学研究センター設置[3]（2022年に次世代幾何学国際センターに拡充[9]）
脚注
3^ a b c d e f 数理解析研究所 2019 - RIMS, Kyoto university
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
9^ 研究所紹介｜京都大学数理解析研究所 2022年8月10日閲覧
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
543:現代数学の系譜 雑談
25/11/09 00:00:34.20 QrKJGO9s.net
>>541
>IUTに関しては
>理解できている人達なんでしょう？君の話では>>517
ふっふ、ほっほ
数学オチコボレのエスパー登場か
君は、他人の理解 うんぬんが すきだねぇ～～ｗｗｗ
どうでもいいじゃん、他人の理解など
要は、自分がどう理解するかだけよ
私？ 私は、まずは「頑張れ 日本！」の範囲で理解できればいいのですｗｗｗ
つぎは、「日本 チャチャチャ」です
まあ、慌てず
じっくり 見てなさいよ ｗｗｗ
544:１３２人目の素数さん
25/11/09 00:11:30.02 P3lbYVWX.net
>>542
つまり
「次世代幾何学」の名前で評判芳しくないIUTを隠蔽しているようなものでしょうか
上手い方法ですね
しかしその中でIUT理論の研究は進んでいるんでしょうか？>>461
>日本人数学者でも大半はabc予想解決を受け入れてないわけ
>証明になってないと判断してるわけ
>嘘だと思うならここ数年の間にarxivに載ったabc関連の論文を見てみな
>abc予想が解決したことになってないだろ
という現状で進めるのではどんどん評判落とすことになりましょう
545:１３２人目の素数さん
25/11/09 00:15:41.35 P3lbYVWX.net
>>543
>私？ 私は、まずは「頑張れ 日本！」の範囲で理解できればいいのですｗｗｗ
それは初めて知りました
数学という国と関係の薄い学問でそう考える人なのですね
>君は、他人の理解 うんぬんが すきだねぇ～～ｗｗｗ
理解して居れば曖昧にはしないからですよ
IUT理論を強力に後押ししないのは理解して居ないからかも知れません
あなたのように理解はしていないが強力に後押ししたい気持を抑えきれない人もいるみたいですけれど
546:１３２人目の素数さん
25/11/09 00:17:40.38 P3lbYVWX.net
>>543
>数学オチコボレのエスパー登場か
といいますかあなたの受け売りですよ？>>517
>”Promenade in Inter-Universal Teichmüller Theory”でしょう（当時IUTを理解している10人の人たち）
その分野の専門家で理解ができているなら
全面肯定せねばならないはずです
547:１３２人目の素数さん
25/11/09 00:21:08.34 P3lbYVWX.net
>>543
>まあ、慌てず
>じっくり 見てなさいよ ｗｗｗ
どちらかと言えば
贔屓の引き倒しになりかねないのでは？
兎にも角にもABC予想が予想ではなく定理として認められるのはまだまだ先になりそうですけれど
548:１３２人目の素数さん
25/11/09 02:06:54.64 ajsip/xV.net
島国には島国の良さがある。なぜ大陸でなければならぬのか。ボールペン一本を買うためにデパートの中をウロウロさせるようなOSをなぜ有りがたがるのか。ボールペンは文具店に直行すれば、すぐ買える。まあ、そういうことだよ、坊やたち。
日本は日本の独自性を生かすことで人類への貢献ができる。
足りぬ足りぬは、工夫が足りぬw 戦時中の日本人に学ぼう。
ついでに
トロン万歳！ リニア万歳！ 天皇陛下万歳！
549:１３２人目の素数さん
25/11/09 05:49:07.21 drNebvvD.net
トロンと坂村健の嘘
URLﾘﾝｸ(ikedanobuo.livedoor.biz)
550:１３２人目の素数さん
25/11/09 07:03:54.96 CA6TFgJW.net
>>537
まあ、大学初年級レベルでも
初めて出会う定義・公理に基づく証明とは、
そういうものだな
例えば、「箱入り無数目」定理について
ここの常連素人が、最初
「この記事間違っているんじゃね？」
と 騒いだとか
選択公理が分からなかったんだな
要するに、数学理論の定義・公理は
だれもが瞬時に理解できるとは言えない
真に新しい事柄とは 得てしてそういうもの
大学の数学はそういう傾向がある