25/11/06 10:26:18.42 9MLt2+C6.net
>>336
>名曲"Hotel California"をぜひ聴いてみてほしい
うん、名曲らしいね
カーラジオから流れてきて、意味が取れなかったので
調べた記憶がある
(参考)
URLﾘﾝｸ(ja.wikipedia.org)(%E6%9B%B2)
「ホテル・カリフォルニア」 (Hotel California) は、アメリカ合衆国のロックバンドであるイーグルスの楽曲。1976年12月8日に発売されたアルバム『ホテル・カリフォルニア』の表題曲で[4]、1977年2月22日にアルバムからの第2弾シングルとして発売された[5]。架空のホテルを舞台としている（アルバム記事も参照）。
作詞作曲のクレジットはドン・フェルダー、ドン・ヘンリー、グレン・フライの連名となっているが、
実際には楽曲部分はイントロのギター、「メロディー」、後半のツインギター・ソロ、サウンドも含め、作曲したのはフェルダーである[6][7]。
ローリング・ストーン(誌)の選ぶオールタイム・グレイテスト・ソング500（2010年版）において49位にランクイン[8]。
ギターワールド誌が選ぶ「偉大なる12弦ギターソング」で、1位に選ばれている[9]。
日本では1996年に放送されたTBS系東芝日曜劇場『その気になるまで』の主題歌として使用された[10]。
歌詞
舞台は、コリタス（サボテンの一種だがメキシコでマリファナの隠語でもある）の香りたつ、カリフォルニアの砂漠エリアのハイウェイ。主人公は、長時間の運転に疲れて、休むために立ち寄った小綺麗なホテルに幾日か滞在し、快適な日々を送っていた。しかし、堕落して快楽主義的な過ごし方を続ける滞在客たちに嫌気が差して、以前の自分の日常生活に戻るため、ホテルを去ろうとしたものの、離れようにも離れられなくなった…というミニストーリーである。
ドン・ヘンリーは2007年9月11日の英デイリー・メール紙にてそれらについて「幾つかのこの曲の歌詞の拡大解釈には大変驚かされ続けている。この歌詞の内容はアメリカ文化の度を越した不品行と、私達の知り合いだった女の子達についてだった。しかし芸術と商業主義との危ういバランスについてでもあった。」と述べている。
ラストの解釈
歌詞の最後は、こんな環境に居続けると自分がダメになると気づいた主人公が、出口を求めてホテル館内を走り回っていた際に警備員にたしなめられ、
We are programmed to receive. You can checkout any time you like, but you can never leave!
（我々は客を受け入れるように仕向けられているんだ。好きなときにチェックアウトはできるが、決して立ち去ることはできないんだ！）
という言い切りの言葉で終わり、直後に続くフェルダーとウォルシュによるツイン・ギター・リフと そのフェイドアウト効果により、聴き手に余韻を与える構成となっている。
URLﾘﾝｸ(en.wikipedia.org)
Hotel California
URLﾘﾝｸ(note.com)
【和訳】"Hotel California" by Eagles（イーグルス:1976年)
Shuniket@10109.zen
2023年4月28日
343:現代数学の系譜 雑談
25/11/06 10:53:53.92 9MLt2+C6.net
>>341 タイポ訂正
もし、肯定しても 同じ姓の人がいると、「お前だろう」などとその名前の人が迷惑だからｄ
↓
もし、肯定しても 同じ姓の人がいると、「お前だろう」などとその名前の人が迷惑だから
さて
>>329
>要するに、ラッセルパラドックスとは
>「一階述語論理における、基本的な定理の否定文」
>なので、一階述語論理が確立された現在では
>その気になれば誰でも分かって当然なのである
この場合の重要キーワードは”自己言及のパラドックス”、”嘘つきのパラドックス”だな（下記）
高校時代に ゲーデルの不完全性定理の本を読んだときに、”嘘つきのパラドックス”があったのを覚えている
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
自己言及のパラドックス
哲学および論理学における自己言及のパラドックス（じこげんきゅうのパラドックス）または嘘つきのパラドックスとは、「この文は偽である」という構造の文を指し、自己を含めて言及しようとすると発生するパラドックスのことである。この文に古典的な二値の真理値をあてはめようとすると矛盾が生じる（パラドックス参照）。
「この文は偽である」が真なら、それは偽だということになり、偽ならばその内容は真ということになり……というように無限に連鎖する。同様に「この文は偽である」が偽なら、それは真ということになり、真ならば内容から偽ということになり……と、この場合も無限に連鎖する。
歴史
嘘つきのパラドックスの一例として、エピメニデスのパラドックス（紀元前600年ごろ）が示された。エピメニデスは伝説的哲学者でクレタ島出身（クレタ人）とされており、「クレタ人はいつも嘘をつく」と言ったとされている。この言葉の出典は、新約聖書中の「テトスへの手紙」（1章12-15節）である[1]。
パラドックスの詳細と派生
嘘つきのパラドックスの問題は、真と偽に関する一般通念を適用すると矛盾が導かれる点である。文法や意味論の上では規則を守りつつ、真理値を割り当てられない文を構築することができる。
集合論におけるパラドックス (ラッセルのパラドックス)
→詳細は「ラッセルのパラドックス」を参照
様々な解決案
言語階層
アルフレト・タルスキ
アルフレト・タルスキは、「意味論的に閉じた」言語でのみこのパラドックスが生じるとした。
アーサー・プライアー
アーサー・プライアーは、嘘つきのパラドックスには逆説的なところは何もないとした[4]。
ソール・クリプキ
ソール・クリプキは、ある文が逆説的か否かは、経験的事実に依存すると主張した[8]。
バーワイズとエチェメンディ
ジョン・バーワイズ（英: Jon Barwise）とジョン・エチェメンディは、（強化した）嘘つきのパラドックスの文は曖昧だと主張した。
真矛盾主義
嘘つきのパラドックスの論理構造
344:１３２人目の素数さん
25/11/06 11:00:32.37 +e5m8tUJ.net
>>341
＞非数学ネタに逃げた時点で、
＞数学の議論での非勢を認めたってことだ
ラッセルパラドックスって非数学ネタなの？
はじめて知ったわ カラスの世田君
親族の世田水産の人によろしくな
君も、わかりもしない数学なんか諦めて
広島でカキでも養殖したほうがいいんじゃね？
345:現代数学の系譜 雑談
25/11/06 11:02:48.90 9MLt2+C6.net
>>343
下記の ”自己言及の論理と計算∗長谷川真人”が
参考になるだろう
”自己言及と対角線論法”がいいね
(参考)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
自己言及の論理と計算∗長谷川真人
∗京都大学数理解析研究所数学入門公開講座（2002年8月5～8日）の予稿を改訂（2006年5月／2007 年8月／2011年6月）
自分自身について述べることの難しさと面白さは，日常誰でも経験することだと思います．以下では，数理論理学と計算機科学の密接な関係を示す好例として，自己言及から生じる様々なパラドックスなどの数理論理学における問題，また自分自身を呼び出すような再帰的なプログラムやデータ構造に関する問題などについて，統一的な視点から考察します．また，後半では，自己言及現象の自明でないモデルの例を，実際に構成します．
目次
I 自己言及と対角線論法
1 ラッセルの逆理
2 カントールの対角線論法
3 自己適用
4 停止性問題
5 対角線論法から不動点へ
6 不動点定理から具体例を見直す
II 矛盾したものを構成する
1 完備半順序集合と連続関数
2 最小不動点の発想
3 最初の試み
4 埋め込みと射影
5 なぜ失敗したか
6 正しい解の構成—逆極限法
346:１３２人目の素数さん
25/11/06 11:05:14.02 +e5m8tUJ.net
＞中国が尖閣領海侵犯を繰り返す理由
面目を保ちたいから（笑）
本気だったら速攻で沖縄本島に侵攻する（笑）
モンゴルは元寇で中国にせめこんだ
日本は豊臣秀吉のときも明治時代も朝鮮に攻めこんだ
のみならず明治以降満州まで攻め込んで無理矢理独立国作って中国本土まで侵攻した
かつてのモンゴルや女真みたいに征服王朝「大和皇国」でも作りたかったのか？
どこまで尊大なんだ日本人
ま、結局、惨敗したけどな
ああ みっともな
人倫に悖ることやってしかも負ける
愚の骨頂
347:１３２人目の素数さん
25/11/06 11:09:59.23 k1hSdFD7.net
遊牧民というのは、ぶっちゃけ泥棒生活みたいなもんなんで、
侵略上等みたいな態度でも致し方ない
ただ彼らは基本的には負ける戦はしないけどな
元寇は、自分たちの得意技が通用しないところで
戦を仕掛けたので、さすがに失敗したがね
348:現代数学の系譜 雑談
25/11/06 11:10:20.07 9MLt2+C6.net
>>344
> はじめて知ったわ カラスの世田君
それが、非数学ネタに逃げたってことよｗｗ
ふっふ、ほっほ
>ラッセルパラドックスって非数学ネタなの？
懐かし話題をありがとう >>343より
高校時代に ゲーデルの不完全性定理の本を読んだときの、”嘘つきのパラドックス”を 思い出したよ ；ｐ）
349:１３２人目の素数さん
25/11/06 11:16:46.81 d2PBLapd.net
>>343
自己言及したから即、矛盾する、というわけではない
この場合、否定をとる写像における真偽値の不動点が存在しないことが本質
二値でなかったとしても、不動点が存在しなれば矛盾する
逆に、否定をとる写像で、真偽値の不動点が存在するような論理なら矛盾しない
そういうことは例えばDana Scottのdomain theoryを知ってれば、常識
ま、高卒が知らなくても無理ないけど
ああ、そうそうdomainって言っても
zero divisorを持たないringのことじゃないぜ
素人は同じスペルだとすぐ同義だと脊髄反射するからな（笑）
350:１３２人目の素数さん
25/11/06 11:16:49.45 IDMvw5Yl.net
>>面目を保ちたいから
面目を保つための
一つの選択肢ではある
351:１３２人目の素数さん
25/11/06 11:29:25.45 k1hSdFD7.net
中国にとって最も目障りな存在は・・・台湾であろう
台湾は中国本土ではない（もともと原住民は漢民族でない）が、そこに最も近い
そして中国人が沢山すんでいるものの、中国政府に従わない
今の台湾は、昔の清朝からみた鄭成功政権みたいなもん（笑）
とはいえ、この件は、もうほうっておくしかない
今さら、中国に征服王朝作ろうなんて考える日本人は●ってる（笑）
352:現代数学の系譜 雑談
25/11/06 11:40:52.76 9MLt2+C6.net
>>326-330
；ｐ）；ｐ）；ｐ）；ｐ）；ｐ）
>一階述語論理は、アリストテレス論理学よりは強力
まず、人は ”一階述語論理”そのものでは、思考していない！
古代ギリシアの昔からね それを認めよう
次に、一階述語論理が向いている分野が 沢山ある
特に 理系の分野な。だが、高木先生は 数学研究は 演繹より帰納だと言った
演繹は、一階述語論理かもしれないが
帰納は、一階述語論理は むかないだろう
そして、人生においては 理性で割り切れない 分野があることも事実だろう
人生の選択は、理屈だけでは 決められないよ
そういう場面は、日常茶飯事だよ
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
一階述語論理とは、個体の量化のみを許す述語論理である。述語論理とは、数理論理学における論理の数学的モデルの一つであり、命題論理を拡張したものである。個体の量化に加えて述語や関数の量化を許す述語論理を二階述語論理と呼び、さらなる一般化を加えた述語論理を高階述語論理という。本項では主に一階述語論理について解説する
URLﾘﾝｸ(en.wikipedia.org)
URLﾘﾝｸ(ja.wikipedia.org)
数理論理学または現代論理学、記号論理学、数学基礎論、超数学は、数学の分野の一つであり、「数学の理論を展開する際にその骨格となる論理の構造を研究する分野」を指す[注 1]
歴史
数理論理学は、19世紀の中頃、伝統的論理学とは独立な数学の下位分野として登場した（Ferreirós 2001, p. 443）。これが登場する以前、論理学は修辞学また哲学とともに、三段論法を通じて研究されていた。20世紀の前半は数学の基礎に関する活発な議論とともに、基本的な多くの結果が見られる
初期の歴史
論理に関する理論は多くの文化と歴史の中で発展してきた。その中には中国、インド、ギリシャ、イスラーム世界が含まれる。18世紀のヨーロッパでは、形式論理の演算子を記号的または代数的な方法の中で取り扱おうという試みが、哲学的数学者によってなされた。その中にはゴットフリート・ライプニッツとランベルトが含まれる。しかしライプニッツらの仕事は孤立して残っているばかりでよく知られていない
URLﾘﾝｸ(ja.wikipedia.org)
論理学の歴史
形式論理学は古代のギリシアやインドで発展した。ギリシア論理学、中でもアリストテレス論理学は科学・数学に広く受容・応用されている
アリストテレス論理学は中世のイスラーム圏およびキリスト教西方世界にさらに発展し、14世紀半ばに頂点をむかえた
近現代において発展した現代論理学、いわゆる数理論理学あるいは記号論理学は二千年にわたる論理学の歴史において最も顕著なものであり、人類の知性の歴史において最も重要・顕著な事件の一つだと言える
数理論理学の発展は20世紀の最初の数十年に、特にゲーデルおよびタルスキの著作によって起こり、分析哲学や哲学的論理学に、特に1950年代以降に様相論理や時相論理、義務論理、適切さの論理といった分野に影響を与えた
353:１３２人目の素数さん
25/11/06 11:53:56.20 k1hSdFD7.net
>>352
＞まず、人は ”一階述語論理”そのものでは、思考していない！
カラスの世田は、一階述語論理の∀と∃が理解できないので、大嫌いらしい
なんでＡとＥがひっくり返ったり反転したりしてんだとか、マジでいいそう（笑）
＞次に、一階述語論理が向いている分野が 沢山ある
＞演繹は、一階述語論理かもしれないが
＞帰納は、一階述語論理は むかないだろう
ほう
では、カラスの世田に質問だ
「数学における帰納の例を、３つ上げよ」
ま、１つも上げられないんじゃね？（笑）
＞そして、人生においては 理性で割り切れない 分野があることも事実だろう
じゃ、政治板で「ニッポンバンザイ！」って絶叫してれば
君の自己愛的国粋主義は、理性ゼロの１００％感情論なんだろ？
死んでも日本を愛しますってか？ じゃ、死して靖国神社の神になれよ（笑）
354:現代数学の系譜 雑談
25/11/06 11:53:56.39 9MLt2+C6.net
>>349
>逆に、否定をとる写像で、真偽値の不動点が存在するような論理なら矛盾しない
>そういうことは例えばDana Scottのdomain theoryを知ってれば、常識
おお、ありがとね
”Dana Scott domain theory”で下記がでる
「否定をとる写像で、真偽値の不動点が存在するような論理なら矛盾しない」までは、到達しなかったが・・
まあ、デイナ・スコット Domain theory があるのを 知った （＾＾
URLﾘﾝｸ(ja.wikipedia.org)
領域理論 （りょういきりろん、英: domain theory）は、領域 (domain) と呼ばれる特別な種類の半順序集合を研究する数学の分野であり、順序理論の一分野である。 計算機科学の表示的意味論（英: denotational semantics）を構築するために用いられる。 領域理論は、近似と収束という直観的概念を極めて一般的な枠組で形式化し、位相空間と密接な関係をもつ。
領域理論の意図と直観的意味
1960年代末にデイナ・スコットが領域についての研究を開始したそもそもの動機は、ラムダ計算の表示的意味論について研究するためであった。
URLﾘﾝｸ(en.wikipedia.org)
Domain theory
URLﾘﾝｸ(ncatlab.org)
domain theory in nLab
URLﾘﾝｸ(arxiv.org)
Computer Science > Programming Languages
[Submitted on 19 May 2016 (v1), last revised 14 Jun 2016 (this version, v4)]
Domain Theory: An Introduction
Robert Cartwright, Rebecca Parsons, Moez AbdelGawad
355:１３２人目の素数さん
25/11/06 11:57:51.15 +e5m8tUJ.net
高卒の世田にもっといいことを教えてやろう
不動点コンビネータの典型例であるYコンビネータは・・・対角線論法の副産物
URLﾘﾝｸ(ja.wikipedia.org)
356:現代数学の系譜 雑談
25/11/06 12:10:57.45 9MLt2+C6.net
>>353
>「数学における帰納の例を、３つ上げよ」
>ま、１つも上げられないんじゃね？（笑）
まず 一つ ”５．高木貞治氏の御言葉”下記
“ガウスが進んだ道は即ち数学の進む道である。その道は帰納的である。特殊から一般へ！それが標語である。数学が演繹的であるというが、それは既成数学の修行にのみ通用するのである。自然科学に於ても一つの学説が出来てしまえば、その学説に基づいて演繹をする。しかし論理は当り前なのだから、演繹のみから新しい物は何も出て来ないのが当り前であろう。若しも学問が演繹のみにたよるならば、その学問は小さな環の上を永遠に周期的に廻転する外はないであろう。我々は空虚なる一般論に捉われないで、帰納の一途に精進すべきではあるまいか”
(参考)
URLﾘﾝｸ(www.vrp-p.jp)
ACPEDIA アクチュアリーの総合情報マガジン
コラム 2024年11月11日 (月)
数学は自然科学か（その２）
この度、約10年前に作成したコラム『数学は自然科学か？（2015年11月24日 (火) ）』に対する（初めての）反響をいただけました！
コラム執筆者の一人としては、このような大昔のコラムに真面目に反応くださる方がいらっしゃることに無上の喜びを感じています！！
しかしながら、“数学は自然科学ではないのでは？”という鋭いご指摘に、20年以上前の故・指導教官の「御言葉」を今更ながら懐疑的に回想する必要が出てきた模様です。
５．高木貞治氏の御言葉
恩師の恩師に当たる高木貞治氏の『近世数学史談』からの御言葉を引用します。
“ガウスが進んだ道は即ち数学の進む道である。その道は帰納的である。特殊から一般へ！それが標語である。数学が演繹的であるというが、それは既成数学の修行にのみ通用するのである。自然科学に於ても一つの学説が出来てしまえば、その学説に基づいて演繹をする。しかし論理は当り前なのだから、演繹のみから新しい物は何も出て来ないのが当り前であろう。若しも学問が演繹のみにたよるならば、その学問は小さな環の上を永遠に周期的に廻転する外はないであろう。我々は空虚なる一般論に捉われないで、帰納の一途に精進すべきではあるまいか”
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
URLﾘﾝｸ(www.mathsoc.jp)
数学通信第３巻第３号目次 （１９９８年度）
URLﾘﾝｸ(www.mathsoc.jp)
高木貞治著「近世数学史談・数学雑談」（復刻版・合本）長谷川浩司（１９９８年度）
数学の研究もまた帰納というべきであり演繹は手段である、と言い. はするが、その好例はなかなか示しうるところにないように思う。数学において、知りた. いと思う目標が ...
6 ページ
357:現代数学の系譜 雑談
25/11/06 12:14:02.00 9MLt2+C6.net
>>355
>不動点コンビネータの典型例であるYコンビネータは・・・対角線論法の副産物
>URLﾘﾝｸ(ja.wikipedia.org)
コンビネータね
なつかしい というか いまは無き"bit"誌で見かけた気がする
"bit"誌は、結構買っていた・・
358:１３２人目の素数さん
25/11/06 12:29:31.03 HfJFRMig.net
>>356
>>「数学における帰納の例を、３つ上げよ」
>>ま、１つも上げられないんじゃね？（笑）
>まず 一つ ”５．高木貞治氏の御言葉”
>“ガウスが進んだ道は即ち数学の進む道である。その道は帰納的である。…”
はい、失格
具体的にガウスの何が帰納かあげられなかったので失格
高卒オチコボレの世田クン、いったい数学板で何がしたいの？
>>357
>・・・ねなつかしい というか
>いまは無き"bit"誌で見かけた気がする
>"bit"誌は、結構買っていた・・
高卒オチコボレの世田君は地道な努力はまったくせずに
数セミとか数理科学とかｂｉｔとか買って眺めて
なんかリコウになった感を味わって満足する
「知の乞食」というか「知のルンペン」だったのね
359:１３２人目の素数さん
25/11/06 12:49:07.69 j8xkVDrd.net
>>329
「XがYを●●する」:=P(X,Y)、
「Xが誰であれ、それぞれ特定の誰かYがいて、XがYを●●するのは、YがYを●●するときそのときに限る」:=Q
と書くと、Q⇔(∀X∃Y(P(X,Y)⇔P(Y,Y)))。任意のXに対してY=Xが存在してP(X,X)⇔P(X,X)だからQは定理。
よって仮定￢Qから矛盾が導けるのは当然では？
>要するに、ラッセルパラドックスとは「一階述語論理における、基本的な定理の否定文」
（ラッセルパラドックス:=「{x|￢x∈x}は集合」と解釈すると）その言明は間違いではないが逆は言えないのでは？
360:１３２人目の素数さん
25/11/06 13:00:54.19 w83jBMbC.net
ﾄ､ /ヽ /＼ _
/|＼ ｜ ヽ 〈三ヽ /三/| / ! /!ヽ
| l ヽ | ヽ !＼ ／ _| / ｜ ,' / !
| ﾍ ! ヽ （ )）{ ｝（ )） ,' !_／ / j ふっふ、ほっほ
', ヽ | l ﾄｲ｀|i|⌒ Y=｝ ! ', ／ /
', ヽ!≡ l { ヽ || r‐'ﾘ -i ! ≡ ! /
ヽ ≡ ! | ﾐ )!!= 彡-ﾉ＿ l ≡ ! ,.'
＼ ≡ ｜ ,.-ﾉ / ! ト､トく ｀メ､_', = / ／
＼ ≡ ! ／てノしｲ_人人ノ､ ヽ ／
＼― |／ヽ ,ｲ- ､ヽ / ｲ´￣￣ヽ_／
＼ ヽ／ l ヽi ／￣｀!
〉―く ｧ―‐‐j
361:１３２人目の素数さん
25/11/06 13:00:56.49 w83jBMbC.net
ﾄ､ /ヽ /＼ _
/|＼ ｜ ヽ 〈三ヽ /三/| / ! /!ヽ
| l ヽ | ヽ !＼ ／ _| / ｜ ,' / !
| ﾍ ! ヽ （ )）{ ｝（ )） ,' !_／ / j ふっふ、ほっほ
', ヽ | l ﾄｲ｀|i|⌒ Y=｝ ! ', ／ /
', ヽ!≡ l { ヽ || r‐'ﾘ -i ! ≡ ! /
ヽ ≡ ! | ﾐ )!!= 彡-ﾉ＿ l ≡ ! ,.'
＼ ≡ ｜ ,.-ﾉ / ! ト､トく ｀メ､_', = / ／
＼ ≡ ! ／てノしｲ_人人ノ､ ヽ ／
＼― |／ヽ ,ｲ- ､ヽ / ｲ´￣￣ヽ_／
＼ ヽ／ l ヽi ／￣｀!
〉―く ｧ―‐‐j
362:１３２人目の素数さん
25/11/06 13:01:03.18 w83jBMbC.net
ﾄ､ /ヽ /＼ _
/|＼ ｜ ヽ 〈三ヽ /三/| / ! /!ヽ
| l ヽ | ヽ !＼ ／ _| / ｜ ,' / !
| ﾍ ! ヽ （ )）{ ｝（ )） ,' !_／ / j ふっふ、ほっほ
', ヽ | l ﾄｲ｀|i|⌒ Y=｝ ! ', ／ /
', ヽ!≡ l { ヽ || r‐'ﾘ -i ! ≡ ! /
ヽ ≡ ! | ﾐ )!!= 彡-ﾉ＿ l ≡ ! ,.'
＼ ≡ ｜ ,.-ﾉ / ! ト､トく ｀メ､_', = / ／
＼ ≡ ! ／てノしｲ_人人ノ､ ヽ ／
＼― |／ヽ ,ｲ- ､ヽ / ｲ´￣￣ヽ_／
＼ ヽ／ l ヽi ／￣｀!
〉―く ｧ―‐‐j
363:１３２人目の素数さん
25/11/06 13:37:20.89 DQBl6cvL.net
>>341
>非数学ネタに逃げた時点で、数学の議論での非勢を認めたってことだ
あなたのことですね？
364:１３２人目の素数さん
25/11/06 14:24:20.49 j8xkVDrd.net
>>346
>＞中国が尖閣領海侵犯を繰り返す理由
>面目を保ちたいから（笑）
尖閣領海侵犯を繰り返さないと面目保てないのはなぜ？
> モンゴルは元寇で中国にせめこんだ
> 日本は豊臣秀吉のときも明治時代も朝鮮に攻めこんだ
> のみならず明治以降満州まで攻め込んで無理矢理独立国作って中国本土まで侵攻した
> かつてのモンゴルや女真みたいに征服王朝「大和皇国」でも作りたかったのか？
> どこまで尊大なんだ日本人
> ま、結局、惨敗したけどな
> ああ みっともな
> 人倫に悖ることやってしかも負ける
> 愚の骨頂
昔のことを持ち出すならこう言えよ
他の人類種をすべて絶滅させたホモサピエンスはどこまで尊大なんだ
君は何が問題か分かってないな
21世紀になっても前近代的侵略行為を行ってるのが問題なんだよ
ジェノサイドなんて近代以前では普通だからな 問題は今それやってること
365:１３２人目の素数さん
25/11/06 14:36:15.51 j8xkVDrd.net
>>348
>> はじめて知ったわ カラスの世田君
>それが、非数学ネタに逃げたってことよｗｗ
意味不明で草
>ふっふ、ほっほ
アホ？
>>ラッセルパラドックスって非数学ネタなの？
>懐かし話題をありがとう >>343より
>高校時代に ゲーデルの不完全性定理の本を読んだときの、”嘘つきのパラドックス”を 思い出したよ ；ｐ）
回答になってなくて草
366:１３２人目の素数さん
25/11/06 14:37:38.85 j8xkVDrd.net
相変わらずセタは言葉が通じねえな
367:１３２人目の素数さん
25/11/06 14:43:58.12 IDMvw5Yl.net
言葉が通じない相手であることを確認する作業ほど
楽しいことはないようだな
368:１３２人目の素数さん
25/11/06 14:49:51.48 j8xkVDrd.net
>>351
>今さら、中国に征服王朝作ろうなんて考える日本人は●ってる（笑）
征服王朝じゃなく大東亜共栄圏な
いつの時代のこと言ってんだよｗ
昔のこと持ち出すならこう言えよ ホモサピエンスは●ってる
369:１３２人目の素数さん
25/11/06 14:54:52.86 j8xkVDrd.net
>>367
おまえの相手は楽しくないから消えてくれる？
370:１３２人目の素数さん
25/11/06 15:45:55.66 j8xkVDrd.net
>>352
相変わらず意味不明
>まず、人は ”一階述語論理”そのものでは、思考していない！
「一階述語論理で思考する」と「一階述語論理を用いる」の違いは何？ 同じ？
同じだとすると
>古代ギリシアの昔からね それを認めよう
古代ギリシャ時代に一階述語論理を用いてないのは当然 明治時代以降に確立されたんだから 何が言いたいのか不明
>次に、一階述語論理が向いている分野が 沢山ある
>特に 理系の分野な。
理系に限らないし学問に限らない。
>だが、高木先生は 数学研究は 演繹より帰納だと言った
どういう意味で演繹・帰納という語を使ってる？
>演繹は、一階述語論理かもしれないが
>帰納は、一階述語論理は むかないだろう
どういう意味で演繹・帰納という語を使ってる？
君、こみゅ障でしょ 何を言ってるのか・言いたいのかさっぱり分からない
371:現代数学の系譜 雑談
25/11/06 16:01:14.21 9MLt2+C6.net
>>367
>言葉が通じない相手であることを確認する作業ほど
>楽しいことはないようだな
ID:IDMvw5Ylは、御大か
巡回ご苦労様です
まあ、私には
数学的に反論できないので
”言葉が通じない相手”だぁ～と
逃げの一手（しのぎの”常套句”）
と映りますｗ （＾＾
372:１３２人目の素数さん
25/11/06 16:11:57.22 TCfjtHJT.net
>>368
>征服王朝じゃなく大東亜共栄圏な
「日本は大東亜共栄圏で中国をどうするつもりだった？」
ってAIに尋ねたら
「中国を傀儡国家にして、主要地域は直轄地化するつもりだった」
というから、他国の例でいうとどんな感じ？ってさらに尋ねたら
「イギリスのインド支配とか」
みたいな回答がかえってきた
元とか清とかみたいな征服王朝を作る気はなかった？って聞いたら
「そういうこと言ってる人（石原莞爾とか）もいたけど、完全に妄想レベル」
って失笑された
でも征服王朝でもイギリスのインド支配の日本－中国版でも中国にとっては迷惑
ま、こんなことでよろこぶのはウイグルを愛する国粋●違いクンくらいか（笑）
373:１３２人目の素数さん
25/11/06 16:13:53.89 TCfjtHJT.net
誤 私には数学的に反論できない
正 私には数学的反論が理解できない
まあ、正方行列なら正則行列、ってドヤっちゃう人には
大学１年レベルの数学的反論も理解できないよね（笑）
374:現代数学の系譜 雑談
25/11/06 16:14:49.42 9MLt2+C6.net
>>370
>>だが、高木先生は 数学研究は 演繹より帰納だと言った
>どういう意味で演繹・帰納という語を使ってる？
演繹は、多分書かれた教科書を学ぶこと だろう
帰納は、高木先生の「近世数学史談」にある
下記のガウス青年の逸話（算術幾何平均M の数値計算から 楕円関数へ至る）だろう
(google検索)
ガウス 楕円関数の発見 算術幾何平均Mの値計算
AI による概要
ガウスは、算術幾何平均 (AGM: Arithmetic Geometric Mean) \(M(a,b)\) と楕円積分の間に驚くべき関係を発見しました。 ガウスによる発見 ガウスは若いうちから算術幾何平均に興味を持ち、特定の数のペアについてその値を計算していました。そして、この算術幾何平均の値が、特定の第一種完全楕円積分の値と一致することを発見しました。 具体的には、2つの正の数 \(a,b\) の算術幾何平均 \(M(a,b)\) は、以下の楕円積分と等しいという関係です。
略す
この発見は、楕円関数論や超幾何関数の研究への重要な礎となりました。
URLﾘﾝｸ(mathlog.info)
DIO
書カレナカツタ楕圓函數論
ガウスは幼少のときから『算術幾何平均』に興味を有して、多くの特別の数に関してその計算をしている。算術幾何平均（以下agMと略記する）の意味は次の通りである。
ガウスは1799年（『日記』五月三十日）に1と√2とのagMがπ/2ω
と小数第十一位まで一致することを発見した。
ωは『レムニスケート』関数の周期である、即ち、
略
若しも実際M(1,√2)=π/2ω
なることが証明されるならば『確実に解析の新分野が開かれるであろう』と考えたガウスはそれからagMの理論の研究を始めて遂に1800年五月に至て一般楕円函数を発見し、六月にはmodular functionを発見した、少なくともその端緒を確実に把握するに至ったのである。ガウスはこれらの発見に関して生前に発表する所なくして終わった。唯々楕円環の引力に関する論文（２頁）の中にagMの理論の一端を洩らしているのみである。遺稿の中にはこの所謂『新関数』に関するものが数多くあるが、いずれも断片で終わっている。1808年九月一七日付でガウスがSchumacherに与えた書簡中に次のような一節がある。
『・・・円関数と対数関数を吾々は今掛算の九九の如くに自由自在に取扱うているが、高等なる関数の内部に蔵せられる黄金坑は殆ど未知の世界である。予は曾てこれらの関数に関して多くの仕事を為したが、其の内にそれを大きな単行本にまとめようと思うている。それについては既に予のDisq.arith.593頁に暗示して置いた次第である。それらの関数（その中には楕円や双曲線の求長問題に関係を有するものもあるが）に関する最も興味ある真理又は関係の溢るる如き豊富は唯驚嘆の他はないのである・・・』
（これは当時未見の人Schumacherから始めての書簡に対する返事である。彼は同年十月からガウスに就いて天文学を学んだ）。
375:１３２人目の素数さん
25/11/06 16:23:29.47 TCfjtHJT.net
>>374
カラスの世田は、算術幾何平均Mで、ガウスが何をどう帰納したか分かってんの？
全然分かりもせずに、ただ漫然と高木貞治の文章丸写ししてんだろ？
この🐎🦌（笑）
376:現代数学の系譜 雑談
25/11/06 16:26:42.33 9MLt2+C6.net
>>374 追加
URLﾘﾝｸ(blog.goo.ne.jp)
ブログ 「ごまめの歯軋り」
読書ノート 高木貞治著 「近世数学史談」 岩波文庫
2016年08月01日 | 書評
１） 近世数学の誕生 ガウス （その２）
ガウスが書き遺した学術文書は、ゲッチンゲン大学にある。ガウスが中学生時代から大学卒業時までライステの「算術教科書」への書き込みとメモ紙の挿入を始め、「ガウス日記」は1796年から1813年までのメモ小冊子である。
アーベル、ヤコービに先立つこと30年前にガウスは楕円関数を発見していた。またデデキントに先立つこと50年前にガウスはモジュラー関数を発見していた。ガウス文書は完成される過程の「研究の足場」を見ることができる。足場は完成されれば取り払われるが、どういうプロセスで発見に至ったかという発見の秘密を見ることができるのである。
1979年ガウスは積分の逆関数からスタートした。ガウスはx=sinlemn (u)=coslemn(ω-u)をs(u),c(u)と表して、級数展開し、級数の逆展開はラグランジェから学んで ω=∫(1/√(1-p^4))dp=(π/4)(2/∫√sin xdx)=1.31110…を得ている。ガウスは円周等分の拡張としてレム二スケートの等分（σ型関数）を考えていたようである。s(u),c(u)を複素変数の関数とすると、s(5u)は25時の方程式で5つの実根と20の虚根を有する。アーベルの楕円関数の発見もここに端緒があった。すなわち関数論の芽生えとなった。しかしガウスの時代には関数論はなかったので計算には大変苦労したと思われる。しかしガウスの得た結果は皆正しかった。1798年7月ガウスはθ型レム二スケート関数も発見した。無限級数の計算に超人的な計算能力と記憶力を発揮し、得られた結果は現在の関数論から照らしても全部正しい結果であった。
ガウスは1799年、M(1,√2)がπ/2ωに小数第11位まで一致することを発見した。ωはレム二スケート関数の周期である。
377:１３２人目の素数さん
25/11/06 16:30:41.99 48Kfe2oG.net
じゃ、カラスの世田に質問
以下の等式を証明せよ（笑）
π／２＝M(a,b)∫[0,π/2](1/√(a^2cos^2θ+b^2sin^2θ))dθ
378:現代数学の系譜 雑談
25/11/06 16:40:06.97 9MLt2+C6.net
>>376 追加
>ガウスは1799年、M(1,√2)がπ/2ωに小数第11位まで一致することを発見した。ωはレム二スケート関数の周期である。
BSD予想は、機械計算の助けを借りて1960年代の前半に予想が立てられたという（下記）
(参考)
URLﾘﾝｸ(manabitimes.jp)
高校数学の美しい物語
BSD予想の主張の解説 2023/02/24
BSD予想 (バーチ・スウィンナートン＝ダイアー予想)
楕円曲線
E の階数は，
E の
L 関数
L(s,E) の
s=1 における零点の位数に等しい。
ミレニアム懸賞問題とは，100万ドルの懸賞金がかけられている，数学における重要な7つの難問です。→ミレニアム懸賞問題の概要と大雑把な説明
このページでは，ミレニアム懸賞問題の1つであるBSD予想についてざっくりと説明します。特に楕円曲線について詳しく解説し，
L 関数については簡単に触れる程度とします。
目次
楕円曲線とは
楕円曲線上の有理点
Mordellの定理
L関数とは
余談
URLﾘﾝｸ(ja.wikipedia.org)
バーチ・スウィンナートン＝ダイアー予想（バーチ・スウィンナートン＝ダイアーよそう、英語: Birch and Swinnerton-Dyer conjecture）は、数論の分野における未解決問題であり、略してBSD予想 (BSD conjecture) と呼ばれる。
予想はクレイ数学研究所によってリストされた 7 つのミレニアム懸賞問題の 1 つとして選ばれ、最初の正しい証明に対して100万ドルの懸賞金が約束されている[1]。
予想は機械計算の助けを借りて1960年代の前半に予想を立てた数学者ブライアン・バーチとピーター・スウィンナートン＝ダイアーにちなんで名づけられている。
2014年現在、予想の特別な場合のみ正しいと証明されている。
予想は代数体 K 上の楕円曲線 E に伴う数論的データを E の ハッセ・ヴェイユの L-関数 L(E, s) の s = 1 における振る舞いに関係づける。
より具体的には、E の点のなすアーベル群 E(K) のランクは L(E, s) の s = 1 における零点の位数であり、s = 1 における L(E, s) のテイラー展開における最初の 0 でない係数は K 上の E に付属しているより精密な数論的データによって与えられる、ということが予想されている (Wiles 2006)。
URLﾘﾝｸ(en.wikipedia.org)
Birch and Swinnerton-Dyer conjecture
379:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/06 16:57:17.80 BgSK5WPF.net
対ゾンビ計略武力。ゾンビのアイデンティティーを救え。
380:１３２人目の素数さん
25/11/06 17:10:45.82 ZfHYJYpl.net
>>303
馬鹿じゃねえの。
お前は中国に帰れ！
土人！
381:１３２人目の素数さん
25/11/06 17:23:38.85 DQBl6cvL.net
>>371
>まあ、私には
>数学的に反論できないので
その方が「数学的に反論できない」こととはあなたの書いたどのことですか？
>”言葉が通じない相手”だぁ～と
>逃げの一手（しのぎの”常套句”）
>と映りますｗ （＾＾
他の人は大方あなたが逃げているとしか見えないと思います
382:現代数学の系譜 雑談
25/11/06 17:23:49.91 9MLt2+C6.net
>>378 追加
リーマン ゼータ関数に関する「モンゴメリー・オドリズコ予想」
これは 数値計算を モンゴメリーをやっていたんだよね（下記）
おお『テイト論文の2次元の一般化に関するイヴァン・フェセンコの研究』があるそうな （＾＾
URLﾘﾝｸ(ja.wikipedia.org)
モンゴメリー・オドリズコ予想
この予想は、ゼータ関数の零点をスペクトルで表すというヒルベルト・ポリア予想の哲学を受け継いでいる
歴史
1971年のある午後、アメリカのプリンストン高等研究所のティールームで、著名な整数論研究者であったチョウラ（en:Sarvadaman Chowla）が、整数論の若手ヒュー・モンゴメリーを物理学者のフリーマン・ダイソンに紹介した。この日ここで交わされた雑談が、後に整数論の大きな流れを作る発見へとつながる。ダイソンは、当時ランダム行列GUEモデル(ガウス型ユニタリアンサンブル)の固有値対の相関関係を研究しており、その密度分布の数式をモンゴメリーに示した。モンゴメリーはリーマン・ゼータ関数の零点対の間隔分布やその一般化である相関関係を研究していたが、自分が得ていた密度関数が、ダイソンの示したGUE固有値分布の関数とそっくりであることに気づいた。これが、その後の整数論と量子力学をつなぐ端緒となった出会い、そして発見の瞬間であった
その後1973年、モンゴメリーは翌年この発見を論文にまとめ、予想を公表した[5] を発表した。これを読んだオドリズコは、ゼータ関数の零点の間隔分布について大規模な数値計算を行い、ランダム行列の固有値の間隔の分布とほぼ一致することを1987年の論文[6]で示した
この予想を機にゼータ関数とランダム行列の理論との関連が指摘され始め、1998年にはリーマンゼータ関数に対する平均リンデレーフ予想に関してランダム行列の理論を用いて大きな進展をもたらすなどした
URLﾘﾝｸ(ja.wikipedia.org)
リーマン予想
種々の結果
作用素理論
Odlyzko (1987) は、リーマンゼータ関数の零点の分布はガウスのユニタリアンサンブル（英語版）から来るランダム行列の固有値といくつかの統計学的性質を共有していることを示した。これはヒルベルト–ポリヤ予想にいくらかの根拠を与える
数体上の楕円曲線のモデルの数論的ゼータ関数
次元 2 ではテイト論文の2次元の一般化に関するイヴァン・フェセンコの研究はゼータ関数に密接に関係するゼータ積分の積分表現を含む。次元 1 では可能ではなかったこの新しい状況において、ゼータ関数の極はゼータ積分と付随するアデール群を通して研究することができる。ゼータ積分に伴う boundary function の四次導関数の正性に関する Fesenko (2010) の関連した予想は一般リーマン予想の極部分を本質的に含む。Suzuki (2011) はある技術的仮定と合わせて後者がフェセンコの予想を導くことを示した
URLﾘﾝｸ(manabitimes.jp)
高校数学の美しい物語 2025/10/04
リーマン予想の意味
ゼータ関数の非自明な零点の実部は 1/2 である
自明な零点（ゼロ点）の意味，リーマン予想に関して現在分かっている基本的なこと，素数との関係，暗号との関係など解説します
383:現代数学の系譜 雑談
25/11/06 17:31:21.56 9MLt2+C6.net
>>381
>>まあ、私には
>>数学的に反論できないので
>その方が「数学的に反論できない」こととはあなたの書いたどのことですか？
ふっふ、ほっほ
数学的に キチンと反論できているのならば
余計なことを書かれない方が、宜しいかと思いますねｗ
それ（数学的なキチンとした反論）が できないから
数学以外の余計なこと（罵詈雑言）を 書いていると映るｗｗ
それは、私には
”ふっふ、ほっほ”で 微笑ましい（オチコボレさんの悪あがき）
丸っとお見通しです ｗｗｗ
384:１３２人目の素数さん
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大学の研究集会のことも載ってるくらいだし