[過去ログ]
Inter-universal geometry と ABC予想 (応援スレ) 77 (1002レス)
Inter-universal geometry と ABC予想 (応援スレ) 77 http://rio2016.5ch.net/test/read.cgi/math/1761878205/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
357: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/06(木) 12:14:02.00 ID:9MLt2+C6 >>355 >不動点コンビネータの典型例であるYコンビネータは・・・対角線論法の副産物 >https://ja.wikipedia.org/wiki/%E4%B8%8D%E5%8B%95%E7%82%B9%E3%82%B3%E3%83%B3%E3%83%93%E3%83%8D%E3%83%BC%E3%82%BF コンビネータね なつかしい というか いまは無き"bit"誌で見かけた気がする "bit"誌は、結構買っていた・・ http://rio2016.5ch.net/test/read.cgi/math/1761878205/357
358: 132人目の素数さん [] 2025/11/06(木) 12:29:31.03 ID:HfJFRMig >>356 >>「数学における帰納の例を、3つ上げよ」 >>ま、1つも上げられないんじゃね?(笑) >まず 一つ ”5.高木貞治氏の御言葉” >“ガウスが進んだ道は即ち数学の進む道である。その道は帰納的である。…” はい、失格 具体的にガウスの何が帰納かあげられなかったので失格 高卒オチコボレの世田クン、いったい数学板で何がしたいの? >>357 >・・・ねなつかしい というか >いまは無き"bit"誌で見かけた気がする >"bit"誌は、結構買っていた・・ 高卒オチコボレの世田君は地道な努力はまったくせずに 数セミとか数理科学とかbitとか買って眺めて なんかリコウになった感を味わって満足する 「知の乞食」というか「知のルンペン」だったのね http://rio2016.5ch.net/test/read.cgi/math/1761878205/358
359: 132人目の素数さん [] 2025/11/06(木) 12:49:07.69 ID:j8xkVDrd >>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}は集合」と解釈すると)その言明は間違いではないが逆は言えないのでは? http://rio2016.5ch.net/test/read.cgi/math/1761878205/359
360: 132人目の素数さん [] 2025/11/06(木) 13:00:54.19 ID:w83jBMbC ト、 /ヽ /\ _ /|\ | ヽ 〈三ヽ /三/| / ! /!ヽ | l ヽ | ヽ !\ / _| / | ,' / ! | ヘ ! ヽ ( )){ }( )) ,' !_/ / j ふっふ、ほっほ ', ヽ | l トイ`|i|⌒ Y=} ! ', / / ', ヽ!≡ l { ヽ || r‐'リ -i ! ≡ ! / ヽ ≡ ! | ミ )!!= 彡-ノ_ l ≡ ! ,.' \ ≡ | ,.-ノ / ! ト、トく `メ、_', = / / \ ≡ ! /てノしイ_人人ノ、 ヽ / \― |/ヽ ,イ- 、ヽ / イ´ ̄ ̄ヽ_/ \ ヽ/ l ヽi / ̄`! 〉―く ァ―‐‐j http://rio2016.5ch.net/test/read.cgi/math/1761878205/360
361: 132人目の素数さん [] 2025/11/06(木) 13:00:56.49 ID:w83jBMbC ト、 /ヽ /\ _ /|\ | ヽ 〈三ヽ /三/| / ! /!ヽ | l ヽ | ヽ !\ / _| / | ,' / ! | ヘ ! ヽ ( )){ }( )) ,' !_/ / j ふっふ、ほっほ ', ヽ | l トイ`|i|⌒ Y=} ! ', / / ', ヽ!≡ l { ヽ || r‐'リ -i ! ≡ ! / ヽ ≡ ! | ミ )!!= 彡-ノ_ l ≡ ! ,.' \ ≡ | ,.-ノ / ! ト、トく `メ、_', = / / \ ≡ ! /てノしイ_人人ノ、 ヽ / \― |/ヽ ,イ- 、ヽ / イ´ ̄ ̄ヽ_/ \ ヽ/ l ヽi / ̄`! 〉―く ァ―‐‐j http://rio2016.5ch.net/test/read.cgi/math/1761878205/361
362: 132人目の素数さん [] 2025/11/06(木) 13:01:03.18 ID:w83jBMbC ト、 /ヽ /\ _ /|\ | ヽ 〈三ヽ /三/| / ! /!ヽ | l ヽ | ヽ !\ / _| / | ,' / ! | ヘ ! ヽ ( )){ }( )) ,' !_/ / j ふっふ、ほっほ ', ヽ | l トイ`|i|⌒ Y=} ! ', / / ', ヽ!≡ l { ヽ || r‐'リ -i ! ≡ ! / ヽ ≡ ! | ミ )!!= 彡-ノ_ l ≡ ! ,.' \ ≡ | ,.-ノ / ! ト、トく `メ、_', = / / \ ≡ ! /てノしイ_人人ノ、 ヽ / \― |/ヽ ,イ- 、ヽ / イ´ ̄ ̄ヽ_/ \ ヽ/ l ヽi / ̄`! 〉―く ァ―‐‐j http://rio2016.5ch.net/test/read.cgi/math/1761878205/362
363: 132人目の素数さん [] 2025/11/06(木) 13:37:20.89 ID:DQBl6cvL >>341 >非数学ネタに逃げた時点で、数学の議論での非勢を認めたってことだ あなたのことですね? http://rio2016.5ch.net/test/read.cgi/math/1761878205/363
364: 132人目の素数さん [] 2025/11/06(木) 14:24:20.49 ID:j8xkVDrd >>346 >>中国が尖閣領海侵犯を繰り返す理由 >面目を保ちたいから(笑) 尖閣領海侵犯を繰り返さないと面目保てないのはなぜ? > モンゴルは元寇で中国にせめこんだ > 日本は豊臣秀吉のときも明治時代も朝鮮に攻めこんだ > のみならず明治以降満州まで攻め込んで無理矢理独立国作って中国本土まで侵攻した > かつてのモンゴルや女真みたいに征服王朝「大和皇国」でも作りたかったのか? > どこまで尊大なんだ日本人 > ま、結局、惨敗したけどな > ああ みっともな > 人倫に悖ることやってしかも負ける > 愚の骨頂 昔のことを持ち出すならこう言えよ 他の人類種をすべて絶滅させたホモサピエンスはどこまで尊大なんだ 君は何が問題か分かってないな 21世紀になっても前近代的侵略行為を行ってるのが問題なんだよ ジェノサイドなんて近代以前では普通だからな 問題は今それやってること http://rio2016.5ch.net/test/read.cgi/math/1761878205/364
365: 132人目の素数さん [] 2025/11/06(木) 14:36:15.51 ID:j8xkVDrd >>348 >> はじめて知ったわ カラスの世田君 >それが、非数学ネタに逃げたってことよww 意味不明で草 >ふっふ、ほっほ アホ? >>ラッセルパラドックスって非数学ネタなの? >懐かし話題をありがとう >>343より >高校時代に ゲーデルの不完全性定理の本を読んだときの、”嘘つきのパラドックス”を 思い出したよ ;p) 回答になってなくて草 http://rio2016.5ch.net/test/read.cgi/math/1761878205/365
366: 132人目の素数さん [] 2025/11/06(木) 14:37:38.85 ID:j8xkVDrd 相変わらずセタは言葉が通じねえな http://rio2016.5ch.net/test/read.cgi/math/1761878205/366
367: 132人目の素数さん [] 2025/11/06(木) 14:43:58.12 ID:IDMvw5Yl 言葉が通じない相手であることを確認する作業ほど 楽しいことはないようだな http://rio2016.5ch.net/test/read.cgi/math/1761878205/367
368: 132人目の素数さん [] 2025/11/06(木) 14:49:51.48 ID:j8xkVDrd >>351 >今さら、中国に征服王朝作ろうなんて考える日本人は●ってる(笑) 征服王朝じゃなく大東亜共栄圏な いつの時代のこと言ってんだよw 昔のこと持ち出すならこう言えよ ホモサピエンスは●ってる http://rio2016.5ch.net/test/read.cgi/math/1761878205/368
369: 132人目の素数さん [] 2025/11/06(木) 14:54:52.86 ID:j8xkVDrd >>367 おまえの相手は楽しくないから消えてくれる? http://rio2016.5ch.net/test/read.cgi/math/1761878205/369
370: 132人目の素数さん [] 2025/11/06(木) 15:45:55.66 ID:j8xkVDrd >>352 相変わらず意味不明 >まず、人は ”一階述語論理”そのものでは、思考していない! 「一階述語論理で思考する」と「一階述語論理を用いる」の違いは何? 同じ? 同じだとすると >古代ギリシアの昔からね それを認めよう 古代ギリシャ時代に一階述語論理を用いてないのは当然 明治時代以降に確立されたんだから 何が言いたいのか不明 >次に、一階述語論理が向いている分野が 沢山ある >特に 理系の分野な。 理系に限らないし学問に限らない。 >だが、高木先生は 数学研究は 演繹より帰納だと言った どういう意味で演繹・帰納という語を使ってる? >演繹は、一階述語論理かもしれないが >帰納は、一階述語論理は むかないだろう どういう意味で演繹・帰納という語を使ってる? 君、こみゅ障でしょ 何を言ってるのか・言いたいのかさっぱり分からない http://rio2016.5ch.net/test/read.cgi/math/1761878205/370
371: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/06(木) 16:01:14.21 ID:9MLt2+C6 >>367 >言葉が通じない相手であることを確認する作業ほど >楽しいことはないようだな ID:IDMvw5Ylは、御大か 巡回ご苦労様です まあ、私には 数学的に反論できないので ”言葉が通じない相手”だぁ〜と 逃げの一手(しのぎの”常套句”) と映りますw (^^ http://rio2016.5ch.net/test/read.cgi/math/1761878205/371
372: 132人目の素数さん [] 2025/11/06(木) 16:11:57.22 ID:TCfjtHJT >>368 >征服王朝じゃなく大東亜共栄圏な 「日本は大東亜共栄圏で中国をどうするつもりだった?」 ってAIに尋ねたら 「中国を傀儡国家にして、主要地域は直轄地化するつもりだった」 というから、他国の例でいうとどんな感じ?ってさらに尋ねたら 「イギリスのインド支配とか」 みたいな回答がかえってきた 元とか清とかみたいな征服王朝を作る気はなかった?って聞いたら 「そういうこと言ってる人(石原莞爾とか)もいたけど、完全に妄想レベル」 って失笑された でも征服王朝でもイギリスのインド支配の日本−中国版でも中国にとっては迷惑 ま、こんなことでよろこぶのはウイグルを愛する国粋●違いクンくらいか(笑) http://rio2016.5ch.net/test/read.cgi/math/1761878205/372
373: 132人目の素数さん [] 2025/11/06(木) 16:13:53.89 ID:TCfjtHJT 誤 私には数学的に反論できない 正 私には数学的反論が理解できない まあ、正方行列なら正則行列、ってドヤっちゃう人には 大学1年レベルの数学的反論も理解できないよね(笑) http://rio2016.5ch.net/test/read.cgi/math/1761878205/373
374: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/06(木) 16:14:49.42 ID:9MLt2+C6 >>370 >>だが、高木先生は 数学研究は 演繹より帰納だと言った >どういう意味で演繹・帰納という語を使ってる? 演繹は、多分書かれた教科書を学ぶこと だろう 帰納は、高木先生の「近世数学史談」にある 下記のガウス青年の逸話(算術幾何平均M の数値計算から 楕円関数へ至る)だろう (google検索) ガウス 楕円関数の発見 算術幾何平均Mの値計算 AI による概要 ガウスは、算術幾何平均 (AGM: Arithmetic Geometric Mean) \(M(a,b)\) と楕円積分の間に驚くべき関係を発見しました。 ガウスによる発見 ガウスは若いうちから算術幾何平均に興味を持ち、特定の数のペアについてその値を計算していました。そして、この算術幾何平均の値が、特定の第一種完全楕円積分の値と一致することを発見しました。 具体的には、2つの正の数 \(a,b\) の算術幾何平均 \(M(a,b)\) は、以下の楕円積分と等しいという関係です。 略す この発見は、楕円関数論や超幾何関数の研究への重要な礎となりました。 https://mathlog.info/articles/1854 DIO 書カレナカツタ楕圓函數論 ガウスは幼少のときから『算術幾何平均』に興味を有して、多くの特別の数に関してその計算をしている。算術幾何平均(以下agMと略記する)の意味は次の通りである。 ガウスは1799年(『日記』五月三十日)に1と√2とのagMがπ/2ω と小数第十一位まで一致することを発見した。 ωは『レムニスケート』関数の周期である、即ち、 略 若しも実際M(1,√2)=π/2ω なることが証明されるならば『確実に解析の新分野が開かれるであろう』と考えたガウスはそれからagMの理論の研究を始めて遂に1800年五月に至て一般楕円函数を発見し、六月にはmodular functionを発見した、少なくともその端緒を確実に把握するに至ったのである。ガウスはこれらの発見に関して生前に発表する所なくして終わった。唯々楕円環の引力に関する論文(2頁)の中にagMの理論の一端を洩らしているのみである。遺稿の中にはこの所謂『新関数』に関するものが数多くあるが、いずれも断片で終わっている。1808年九月一七日付でガウスがSchumacherに与えた書簡中に次のような一節がある。 『・・・円関数と対数関数を吾々は今掛算の九九の如くに自由自在に取扱うているが、高等なる関数の内部に蔵せられる黄金坑は殆ど未知の世界である。予は曾てこれらの関数に関して多くの仕事を為したが、其の内にそれを大きな単行本にまとめようと思うている。それについては既に予のDisq.arith.593頁に暗示して置いた次第である。それらの関数(その中には楕円や双曲線の求長問題に関係を有するものもあるが)に関する最も興味ある真理又は関係の溢るる如き豊富は唯驚嘆の他はないのである・・・』 (これは当時未見の人Schumacherから始めての書簡に対する返事である。彼は同年十月からガウスに就いて天文学を学んだ)。 http://rio2016.5ch.net/test/read.cgi/math/1761878205/374
375: 132人目の素数さん [] 2025/11/06(木) 16:23:29.47 ID:TCfjtHJT >>374 カラスの世田は、算術幾何平均Mで、ガウスが何をどう帰納したか分かってんの? 全然分かりもせずに、ただ漫然と高木貞治の文章丸写ししてんだろ? この🐎🦌(笑) http://rio2016.5ch.net/test/read.cgi/math/1761878205/375
376: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/06(木) 16:26:42.33 ID:9MLt2+C6 >>374 追加 https://blog.goo.ne.jp/sendatakayuki0123456789/e/8d73d142cec0ff31955342b5756afa42 ブログ 「ごまめの歯軋り」 読書ノート 高木貞治著 「近世数学史談」 岩波文庫 2016年08月01日 | 書評 1) 近世数学の誕生 ガウス (その2) ガウスが書き遺した学術文書は、ゲッチンゲン大学にある。ガウスが中学生時代から大学卒業時までライステの「算術教科書」への書き込みとメモ紙の挿入を始め、「ガウス日記」は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位まで一致することを発見した。ωはレム二スケート関数の周期である。 http://rio2016.5ch.net/test/read.cgi/math/1761878205/376
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 626 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.024s