[過去ログ]
Inter-universal geometry と ABC予想 (応援スレ) 77 (1002レス)
Inter-universal geometry と ABC予想 (応援スレ) 77 http://rio2016.5ch.net/test/read.cgi/math/1761878205/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
505: 132人目の素数さん [] 2025/11/08(土) 12:27:19.35 ID:ZuSEB9pS >>503 ストローマン乙 その大数学者は論理を分かってないと? んなこたーねーだろ? http://rio2016.5ch.net/test/read.cgi/math/1761878205/505
506: 132人目の素数さん [] 2025/11/08(土) 12:29:18.49 ID:ZuSEB9pS ていうか命題論理と述語論理の違いもちんぷんかんぷんかw 聞いた俺が馬鹿だった orz http://rio2016.5ch.net/test/read.cgi/math/1761878205/506
507: 132人目の素数さん [] 2025/11/08(土) 12:37:16.07 ID:ZuSEB9pS >>500 >「証明」とは論理だけではなく,なぜそれが成り立つかを成程と納得させ確信させる説明といってよいでしょう その通り。 だからショルツェらを納得させられないIUTはabc予想の証明になってない。 本来なら指摘者を納得させようと努力すべきなのに逆ギレしてるようじゃ話にならん。 http://rio2016.5ch.net/test/read.cgi/math/1761878205/507
508: 132人目の素数さん [] 2025/11/08(土) 12:47:46.63 ID:TJf5D2X1 >>ショルツェらを納得させられないIUTはabc予想の証明になってない。 査読者(たち)は納得したのではなく 説得された(またはそのふりをした)というわけか http://rio2016.5ch.net/test/read.cgi/math/1761878205/508
509: 132人目の素数さん [] 2025/11/08(土) 13:00:44.96 ID:AvBga2zV カタワって身体障害者の事を言うんだろ?精神障害者はなんていうの? [194767121] https://hayabusa9.5ch.net/test/read.cgi/news/1762573138/ http://rio2016.5ch.net/test/read.cgi/math/1761878205/509
510: 132人目の素数さん [] 2025/11/08(土) 14:27:46.53 ID:hP1E8Bup >>508 そうかも知れませんがそれは明かされないでしょう 理解して査読を行ったはずの査読者が解説してくれるといいんですが それも望めません http://rio2016.5ch.net/test/read.cgi/math/1761878205/510
511: 132人目の素数さん [] 2025/11/08(土) 15:07:06.30 ID:3nB+TfKS >>488 >東北大 尾畑研のpdf程度で 良い 第一章の1.4に述語論理出てくるけど、 カラスの世田はこんな基本的なことも 何ひとつ全然理解できてないよ(バッサリ) https://www.math.is.tohoku.ac.jp/~obata/student/subject/TaikeiBook/Taikei-Book_01.pdf http://rio2016.5ch.net/test/read.cgi/math/1761878205/511
512: 132人目の素数さん [] 2025/11/08(土) 15:28:43.09 ID:3nB+TfKS >>488 >20世紀中頃は、数学は コテコテの一階述語論理を優先すべし >(代表例がεδ式)と教える人が多かったが つまりカラスの世田は、コーシー列の定義が理解できない、ってコト? ∀ε>0.∃n∈N.m1,m2>=n⇒|x_m1−x_m2|<ε >今21世紀は、もう少し 多様な考えが出てきた(その代表が超準や圏論)ように思います ∀も∃も使わないコーシー列の定義が、 「超準」とか圏論で、どうやったらできるのか示せる? 口から出まかせの嘘つきカラス君 http://rio2016.5ch.net/test/read.cgi/math/1761878205/512
513: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/08(土) 16:42:37.17 ID:P9qVEF++ >>492 補足 背理法とベン図 及び 背理法の使いどき 下記 『ただ1通りに表される vs 2通りの表し方がある』は、手筋です https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1499735909 ove********さん 2013/1/4 背理法ってベン図かなにかで可視化できませんか? https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1399736633 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は全てQのなかにすっぽり入っていて欲しいのです ここで、PのくせにQからはみ出している奴ら「 p かつ (qでない) 」を仮定してこいつらについて考えます そこで矛盾を導き出すことで、こんなはみ出し者どもは居ない、ということを証明し、PはすべてQの中にすっぽりと入っていること、すなわちp⇒qを証明するのです これが背理法ですね つづく http://rio2016.5ch.net/test/read.cgi/math/1761878205/513
514: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/08(土) 16:43:13.56 ID:P9qVEF++ つづき https://manabitaizen.com/books/math1/chapter1/article10 背理法の使いどきと複数の文字を含む条件 ホーム 本一覧 武器になる数学? 第1章 数と式・集合と命題 第10回 背理法の使いどきと複数の文字を含む条件 20240327 この記事では慣れないと使うのが難しい背理法をどんな場面で使えばよいのか具体例を挙げてまとめていきます。また、複数の文字を含む複雑な条件について考え、「すべての」や「ある」を付けるとどうなるか考察を深めます 目次 1. 背理法の使いどきまとめ どんなときに背理法を使いたいと考えるかというと、証明する命題を否定したほうが扱いやすく、議論が進めやすいときです。 つまり、扱いやすい・扱いにくいペアを知ることが背理法を考えるヒントになります。これをまとめたのが下の表です 扱いにくい vs 扱いやすい 無理数 vs 有理数 存在しない vs 存在する 無限個存在する vs 有限個のみ存在する 素数 vs 合成数(と1) 互いに素 vs 素数の公約数をもつ ただ1通りに表される vs 2通りの表し方がある 係数がすべて0(一次独立) vs 0でない係数がある(一次従属) 「PならばQ」型の結論に「または」 vs 「PならばQ」型の仮定に「かつ」 この表の見方は左側の事柄を示したい時に背理法の利用を考えて、右側であると仮定して矛盾を示します もちろんこれ以外にも問題によって柔軟に考えるべきですが、特に背理法の問題として出題されるならこの表に載っているものが出る可能性が高いです 以下に具体例を載せておくので見てみてください (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1761878205/514
515: 132人目の素数さん [] 2025/11/08(土) 17:02:10.00 ID:ZuSEB9pS >>513 >>514 可視化だの分かりやすいだの高校生かよw 大学生なら証明しろw http://rio2016.5ch.net/test/read.cgi/math/1761878205/515
516: 132人目の素数さん [] 2025/11/08(土) 17:17:03.51 ID:ZuSEB9pS >>496 >>矛盾した理論はいかなる命題も証明できてしまうからまったくのナンセンス >そうだね 分かって言ってる? 背理法も分からないんじゃ疑わしい 【定理】 P,Qを任意の論理式とする。P∧¬P |= Q。 【証明】 (1) P∧¬P (前提) (2) P ((1)と連言除去) (3) P∨Q ((2)と選言導入) (4) ¬P ((1)と連言除去) (5) Q ((3)と(4)と選言三段論法) http://rio2016.5ch.net/test/read.cgi/math/1761878205/516
517: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/08(土) 17:18:51.24 ID:P9qVEF++ >>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人の人たち) (参考) https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96 宇宙際タイヒミュラー理論 論文の出版と批判 上記のプレプリントは7年半にわたる審査を経て、2020年2月5日に査読を通過した。2020年4月、PRIMS特別編集委員会の記者会見で共同編集委員長の柏原正樹、玉川安騎男は、記者会見を行い、望月論文の査読受理を発表した[28]。 2021年3月に望月が編集主幹を務めるRIMS発行の論文誌PRIMSの特別号に掲載された[34]。 https://ahgt.math.cnrs.fr/activities/ Arithmetic & Homotopic Galois Theory IRN Activities - Conferences & Seminars https://www.kurims.kyoto-u.ac.jp/~bcollas/Promenade-IUT/index.html 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 https://www.kurims.kyoto-u.ac.jp/~bcollas/Promenade-IUT/documents/RIMS-Lille%20-%20Promenade%20in%20Inter-Universal%20Teichm%C3%BCller%20Theory.pdf 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 https://researchmap.jp/wakabayashi...zzz/research_experience 若林 泰央 ワカバヤシ ヤスヒロ 2022年10月 - 現在大阪大学, 大学院情報科学研究科 情報基礎数学専攻, 准教授 2018年4月 - 2022年9月東京工業大学, 理学院, 助教 http://rio2016.5ch.net/test/read.cgi/math/1761878205/517
518: 132人目の素数さん [] 2025/11/08(土) 17:28:01.97 ID:ZuSEB9pS >>513 >>514 >人の思考は一階述語論理に縛られない こんな能書き垂れて勉強しないから背理法ひとつ証明できないんだよど素人くん http://rio2016.5ch.net/test/read.cgi/math/1761878205/518
519: 132人目の素数さん [] 2025/11/08(土) 17:32:26.14 ID:ZuSEB9pS 大学数学でベン図で可視化とか言ってたらそりゃ落第するわなw http://rio2016.5ch.net/test/read.cgi/math/1761878205/519
520: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/08(土) 17:45:37.49 ID:P9qVEF++ >>502 >ある大数学者が若い時に >自分は論理も計算もない数学をやってみたい >と言ったとか >数学者にはこういう気宇壮大さも必要だろう たとえば どういう数学者・・・? そうか! 佐藤幹夫先生だ!!w 論理も計算も、弟子や同僚が主にやったという 例えば 証明は、柏原先生の担当 佐藤-Tate 予想の数値計算は、難波完爾先生が ソリトンの理論の数値計算は、佐藤幹夫先生の奥様(毛織泰子,佐藤泰子)だった・・ (参考) https://ja.wikipedia.org/wiki/%E4%BD%90%E8%97%A4%E3%83%BB%E3%83%86%E3%82%A4%E3%83%88%E4%BA%88%E6%83%B3 佐藤・テイト予想 予想は1963年[3]に佐藤幹夫(Mikio Sato)により提出され、ジョン・テイト(John Tate)により代数幾何学的に解釈された。[4] 脚注 3^ 難波 2006, p. 105. 参考文献 難波完爾「Dedekind η 関数と佐藤 sin2-予想」『第16回数学史シンポジウム報告集』(PDF)27号、津田塾大学数学・計算機科学研究所〈津田塾大学数学・計算機科学研究所報〉、2006年、95-167頁。 https://tsadahiro.github.io/sugakushi/sympo16/ 第16回数学史シンポジウム 難波完爾 Dedekind η 関数と佐藤 sin2-予想 https://tsadahiro.github.io/sugakushi/sympo16/16_8nanba.pdf (P3 辺りの話) https://ja.wikipedia.org/wiki/%E4%BD%90%E8%97%A4%E7%90%86%E8%AB%96 佐藤理論(さとうりろん)は、佐藤幹夫によるソリトン方程式と解に関する理論である[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。 http://rio2016.5ch.net/test/read.cgi/math/1761878205/520
521: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/08(土) 17:49:10.35 ID:P9qVEF++ >>519 >大学数学でベン図で可視化とか言ってたらそりゃ落第するわなw 話は真逆 >>13-14 加藤文元氏 メンタルピクチャー、形式化図式と数学の「理解」 <“big picture”> Career advice Terence Tao これを、常に心がけるべし! ;p) http://rio2016.5ch.net/test/read.cgi/math/1761878205/521
522: 132人目の素数さん [] 2025/11/08(土) 17:54:04.90 ID:ZuSEB9pS >>521 誰も可視化するなとは言ってない。したきゃ勝手にすればいい。可視化止まりじゃ不十分だと言っている。 相変わらず言葉が通じんな君は。 http://rio2016.5ch.net/test/read.cgi/math/1761878205/522
523: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/08(土) 18:04:03.37 ID:P9qVEF++ >>511 >第一章の1.4に述語論理出てくるけど、 >カラスの世田はこんな基本的なことも >何ひとつ全然理解できてないよ(バッサリ) >https://www.math.is.tohoku.ac.jp/~obata/student/subject/TaikeiBook/Taikei-Book_01.pdf ご苦労さまです (引用開始) 1.4 述語論理 これまで命題と論理演算を組み合わせてより複雑な命題を構成したり推論形式の有効性を議論してきた そこで展開してきた論理体系を命題論理と呼ぶ しかしながら命題論理では真偽が確定する命題だけを扱うため数学の基礎付けとしては守備範囲が極めて限定的で不十分である 命題論理を拡張して変数を含む命題を扱うことのできる論理体系を述語論理という 現代数学のほとんどの部分は述語論理によってカバーされる ■命題関数変数(扱う対象は数とは限らないので変項ともいう)を含む主張でその変数を特定するごとに真偽の確定する命題になるものを命題関数といいP(x),Q(x,y)のような記号で表す ここでx,yを自由変数と呼ぶ (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1761878205/523
524: 132人目の素数さん [] 2025/11/08(土) 18:07:50.34 ID:hP1E8Bup >>517 >”Promenade in Inter-Universal Teichmüller Theory”でしょう(当時IUTを理解している10人の人たち) B. Collas (RIMS Kyoto, JP) R. Cluckers (Lille - Leuven, FR) B. Fresse (Lille, FR) Porowski (Notthingam, UK) P. Debes (Lille, FR) S. Tsujimura (RIMS Kyoto, JP) Liu (?) A. Minamide (RIMS Kyoto, JP) K. Sawada (Osaka, JP) S. Mochizuki (RIMS Kyoto, JP) Y. Hoshi (Lille, FR) ?. Wakabayashi (Tokyo) 12人の気鋭の男たちですか N. Borne (Lille, FR) J. Hauseux (Lille, FR) L. Ramero (Lille, FR) ポスターには名前が載ってましたが この3名の方は講演はしなかったんですね? 世界的に否定的な風潮である中 これらの人は現在どういう発言をしてますかね? http://rio2016.5ch.net/test/read.cgi/math/1761878205/524
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 478 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.024s