[過去ログ]
Inter-universal geometry と ABC予想 (応援スレ) 77 (1002レス)
Inter-universal geometry と ABC予想 (応援スレ) 77 http://rio2016.5ch.net/test/read.cgi/math/1761878205/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
72: 132人目の素数さん [] 2025/11/03(月) 16:29:49.99 ID:u7vdmd1+ >>64 >冒頭は さらっと流して、次の章に進むべし。そして また 前に戻る >それで理解が出来ないならば、もっと やさしい 本を探すのが良いだろう そのアドバイスは、実は肝心な点について何も述べていない 「さらっと流す」のでは問題点を何も解決していない 「行きつ戻りつ」しても肝心の文章の読み方ができてないと何も理解できない 要するにまずはじめて論理を理解する必要がある これができてない人は数学書をいくら読んでも絶対に理解できない 論理を理解すれば「なんだそんなことか」で終わるのだが 論理を理解しない限りその境地に決して至らない http://rio2016.5ch.net/test/read.cgi/math/1761878205/72
73: 132人目の素数さん [] 2025/11/03(月) 16:36:20.99 ID:u7vdmd1+ https://rio2016.5ch.net/test/read.cgi/math/1761878205/944 ワイルズによるフェルマー予想の証明は、ZFCGによるものかもしれんが それだけでは、ZFCでは証明できない、とはいえない ZFCで証明できない、というには ZFCのモデルで、フェルマー予想が偽になるものが存在する と示さなくてはならない 残念ながらこんな基本的な数理論理学の知識すら 大抵の数学者は持ち合わせていない おそらく、自然数論のモデルは唯一無二だと 漫然と思い込んでいるのだろう ゲーデルが聞いたら嘆くところだ (彼による一階述語論理の完全性定理と、自然数論における非決定性命題の具体的構成から 一階述語論理上の自然数論のモデルは唯一無二ではありえないことが分かる) http://rio2016.5ch.net/test/read.cgi/math/1761878205/73
74: 132人目の素数さん [] 2025/11/03(月) 16:42:45.19 ID:u7vdmd1+ https://itest.5ch.net/rio2016/test/read.cgi/math/1759924222/947 IUTのダメなところは、今の数学にはない前提を用いているところ (望月新一は論理が苦手なので、自分が今の数学から逸脱してることすら気づかないが) 今の数学にはない前提を用いてはいかん、とはいわないが その場合、当然、整合性があることを何等かの形で示さなければ意味がない 一方で、望月予想(系3.12)から矛盾が導けることまでは、ショルツェも示せていない だから「系3.12」の有用性については、今のところ否定されていない 望月が●違いな反応をしなければ、 あるいは、無理矢理PRIMSに論文を掲載しなければ 大した騒動にはならなかっただろう 人格の異常が人生を破滅に導く典型例といっていい http://rio2016.5ch.net/test/read.cgi/math/1761878205/74
75: 132人目の素数さん [] 2025/11/03(月) 16:45:12.51 ID:u7vdmd1+ https://itest.5ch.net/rio2016/test/read.cgi/math/1759924222/951-952 利口な人は受け売りしない 分からないことを分かったといっても意味ないから 馬鹿な人が受け売りしたがる 何もかも分からんのでとにかく分かったといっていい顔したがる これは人格障害の典型例である http://rio2016.5ch.net/test/read.cgi/math/1761878205/75
76: 132人目の素数さん [] 2025/11/03(月) 16:49:42.83 ID:u7vdmd1+ https://itest.5ch.net/rio2016/test/read.cgi/math/1759924222/955 >フィールズメダリストでなんであれ 完全にアウトだよ! >”ストローマン”やってるから 望月新一のやってることは「燻製ニシンの虚偽」だけどな x∈xとか何言ってんの? 集合論モデルの間に一対一対応が可能とか 素人レベルの誤りを犯すヤツがなにほざいても無意味 http://rio2016.5ch.net/test/read.cgi/math/1761878205/76
77: 132人目の素数さん [sage] 2025/11/03(月) 16:50:43.84 ID:nkvgQbyQ >>68 >全然違うってわかる? 分かってないと思う。数学の初歩から分かってないワカランチンだから。 http://rio2016.5ch.net/test/read.cgi/math/1761878205/77
78: 132人目の素数さん [] 2025/11/03(月) 16:52:11.56 ID:u7vdmd1+ https://itest.5ch.net/rio2016/test/read.cgi/math/1759924222/959-960 線形代数とか整数論の初歩とか分かってる人なら 「数論幾何入門」を読んでも意味あるが どっちもロクに分かってない高卒の工員(笑)が読んでも 何が何やらチンプンカンプンだからやめとけ http://rio2016.5ch.net/test/read.cgi/math/1761878205/78
79: 132人目の素数さん [] 2025/11/03(月) 19:19:38.01 ID:u7vdmd1+ 強制法でできること 公理系Aのモデルが存在するとして、 それに公理Bを追加した場合のモデルの存在が示せることがある 「公理系のモデルが存在しない」と「公理系が矛盾する」の同値性から、対偶をとれば 公理系Aに公理Bを追加した場合に矛盾が証明できるとして その場合、公理系Aのみから矛盾が証明できることがいえる場合がある そう考えると、強制法はそんなにミラクルなことをしてるわけではない(笑) http://rio2016.5ch.net/test/read.cgi/math/1761878205/79
80: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/03(月) 20:44:26.31 ID:RGcnI1b5 >>67 >> 2)池上大祐の答えは「現状では グロタンディーク宇宙は必要」 >> ということだった >これはその人が言ったことですか? いいから、池上大祐を読め >>70 >前提なしに意味のある論理的思考はできない >これ豆な >人の論理的思考は、一階述語論理+「公理の集まり」という公理系で表せる >これ豆な 間違っている 1)君の論ならば、オイラーやガウスやリーマン、ポアンカレは 意味のある論理的思考はできていなかったとなるぞw ;p) 2)”人の論理的思考は、一階述語論理+「公理の集まり」という公理系で表せる”? (google検索結果 AIの回答) ポアンカレは、”ポアンカレは、乗合馬車(当時は一般的な交通手段でした)に乗ろうとして、その踏み段に足をかけた瞬間に、長い間解決できずにいたフックス関数(より正確には、フックス型微分方程式の理論から発展させた保型関数)に関する重要なアイデア、すなわち「フックス関数を定義するのに用いた変換は非ユークリッド幾何学の変換とまったく同じである」という洞察が突然閃いた、と自身の著書『科学と方法』に記しています。 ” (AIの回答には間違いが含まれている場合があります) https://www.gp.tohoku.ac.jp/pol/pol/hanawa/sadan/contents/020.html 成功の秘訣は「柔軟性と執着心」 Kimio Hanawa 2019年11月20日 表題は,今年(2019年)ノーベル化学賞を受賞された旭化成フェローの吉野博さんが記者会見時に述べたものである.記者から研究者にとっての必要な姿勢を問われ,「頭の柔らかさと,その真逆の執着心.しつこく最後まであきらめないこと」と答えた(10月10日,朝日新聞).さらに続けて,「剛と柔のバランスをどうとるか.大きな壁にぶちあたったときも,『なんとかなるわ』という柔らかさが必要」と述べている. では,「突然」解決策を見つけるためにはどうすればよいのであろうか.私自身は,問題をいつも考えていることなのだろうと思っている.堂々巡りになるとしても,あれやこれやと,しつこく,しつこく頭の中で思考実験を繰り返すことである. これがプレコンデショニングになって制御は不可能であるが,いつかの閃きに結びつくのであろう. 数学者のアンリ・ポアンカレ(J.-H. Poincare, 1854-1912)は,著書『科学と方法』(1908:吉田洋一訳,岩波文庫,2000)の中で,そのような出来事が何度も起こったことを記している.「どこかへ散歩に出かけるために乗合馬車に乗った.その階段に足を触れた瞬間,(略)突然わたしがフックス関数を定義するのに用いた変換は非ユークリッド幾何学の変換とまったく同じであるという考えが浮かんできた」などと.ポアンカレはこれらの体験を分析し,「突然天啓の下った如くに考えのひらけてくること」は,「これに先立った長い間無意識に活動していたことを歴々と示すもの」であるとまとめた.私もこの分析にまったく同意する.たとえ壁にぶつかろうが,問題を考えに考えていれば,いつか突破口は必ず見つかるものであると信じたい. http://rio2016.5ch.net/test/read.cgi/math/1761878205/80
81: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/03(月) 20:57:07.14 ID:RGcnI1b5 >>74 >望月が●違いな反応をしなければ、 >大した騒動にはならなかっただろう >人格の異常が人生を破滅に導く典型例といっていい そこは、半分同意だ 凡人ならば、人生破滅だろうが そこが、プリンストン飛び級天才で凡人と違うところ 天才に凡人の処世術を説いてもね ;p) >>76 >望月新一のやってることは「燻製ニシンの虚偽」だけどな >x∈xとか何言ってんの? 凡人からは というか IUTが理解できない人には 「燻製ニシンの虚偽」に見えるだろうが 案外当人は、本気のマジメかもしれんw (^^ ”x∈x”は、直接は使っていない ”x∈x”もどきを、圏論で作ったってことでしょ ;p) なお、「非有基的集合論」もあるが 望月先生は、そうではないようだ (参考) https://ja.wikipedia.org/wiki/%E9%9D%9E%E6%9C%89%E5%9F%BA%E7%9A%84%E9%9B%86%E5%90%88%E8%AB%96 非有基的集合論は、集合がそれ自身の要素であることを認め、自己属集合(ある集合が自分自身の要素になっている集合)を許容する集合論である。 概要 数学で一般的に用いられる公理論的集合論は、集合の要素は集合自身を含まないという公理(正則性公理、基礎の公理、有基性公理とも呼ばれる)に基づいている。このため、自己参照的な概念のモデル化に用いることは困難だった。これに対して、自己属集合を許容する非有基的集合論は、自己参照や無限遡及を自然に扱うことができるために、計算機科学(プロセス代数と最終意味論)、言語学と自然言語意味論(状況意味論)、哲学(うそつきパラドックスに関する研究)[1]、非標準解析における非終了計算プロセスの論理モデリング、複雑系科学などに応用されている[2]。非有基的集合論は、集合論における伝統的な基底主義、つまり集合が空集合から階層的に構築されるという考え方に挑戦するものである[3]。 https://en.wikipedia.org/wiki/Non-well-founded_set_theory Non-well-founded set theory http://rio2016.5ch.net/test/read.cgi/math/1761878205/81
82: 132人目の素数さん [] 2025/11/03(月) 20:58:54.84 ID:2XITUXgJ 石器時代にも 意味のある論理的思考ができていた人は 多かっただろう http://rio2016.5ch.net/test/read.cgi/math/1761878205/82
83: 132人目の素数さん [] 2025/11/03(月) 21:02:09.86 ID:u7vdmd1+ >>80 >オイラーやガウスやリーマン、ポアンカレは意味のある論理的思考はできていなかった カラスの世田がオイラーやガウスやリーマン、ポアンカレのやったことを 何ひとつ理解できてないだけのこと ま、公式暗記馬鹿の高卒だからな >「フックス関数を定義するのに用いた変換は非ユークリッド幾何学の変換とまったく同じである」 それ、まさに一階述語論理+「公理の集まり」という公理系で表せるけど カラスの世田が論理を知らないから理解できないだけ おまえ、メビウス変換知らないだろ? 高卒だもんな https://ja.wikipedia.org/wiki/%E3%83%A1%E3%83%93%E3%82%A6%E3%82%B9%E5%A4%89%E6%8F%9B http://rio2016.5ch.net/test/read.cgi/math/1761878205/83
84: 132人目の素数さん [] 2025/11/03(月) 21:04:07.28 ID:2XITUXgJ メビウス変換の論文は1855年に発表された http://rio2016.5ch.net/test/read.cgi/math/1761878205/84
85: 132人目の素数さん [] 2025/11/03(月) 21:09:24.01 ID:u7vdmd1+ >>81 >>望月が●違いな反応をしなければ、 >>大した騒動にはならなかっただろう >>人格の異常が人生を破滅に導く典型例といっていい >そこは、半分同意だ 同意できない半分は 「日本人が何も仕事できてなかった」 という点か? もう貴様は国籍とかくだらないこと全部忘れろ 人類は数万年前まで遡ればみんなアフリカ出身だぞ(笑) >凡人ならば、人生破滅だろうが >そこが、プリンストン飛び級天才で凡人と違うところ >天才に凡人の処世術を説いてもね プリンストン飛び級くらいでフィールズ賞とれるなら苦労はないよ 灘にも受からず名もない公立中からカス公立高に行き 東大どころか京大にも受からず二流国立大の阪大の しかも理学部じゃなく工学部とかいうパンピー社奴生産所に行き さらに大学一年の数学で落第とかもうカスofカスじゃん もう数学板でわけわかんないコピペとかして生き恥さらすなよ 黙っていれば普通人として生きていけるだろ 馬鹿カラスが天才ぶるな お前はクジャクじゃないw http://rio2016.5ch.net/test/read.cgi/math/1761878205/85
86: 132人目の素数さん [] 2025/11/03(月) 21:11:40.47 ID:nkvgQbyQ >>80 >いいから、池上大祐を読め 自分で読んでないのめくれてて草 http://rio2016.5ch.net/test/read.cgi/math/1761878205/86
87: 132人目の素数さん [] 2025/11/03(月) 21:11:40.73 ID:u7vdmd1+ >>81 >”x∈x”は、直接は使っていない >”x∈x”もどきを、圏論で作ったってことでしょ 高卒素人が分かりもせずに口から出まかせのホラ吹くなよ 見苦しいヤツだな おまえは所詮只の一般人だよ 先祖が広島廿日市出身のどこぞの社奴の世田某 http://rio2016.5ch.net/test/read.cgi/math/1761878205/87
88: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/03(月) 21:16:28.45 ID:RGcnI1b5 >>80 タイポ訂正 ポアンカレは、”ポアンカレは、乗合馬車(当時は一般的な交通手段でした)に乗ろうとして、その踏み段に足をかけた瞬間に、 ↓ ”ポアンカレは、乗合馬車(当時は一般的な交通手段でした)に乗ろうとして、その踏み段に足をかけた瞬間に、 >>65 >自分に合わないものを無理して続ける心理状態というものがある 巡回ご苦労さまです 真逆の人たちが・・・w 望月 拓郎先生、高校数学は面白くないと 多分京大の物理? だったが 在学中のトポロジーの本を読んで、数学修士に飛び級 別に、山下 真由子先生、進学校の桜蔭から昼夜間定時制 都立新宿山吹高等学校へ 数学以外は手抜きて 東大へw 東大教養でも手抜きして 進振りで 工学部へ”もぐる”も、飛び入学で数学修士へ ;p) 東大に入学したのに、卒業は京大とか・・ いろんな人が・・ (参考) https://ja.wikipedia.org/wiki/%E6%9C%9B%E6%9C%88%E6%8B%93%E9%83%8E 望月 拓郎(1972年〈昭和47年〉8月28日 - ) 長野県長野高等学校を卒業後、京都大学に進学[1]。理学部にて学んでいたが[1]、在学中にトポロジーの本を読み[3]、「計算で答えを出す高校までの数学からガラッと変わった」[3]と述懐している。大学院の理学研究科に飛び入学で進学するため、1994年(平成6年)に理学部を中途退学した[1]。1996年(平成8年)、京都大学の大学院における修士課程を修了した[1] https://ja.wikipedia.org/wiki/%E5%B1%B1%E4%B8%8B%E7%9C%9F%E7%94%B1%E5%AD%90 山下 真由子(やました まゆこ、1995年[1] - ) 人物 桜蔭高等学校から東京都立新宿山吹高等学校に編入学し、在学中に第54回国際数学オリンピックコロンビア大会日本代表選手として銀メダルを獲得する。 2014年に東京大学理科一類に入学し、工学部計数工学科へ進学するも、4年次に進級せず修士課程への飛び入学のために退学する。 2017年に大学院数理科学研究科数理科学専攻修士課程へ入学し、2019年に博士課程へ進学する https://ja.wikipedia.org/wiki/%E6%9D%B1%E4%BA%AC%E9%83%BD%E7%AB%8B%E6%96%B0%E5%AE%BF%E5%B1%B1%E5%90%B9%E9%AB%98%E7%AD%89%E5%AD%A6%E6%A0%A1 東京都立新宿山吹高等学校 東京都が創設したいくつかの新しいタイプの実験高校のうち、昼夜間定時制(四部制)、単位制、無学年制の高校として旧赤城台高校跡地に開校した http://rio2016.5ch.net/test/read.cgi/math/1761878205/88
89: 132人目の素数さん [sage] 2025/11/03(月) 21:20:38.07 ID:kWSKSZz3 望月先生の責任を追求する方法は確かに存在しない。それを処世術というならそれも仕方ない。しかしそれは学者の人生としては完全に失敗やな。まぁもう引き返すこともできんやろし、このまま汚名が残ってもそれを恥いる家族もおらんみたいやからそれはそれで諦めつくんかもな。 まぁこれしか逃げ場はないんやろな http://rio2016.5ch.net/test/read.cgi/math/1761878205/89
90: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/03(月) 21:24:53.95 ID:RGcnI1b5 >>87 >先祖が広島廿日市出身のどこぞの社奴の世田某 『くやしいのうwww』 はだしのゲン ”「のう」は広島弁で「だなぁ」”(下記) まあ、数学の論争で勝てないのを認めているんだねw いやがらせのつもりで、”先祖が広島廿日市出身・・”云々かんぬん 非数学に逃げた時点で、おれの優勢勝ちが決まるwww ;p) https://dic.nicovideo.jp/a/%E3%81%8F%E3%82%84%E3%81%97%E3%81%84%E3%81%AE%E3%81%86www くやしいのうwww くやしいのうwwwとは、望みが叶えられず悔しい様を皮肉っぽく表現したもの。多くの場合、くやしいのうwwwくやしいのうwww、と重ねて使われる。 wは1〜5個程度か、付けないこともある。 概要 元ネタは中沢氏の漫画「はだしのゲン」のセリフ。 当たり前の話だが作品発表当時「w」を使って笑いや嘲笑を表す表現はなかったので、 原作では単に「くやしいのう」 となっている。 なお、「くやしいのう」の「のう」は広島弁で「だなぁ」等の感嘆、詠嘆程度の役割で 特に深い意味はない。 http://rio2016.5ch.net/test/read.cgi/math/1761878205/90
91: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/03(月) 21:33:35.70 ID:RGcnI1b5 >>89 >望月先生の責任を追求する方法は確かに存在しない。それを処世術というならそれも仕方ない。しかしそれは学者の人生としては完全に失敗やな。まぁもう引き返すこともできんやろし、このまま汚名が残ってもそれを恥いる家族もおらんみたいやからそれはそれで諦めつくんかもな。 >まぁこれしか逃げ場はないんやろな ヒキコモリ数学者の基礎論君な 1)望月先生の責任を追求する方法は確かに存在するぞ それは、君が IUTを数学的に論破することだよ 2)具体的には、100万ドル懸賞の応募の数学論文を書くこと 100万ドルが貰える貰えないは別として、論文を出せ! だが、君にはそれだけの数学力が無いことは みなさん、まるっと お見通しだ!w (^^ (参考) https://zen.ac.jp/lp/icp IUT Challenger Prizeの紹介 2023年7月、株式会社ドワンゴ創業者の川上量生氏は、個人としてIUT Challenger Prizeの創設を発表しました。 これは京都大学数理解析研究所教授の望月新一教授によって創始された宇宙際タイヒミュラー理論(Inter-universal Teichmüller theory)の「本質的な欠陥」を明らかにした最初の論文に100万ドルを贈呈するというものです。 http://rio2016.5ch.net/test/read.cgi/math/1761878205/91
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 911 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.015s