25/11/06 17:40:30.89 DQBl6cvL.net
>>383
>>その方が「数学的に反論できない」こととはあなたの書いたどのことですか？
これが何であるかは教えていただけないのですね
つまり
あなたの頭の中にのみ存在することであると
ということは
「その方が数学的に反論できない」
ということもあなたの頭の中にだけ存在しているわけです
これはつまり
>>366
>相変わらずセタは言葉が通じねえな
が正しいということでしょう
385:１３２人目の素数さん
25/11/06 17:44:09.27 DQBl6cvL.net
>>383
>それ（数学的なキチンとした反論）が できないから
>数学以外の余計なこと（罵詈雑言）を 書いていると映るｗｗ
私には>>370の感想が妥当に見えます
386:１３２人目の素数さん
25/11/06 17:46:10.92 DQBl6cvL.net
この場合の「数学以外の余計なこと」は
>>370に引用されている
あなたの書いたことのことですけれど
387:現代数学の系譜 雑談
25/11/06 17:53:33.42 9MLt2+C6.net
>>351
>台湾は中国本土ではない（もともと原住民は漢民族でない）が、そこに最も近い
>そして中国人が沢山すんでいるものの、中国政府に従わない
google検索結果は、下記
中国共産党は、つねに 台湾侵攻（あるいは 台湾に親中国共産政権を作る）を狙っている
だが、日本としては 台湾は反中国共産政権の方がいい
多分、米国もそうだろう（中国共産政権と米国とは 政治的に水と油だ（トランプ氏は独裁に あこがれがあるみたいだがｗ））
(google検索)
中国と台湾の関係 中国共産党 存在意義
AI による概要
・「一つの中国」原則: 中華人民共和国政府は「一つの中国」原則を主張し、台湾を自国の一部と見なしています。この原則は、国際社会における中国の外交政策の基盤となっています。
中国共産党の関連性
中国共産党は、台湾との関係を「国家の再統一」という目標と位置づけており、これは党の重要な政策課題の一つです。
・国内における位置づけ: 台湾問題は、中国共産党の統治の正当性やナショナリズムの強化に関連付けられることがあります
URLﾘﾝｸ(www.bbc.com)
【解説】 中国と台湾の関係、すごく分かりやすく説明
2022年8月4日
デイヴィッド・ブラウン、BBCニュース
URLﾘﾝｸ(cigs.canon)
キヤノングローバル戦略研究所（CIGS）
メディア掲載 エネルギー・環境 2024.04.22
中国が目論む「台湾統一の次は日本のフィンランド化」、台湾有事の地政学から考える日本のエネルギー戦略
JBpress（2024年4月13日）に掲載
中国による台湾統一は何をもたらすか
日本にとっても、直接的な影響は甚大である。
台湾東岸は軍事化され、西太平洋における軍事バランスは一気に中国に傾くことになる。かつて中曽根首相は日本を不沈空母であると述べて物議を醸したが、軍事的な意味合いだけを見れば、これは当たっている。
日本や韓国の海上輸送路は封鎖される
388:１３２人目の素数さん
25/11/06 18:03:29.63 DQBl6cvL.net
>>387
非数学ネタに逃げてますね
389:１３２人目の素数さん
25/11/06 18:36:05.18 yNffKouK.net
>>388
もともと数学のスの字もわからん自己愛国粋狂人だから仕方ないね
390:１３２人目の素数さん
25/11/06 18:37:37.61 yNffKouK.net
>>380
中国人から字を教わるまで字が書けなかった
島の小さな黒い土人がなんかいうとる
391:１３２人目の素数さん
25/11/06 18:44:10.25 yNffKouK.net
URLﾘﾝｸ(www.saitou-naruya-laboratory.org)
アジアの人類集団でも研究が行われたが、特に日本列島人については、2008年に理化学研究所のグループが
7000人について多数のSNP座位の遺伝子型を決定し解析した結果を発表した.
7地域(北海道、東北、関東甲信越,東海北陸、近畿,九州,沖縄)の間では、
沖縄が他の地域と大きく異なっており、個人を単位とした主成分分析では、
日本列島人は本土クラスターと琉球クラスターに分かれていた。
筆者らのグループは、1980年代に血液の提供を受けた北海道のアイヌ系住民のDNAについて、
90万個のSNP座位を調べ、それらを他の集団と比較解析した。
その結果、図2に示したように、アイヌ人とオキナワ人が共通性を持っており、
ヤマト人(本土の日本人)とあわせて日本列島の3人類集団は、
東ユーラシアの他集団と比較しても明確な違いのあることが明らかになった
この結果は、日本列島人が旧石器時代から縄文時代までの第一の渡来民と、
弥生時代以降の第二の渡来民という異なる由来の人々の混血であるとする
これまでの定説と適合している。
第二の渡来民は現在東アジアに居住している人々と遺伝的に近いと考えられているので、
第一の渡来民が現在の東ユーラシアに分布している集団とはかなり異なった系統であろうと推測される。
実際に、筆者らの研究グループが縄文時代人の細胞核ゲノムDNA塩基配列を部分的に決定して解析したところ、
縄文時代人がきわめて特異であり、また現代日本列島人が縄文人と大陸集団との中間に位置することがわかった(神澤秀明ら、投稿中).
これは、日本列島への第一の渡来民が、古い時代にアフリカを出てユーラシアに拡散した集団の子孫であることを示唆している。
（つづく）
392:１３２人目の素数さん
25/11/06 18:44:35.17 yNffKouK.net
>>391のつづき
東南アジアには、縄文時代人の系統と同じくらいか、あるいはもっと古い時代に出アフリカした系統の子孫であろうと考えられている
「ネグリト」と呼ばれる集団がいる。ルソン島、ミンダナオ島、パラワン島、マレーシア半島、アンダマン諸島と、
散在的な分布をしていることも、彼らの祖先がきわめて古い時代に拡散移住をしたことをうかがわせる。
筆者らのグループが、すでに発表されていたアジア集団の5万個のSNP座位データを解析したところ、
フィリピン諸島のネグリトとマレーシア半島のネグリトは、地理的および遺伝的な距離は遠いものの、
近隣ネット法を用いると、これら2集団とメラネシア人およびインドネシア東部のアロレス島人が共通性を持っていることが示された
この共通性は、遠い過去に祖先集団を共有していた可能性を示唆している。
393:１３２人目の素数さん
25/11/06 18:51:53.30 ZfHYJYpl.net
>>390
黒い≒土人て人種差別丸出しの黄色い猿がなんかいうとる。
394:１３２人目の素数さん
25/11/06 18:54:41.43 ZfHYJYpl.net
黄色い人食い猿蛮族と先祖が違って本当に良かった！
395:１３２人目の素数さん
25/11/06 19:02:51.33 j8xkVDrd.net
>>390
現代中国語における日本語由来の言葉の重要性
基本概念の大部分を占める: 社会科学や人文科学における専門用語の約7割、医学・薬学の専門用語の9割以上が日本語由来の言葉だと言われています。
日常会話でも頻繁に使用: これらの言葉は日常会話でも頻繁に使われており、使わずに会話を成立させることは困難なほど、現代中国語に深く根付いています。
396:１３２人目の素数さん
25/11/06 19:31:29.00 ZfHYJYpl.net
うへぇ…
じぶんでじぶんにレスしてやんの…
キッチキチやん…この土人さん…
397:現代数学の系譜 雑談
25/11/06 20:55:17.19 Faa0NODO.net
>>394-396
ご苦労さまです
丁度良い話題なので
”日本人（にほんじん、にっぽんじん）とは”について、考えてみると
下記では 定義が3つあるという
1)法律上の定義、2)民族集団として、3)アイデンティティとして
だが、『各集合が大いに重なっているため、曖昧な認識を抱える人が多い』という
今の議論も似たようなものだろう
それで、このような数学外の一般議論では
数学のように、定義を決めて 一階述語論理で議論するということは あまりない
いや、もちろん 定義は可能だし 定義を置くことも多い
が、例えば”アイデンティティ”をベースにした 日本人論がその典型だろうが
『”アイデンティティ”をベースにした 日本人』の定義自身が、数学のような厳密な定義ではないし
（”アイデンティティ”を定義する必要があり、また定義に使った言葉の定義が必要・・と無限に定義遡る必要がある）
『”アイデンティティ”をベースにした 日本人』の定義を、厳密にするやり方より
適当なところから始めて、議論をしながら 『”アイデンティティ”をベースにした 日本人』の定義を 作っていくというような
ことも 結構あるだろう
ここらが、数学以外の議論では 普通に行われているように思う （＾＾
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
日本人とは、日本国籍を有する人[26]や、日本列島に居住する民族[27]集団またはその構成員を指す名称である。より詳しい定義については、定義の章を参照。
本記事では、現代の日本国民の歴史的主体となっている民族の起源、形成、特徴に関する事柄を中心に解説を展開する
定義
「日本人」という概念は文脈によって多義的に用いられ、主に法的（国籍）、人類学的（民族）、社会的・政治的（アイデンティティ）側面から定義される。以下では、それぞれの定義を紹介する
法律上の定義
日本国内の法律によると、「日本人」とは、日本国籍を持つ人のことを指し、その対義語は「外国人」である（国籍法第4条）。「日本国民」ともいう[28]。
日本国籍は原則として血統主義に従っている。ただし、許可制の帰化制度も存在する
→詳細は「§ 日本国籍の在り方」を参照
民族集団として →詳細は「§ 遺伝子」を参照
他方、日本人という語は、日本列島に起源を持つ下記の民族集団（「日本の民族」を構成する各々のエスニック集団）を指し、そこに分類される出自および言語・文化を現に有する人の呼称、あるいは、それを少なくとも部分的に有すると見なされる人の呼称でもある
大和民族
アイデンティティとして
日本人なる集団の境界線を日本への所属・帰属に係る意識すなわちアイデンティティ（同一性）に求めることができる。そのアイデンティティ集団は、以下のように民族的同一性・文化的同一性・国民的同一性の各観点別に分析できるが、各集合が大いに重なっているため、曖昧な認識を抱える人が多い
・上記日本の民族を自らのアイデンティティとする人
・日本語を母語とするなど、日本の文化、文明を自らのアイデンティティとする人
・特定の文化・歴史・諸制度を有する共同体（ネーション）である「日本国民」を自らのアイデンティティとする人
398:１３２人目の素数さん
25/11/06 22:04:50.94 0JXWfEhS.net
>>369
話の通じなさ加減の問題？
399:現代数学の系譜 雑談
25/11/06 22:55:18.45 Faa0NODO.net
>>398
巡回ご苦労さまです
いや、それで
厳密さの強度順に 学問を並べると
数学＞物理＞化学＞生物＞医学＞法学＞経済学＞政治学＞文学＞詩（ポエム）
でしょうかね
理系：数学＞物理＞化学＞生物＞医学
文系：法学＞経済学＞政治学＞文学＞詩（ポエム）
（ここに挙げていないものも多数なれど）
この中で「人生の決断」は、”経済学＞政治学＞文学＞詩（ポエム）”のどこかに来るのでしょうね
例えば、下記の大谷 翔平選手は、高校卒業後すぐ米メジャーリーグを希望していたが
日本ハム 栗山監督のところで5年やって エンゼルスからドジャースへ。そして、今年の活躍がある
「人生の決断」は、数学から かなり遠いところにある
論理も理屈もあるが、一方 それ以外の部分も 非常に大きい
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
大谷 翔平（おおたに しょうへい、1994年〈平成6年〉7月5日 - ）は[2]、岩手県水沢市（現：奥州市）出身のプロ野球選手（投手、指名打者、外野手）。右投左打。MLBのロサンゼルス・ドジャース所属。
実兄はトヨタ自動車東日本硬式野球部監督の大谷龍太。妻は元女子バスケットボール選手の田中真美子。
略歴
高校3年生の時に当時のアマチュア野球最速の球速160 km/hを記録。
2012年のNPBドラフト1位で北海道日本ハムファイターズから単独指名される。
2013年の入団以降「二刀流」の選手として試合に出場。同年、プロ初勝利、初本塁打を達成。
2017年オフ、ポスティングシステムでメジャーリーグベースボール (MLB) のロサンゼルス・エンゼルスに移籍。
2025年シーズンも当初は指名打者に専念していたが、6月に投手復帰を果たした[26]。優勝決定シリーズでは投打で活躍し初のリーグチャンピオンシップシリーズMVPに輝いた。二刀流復活でレギュラーシーズンとポストシーズンを通じて、チームのワールドシリーズ連覇に貢献した。
経歴
日本ハム時代
3度目の入団交渉からは栗山も同席する[62][63]。交渉では『大谷翔平君 夢への道しるべ〜日本スポーツにおける若年期海外進出の考察〜』と題された30ページに及ぶ資料[64]が提示され、高校卒業後、直接アメリカへ渡った韓国の野球選手がMLBで活躍しているケースが少ない点や、過酷なマイナーリーグの現状、母国のプロリーグで実力をつけた選手の方がMLBで活躍できる確率が高い点などが説明された[65]。
更に前年までダルビッシュ有が着用していた背番号11、投手と打者の「二刀流」育成プランなどを提示された
400:１３２人目の素数さん
25/11/06 23:20:41.88 PuQ4Gk5G.net
>>397,399
「非数学ネタに逃げた時点で、数学の議論での非勢を認めたってことだ」
まさにその通りの印象です
401:現代数学の系譜 雑談
25/11/07 06:57:10.93 9vx0qob1.net
コテハンが”現代数学の系譜 雑談”でありますです はいｗ
たまに 雑談やりますが、それが なにか？ ；ｐ）
プロ数学者の巡回があったので、敬意を表しました。それが どうかしましたか？ （＾＾
402:現代数学の系譜 雑談
25/11/07 07:05:31.81 9vx0qob1.net
>>399
>「人生の決断」は、数学から かなり遠いところにある
>論理も理屈もあるが、一方 それ以外の部分も 非常に大きい
ここが、この話のポイントですよ
富山の数学少年が、数学者を夢見て東大へ
そして、不思議な導きで 京大の中野研へ
不思議な導きで 竹腰先生と邂逅
人生は、決して 一階述語論理の数学思考だけでは 解けないということ！！
これが、実例です
403:１３２人目の素数さん
25/11/07 07:11:00.75 Wa1lajrV.net
>>401
つまり
「最初から逃げ道を用意していますが何か変ですか？」
ということですね
404:１３２人目の素数さん
25/11/07 07:14:17.28 Wa1lajrV.net
>>401
>プロ数学者の巡回があったので、敬意を表しました。それが どうかしましたか？
プロ数学者なんでしょうかね
それと
内容では無くて肩書きで人を判断するタイプなのですね
405:１３２人目の素数さん
25/11/07 07:26:31.87 Wa1lajrV.net
できれば
>>311
>>>308
>あなたはショルツという人がそのようなことをしていると断言できるくらいにはIUTを理解しているのでしょうか？
>それとも
>誰かがそのようなことを言ったのを理解もせず受け売りしているだけなのでしょうか？
なぜ「完全にアウト」と判断したのか
IUTを理解しての発言か
誰かの受け売りなのか
後者ならその誰かの発言をリンクしてくれませんか
406:１３２人目の素数さん
25/11/07 07:47:30.49 Wa1lajrV.net
それと
>>313
>圏論のロジック（矢印図）読めるのか？ キミはｗｗ （＾＾；
圏論のロジックとは
射を矢印で表した図式のことですね？
しかし
>いまどきは
>圏論のロジック（矢印図）の方が重要だと思うよ
>（例えば P15 "6.3. Duality and derived categories."とかね。なお 集合の論理式も P11辺りに 出てくるけどね）
「圏論のロジック（矢印図）」が「集合の論理式」より重要な訳は何なんでしょう？
これもどこかに書かれていたのでしょうか？
あるいはあなた独自の解釈？
407:１３２人目の素数さん
25/11/07 08:32:02.50 oWYZmrG5.net
>>402
アホは数学板から消えてくれ
臭くてかなわん
408:現代数学の系譜 雑談
25/11/07 10:02:10.11 yoeUrdl8.net
>>407
>アホは数学板から消えてくれ
>臭くてかなわん
ふっふ、ほっほ
それ、君自身だよ
１）数学科のオチコボレさんは、場末の5ch数学板を 数学会の代用と勘違い
２）ここは、場末の5ch数学便所板だよ
３）”臭くてかなわん”？ 便所板で？ じゃあ、5ch数学板で 「まともなスレ」ってどれよ
三つあげろ。無いでしょ！ｗ ；ｐ）
アホが、便所板で
数学会の代用を期待して 叫んでもねｗ・・・
自分のバカさ加減を証明しているｗｗ
409:現代数学の系譜 雑談
25/11/07 10:23:38.44 yoeUrdl8.net
>>404
>>プロ数学者の巡回があったので、敬意を表しました。それが どうかしましたか？
>プロ数学者なんでしょうかね
>それと
>内容では無くて肩書きで人を判断するタイプなのですね
まあな
昔、”愛称は親分、大沢親分”と称された人がいた（下記）
会社で、講演会があって 大沢親分の話を聞いたことがある
ところで、数学でも 似た名前の人がいるようだ
富山県生まれで、”寄り道の多い数学者”らしいｗ
”多変数関数論の建設”岡潔外伝 は、買って読んだ。いま、書棚の肥やしだ
”関数論外伝 : Bergman核の100年”を、現代数学誌に連載していた。たまに、立ち読みした （＾＾
囲碁（アマ）７段格と、本の奥付に書いてあった
なので数学では プロ９段格かなと思う・・（なんの みゃくみゃく いや みゃくらく もないがね）
匿名掲示板で、ご当人かどうかの”数学的”にw 厳密証明は困難だろう
しかし、私の知らないことを沢山知っている。オチコボレさんとは 大違いだ。プロらしさは感じる （＾＾
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
大沢 啓二（おおさわ けいじ、1932年3月14日 - 2010年10月7日）は、神奈川県鎌倉郡川口村大字片瀬（現：藤沢市片瀬海岸）出身[1]のプロ野球選手（外野手）・コーチ・監督、解説者・評論家。
「大澤」と表記されることもある。本名は大沢 昭（おおさわ あきら）[注 1]、旧登録名は大沢 昌芳（おおさわ まさよし）。
愛称は親分、大沢親分
URLﾘﾝｸ(ja.wikipedia.org)
来歴
富山県生まれ[1]。京都大学理学部卒業[2]、
著書
『寄り道の多い数学』岩波書店〈岩波科学ライブラリー ; 172〉、2010年。ISBN 978-4-00-029572-7。
『多変数関数論の建設』現代数学社〈双書・大数学者の数学 ; 12〉、2014年
『関数論外伝 : Bergman核の100年』現代数学社、2022年
410:１３２人目の素数さん
25/11/07 10:30:34.25 oWYZmrG5.net
>>408
くっさ
411:現代数学の系譜 雑談
25/11/07 10:54:19.48 yoeUrdl8.net
>>405
>>あなたはショルツという人がそのようなことをしていると断言できるくらいにはIUTを理解しているのでしょうか？
>なぜ「完全にアウト」と判断したのか
ショルツ 「完全にアウト」の理由は 二つ
１）下記 “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を書いたと 丸わかり。遠アーベルのど素人レビュー丸出し （＾＾
(参考)
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.
つづく
412:現代数学の系譜 雑談
25/11/07 10:54:41.86 yoeUrdl8.net
つづき
URLﾘﾝｸ(ja.wikipedia.org)
ストローマン（英: straw man）は、議論において、相手の考え・意見を歪めて引用し、その歪められた主張に対してさらに反論するという間違っている論法のこと、あるいはその歪められた架空の主張そのものを指す[1]。ストローマン手法、藁人形論法、案山子論法（かかし論法）ともいう
URLﾘﾝｸ(ja.wikipedia.org)
遠アーベル幾何学
脚注
8^ 単遠アーベル的復元は,“所望の手続きの存在を証明する”ことが目的なのではなく,“所望の手続きを与える”ことが目的である. 例えば, [8],Corollary 1.10, は, その主張を述べるためにおよそ 3 ページが費やされ, しかし, 証明がたったの 2 行で終わってしまうという, 従来の数学では比較的珍しい構成になっている. このような状況が生じる背景には, この “主張の中にその手続きを書くべき” という考えがある. (絶対 Galois 群による数体の復元 星 裕一郎 (京都大学 数理解析研究所) 2014年5月 p.4)
(引用終り)
以上
413:現代数学の系譜 雑談
25/11/07 11:01:34.51 yoeUrdl8.net
>>410
ふっふ、ほっほ
414:現代数学の系譜 雑談
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
誰も可視化するなとは言ってない。したきゃ勝手にすればいい。可視化止まりじゃ不十分だと言っている。
相変わらず言葉が通じんな君は。