[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 52 (1002ﾚｽ)
Inter-universal geometry と ABC予想 52 http://rio2016.5ch.net/test/read.cgi/math/1588702281/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
1: １３２人目の素数さん [sage] 2020/05/06(水) 03:11:21.36 ID:UK3eB8Ai IU幾何やABC予想に関する会話のサロンとして使って下さい。 荒らしはご遠慮願います。 前スレ Inter-universal geometry と ABC予想 51 https://rio2016.5ch.net/test/read.cgi/math/1587468367/ http://rio2016.5ch.net/test/read.cgi/math/1588702281/1
922: １３２人目の素数さん [] 2020/05/16(土) 23:20:49.30 ID:oii8q1/C >>920 比較的メジャーな基礎論ですらこれなんだから、遠アーベルが重要かどうかなんて分かる訳ねえじゃんて話 http://rio2016.5ch.net/test/read.cgi/math/1588702281/922
923: １３２人目の素数さん [sage] 2020/05/16(土) 23:21:09.64 ID:MokiylaE 山中は大ホームラン(ノーベル賞）を打ったことがある。 望月は、ホームランかファールかずっと8年判定中。 格はまるで違う。 世間一般の扱いだと千倍ぐらい違うよ http://rio2016.5ch.net/test/read.cgi/math/1588702281/923
924: １３２人目の素数さん [sage] 2020/05/16(土) 23:22:44.50 ID:XpgLGlog >>606に IUT-4で以下を修正しており、指摘で修正が必要であったのは、この箇所だよ。 concerning the “conservative extensionality” of ZFCG relative to ZFC, i.e., roughly speaking, that“any proposition that may be formulated in a ZFC-model and, moreover, holds in a ZFCG-model infact holds in the original ZFC-model” と書いてあるんだからIUT-4章の話じゃないの？ そして修正してるんだから望月が間違えていたのでは？ http://rio2016.5ch.ne
t/test/read.cgi/math/1588702281/924
925: １３２人目の素数さん [sage] 2020/05/16(土) 23:22:56.57 ID:xQ6GSYXj >>922 けっきょくこういう擁護がしたいから過去のだれのレスかわかんないやつの揚げ足取りしてるだけだわな http://rio2016.5ch.net/test/read.cgi/math/1588702281/925
926: １３２人目の素数さん [sage] 2020/05/16(土) 23:25:12.60 ID:Ikwt2T5y >>924 たぶん今のIUT論文には書いてないから、ってことでは まあようするに間違えてたってことだし、 あとで修正しても基礎論の理解が不十分なんじゃないかっていう疑問への反論になってないんだよね そのへんはうえでとっくに議論済みなわけだが>>584とか http://rio2016.5ch.net/test/read.cgi/math/1588702281/926
927: １３２人目の素数さん [] 2020/05/16(土) 23:27:39.02 ID:oii8q1/C 君らは誰かの指摘に乗っかりたいだけで、ほとんど誰も考えてねーじゃんという話 http://rio2016.5ch.net/test/read.cgi/math/1588702281/927
928: １３２人目の素数さん [] 2020/05/16(土) 23:33:32.75 ID:oii8q1/C >>925 同じアンチから切り捨てられる当時のアンチくんがかわいそう http://rio2016.5ch.net/test/read.cgi/math/1588702281/928
929: １３２人目の素数さん [sage] 2020/05/16(土) 23:33:42.27 ID:VN/D3za9 2012年版（多分）ならRIMSのプレプリントサイトにあるから、そこで確認できる http://www.kurims.kyoto-u.ac.jp/preprint/preprint_y2012.html >>924の文章はこのPDFに書いてあることが確認できる http://www.kurims.kyoto-u.ac.jp/preprint/file/RIMS1759.pdf 一方で、望月の個人HP上にある「最新版」には、例えば"extensionality"という単語は含まれていない http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV
.pdf http://rio2016.5ch.net/test/read.cgi/math/1588702281/929
930: １３２人目の素数さん [sage] 2020/05/16(土) 23:39:34.52 ID:NvW/v763 考えてるもなにもZFCGがZFCの保存的拡大じゃないっていうのは、 Shulmanのp.15以下を読めばわかるしこのことも最初から言われてるよ もっちーは基礎論の理解があやしいっていうのはどう転んでも否定できないんだから すなおに認めればいいのに それともどう転んでも否定できないからこの話題はやめにしたいのかもしれんが http://rio2016.5ch.net/test/read.cgi/math/1588702281/930
931: １３２人目の素数さん [sage] 2020/05/16(土) 23:41:31.64 ID:NvW/v763 だいたいどう転んでも間違ってるから最新版だと修正してるってのがわからんのかね http://rio2016.5ch.net/test/read.cgi/math/1588702281/931
932: １３２人目の素数さん [] 2020/05/16(土) 23:44:40.30 ID:oii8q1/C 詳しくないてのは正しいんだろうけど、これだけ色んな人が見た中でそんな基礎論の人から見たら明らかに間違ってることが今の論文に残されてんのか？てのが俺の意見だな http://rio2016.5ch.net/test/read.cgi/math/1588702281/932
933: １３２人目の素数さん [] 2020/05/16(土) 23:50:02.12 ID:7SYfcplA 5ch名人達。基礎論の件で誰かモチに直メで突っ込まんの？ http://rio2016.5ch.net/test/read.cgi/math/1588702281/933
934: １３２人目の素数さん [sage] 2020/05/16(土) 23:50:38.01 ID:WJgTt1B0 >>933 突っ込むもなにももっちーが修正してるんだから間違ってたの確定では？ http://rio2016.5ch.net/test/read.cgi/math/1588702281/934
935: １３２人目の素数さん [] 2020/05/17(日) 00:04:09.46 ID:idOy6qD3 結局現論文で明らかな間違いはありませんでしたってことか 修正しろと騒いでたやつも修正されて良かったな http://rio2016.5ch.net/test/read.cgi/math/1588702281/935
936: １３２人目の素数さん [sage] 2020/05/17(日) 00:05:07.46 ID:F5HS2nbm 補題3.12のproof http://rio2016.5ch.net/test/read.cgi/math/1588702281/936
937: １３２人目の素数さん [sage] 2020/05/17(日) 00:09:45.90 ID:4Wd753iR 明らかな間違いかどうかはわからないが、 「証明にギャップがある」とか「証明になっていない」とか「証明が理解できない」とか 言われているな http://rio2016.5ch.net/test/read.cgi/math/1588702281/937
938: １３２人目の素数さん [sage] 2020/05/17(日) 00:15:46.54 ID:b8wYZczP なんか論点がすり替えられてるが、 もともとは論文IVの基本的な誤りを修正したのに結論に影響が出ないなら、 論文IVいらないんじゃないのって話ね あと>>584 あとID:oii8q1/Cの言葉を借りればそんな初歩的な理解をしていないやつが 遠アーベルがわかるのか、って話（これは望月にとってすごいブーメランなの） http://rio2016.5ch.net/test/read.cgi/math/1588702281/938
939: １３２人目の素数さん [sage] 2020/05/17(日) 00:18:01.94 ID:/FhBkao/ ＞比較的メジャーな基礎論ですらこれなんだから、 ＞遠アーベルが重要かどうかなんて分かる訳ねえじゃんて話 なるほど、これはもっちーに対する批判だったのか（汗） http://rio2016.5ch.net/test/read.cgi/math/1588702281/939
940: １３２人目の素数さん [] 2020/05/17(日) 00:43:02.81 ID:YDliggmG ＞比較的メジャーな基礎論 少なくとも初めて聞きましたメジャーって言葉 煽るけど数学基礎論って基礎って言う名前の割にほとんど数学に役立たない http://rio2016.5ch.net/test/read.cgi/math/1588702281/940
941: １３２人目の素数さん [] 2020/05/17(日) 00:49:45.66 ID:1bBWb+BJ 宇宙際って名前の割には追分でしか成立しない http://rio2016.5ch.net/test/read.cgi/math/1588702281/941
942: 粋蕎 ◆C2UdlLHDRI [sage] 2020/05/17(日) 00:50:18.89 ID:LIJrZTQ0 >>875 > IUTアンチスレはどこだ 知らんかったのか Inter-universal geometry と ABC予想 否定派2 http://rio2016.5ch.net/test/read.cgi/math/1588226604/ http://rio2016.5ch.net/test/read.cgi/math/1588702281/942
943: １３２人目の素数さん [sage] 2020/05/17(日) 01:39:12.74 ID:/5MRV7Cs >>940 最近まで役立たずだったが、圏論以後ポテンシャルは出てきたと思う。後は天才の出現次第だろう まあ集合論にはゴロゴロ天才がいたんだけど、普通の数学には直接関係なかったからねえ http://rio2016.5ch.net/test/read.cgi/math/1588702281/943
944: １３２人目の素数さん [] 2020/05/17(日) 01:52:39.67 ID:YDliggmG ○圏論と基礎論は方向性が違いますので http://rio2016.5ch.net/test/read.cgi/math/1588702281/944
945: １３２人目の素数さん [sage] 2020/05/17(日) 04:31:22.40 ID:xTho8h44 >>938-939 望月に遠アーベルがわかっているのかとは、ずいぶんやばいスレになったもんだな http://rio2016.5ch.net/test/read.cgi/math/1588702281/945
946: １３２人目の素数さん [] 2020/05/17(日) 09:37:33.09 ID:OxYJzrF1 >>940 数学におけるガウスの役割 ＝数理論理学＆集合論におけるゲーデルの役割 ちなみに（ヒルベルトの意味での）「基礎論」を殺したのはゲーデル ゲーデル 「自然数論を含む帰納的公理化可能な理論が、 無矛盾であれば、自身の無矛盾性を証明できない」 アッカーマン 「え？じゃ、自分の原始帰納的算術の無矛盾性証明はいったい・・・」 ベルナイス 「・・・ああ！証明中の順序数の超限帰納法が、 原始帰納法的算術では導けないのか！」 ゲンツェン 「・・・て
ことは、逆に適切な超限順序数が構成できれば その超限帰納法によって、カット除去の証明が できるってことですね？(￣ー￣)ﾆﾔﾘ」 http://rio2016.5ch.net/test/read.cgi/math/1588702281/946
947: １３２人目の素数さん [sage] 2020/05/17(日) 09:43:03.73 ID:OxYJzrF1 >>943 数理論理学における圏論の位置づけは明確でないように思う http://rio2016.5ch.net/test/read.cgi/math/1588702281/947
948: １３２人目の素数さん [sage] 2020/05/17(日) 10:04:38.81 ID:qZbJw0Vm >>420 基礎論は遠アーベル幾何より上位の分類（生物学で科のほうが属より上位という意味で）って話では ていうか Mathematical Logic の訳語として何故か日本では「数学基礎論」が使われてるけど 今どきのロジシャンは必ずしも数学の基礎付けをモチベーションにしてるわけではないよね ただ HoTT なんかはまさにそういう試みだと思うし じっさい IUT を形式証明に載せるとかしないと現在の不毛な状況は進展しなさそうなんだけど そんな人材いないよな…(Dupuy が貢
献してくれると思ってたことあるけどあの人ダメっぽい) http://rio2016.5ch.net/test/read.cgi/math/1588702281/948
949: １３２人目の素数さん [sage] 2020/05/17(日) 11:06:26.10 ID:t5k0k7kf 役に立たないっていうのは工学が数論幾何に対して役に立たないと言うのと同じで、 「別にあんたのために研究してるんじゃないんだからねっ！！」 でしかないのでは http://rio2016.5ch.net/test/read.cgi/math/1588702281/949
950: １３２人目の素数さん [sage] 2020/05/17(日) 11:32:06.24 ID:LWrun3Tf mugashohouとの論戦についに任期付き数学者参戦したな wktk http://rio2016.5ch.net/test/read.cgi/math/1588702281/950
951: １３２人目の素数さん [sage] 2020/05/17(日) 12:06:43.44 ID:C5I6HZrO そもそも数学の基礎づけって数学界隈のごく一部が取り組んでいただけで、 ぜんたいとしては数学の基礎づけ運動なんて起こってないからなあ。 http://rio2016.5ch.net/test/read.cgi/math/1588702281/951
952: １３２人目の素数さん [sage] 2020/05/17(日) 12:12:21.29 ID:3LIdhbL+ 数学者全体として取り組んだ数学の運動って旧ギリシャ時代以外にはないでしょうね http://rio2016.5ch.net/test/read.cgi/math/1588702281/952
953: １３２人目の素数さん [sage] 2020/05/17(日) 12:15:25.95 ID:Hn3N/L4N 無理数？そんなものは無い 死刑!! ってすげー時代だな http://rio2016.5ch.net/test/read.cgi/math/1588702281/953
954: １３２人目の素数さん [sage] 2020/05/17(日) 12:25:12.46 ID:4Wd753iR ヒルベルト・プログラムの影響って大したことなかったの？ ヒルベルトの23の問題（特に第2問題）とか、かなり大きな影響を与えたんじゃないかと思うけど http://rio2016.5ch.net/test/read.cgi/math/1588702281/954
955: １３２人目の素数さん [sage] 2020/05/17(日) 12:41:01.69 ID:fkBSYghd 算術の公理の無矛盾性とか気にしなくても数学はできる これはデデキントが実数を厳密に定義するまえから実数はずっと使ってるのと似てる http://rio2016.5ch.net/test/read.cgi/math/1588702281/955
956: １３２人目の素数さん [sage] 2020/05/17(日) 12:53:20.98 ID:4Wd753iR （素朴）集合論のパラドックスとか、当時は大問題だったと思うんだが 「ヒルベルト・プログラムは、単にその矛盾を取り除く（＝無矛盾性）だけではなく、 今後二度とこのような矛盾が現われないように、数学全体に確固とした基盤（＝完全性）を与える目的があった。」 訳でしょ？ ゲーデルの不完全性定理によってこのプログラムがある種「終わる」までは、割と深刻な問題だったんじゃないか？ http://rio2016.5ch.net/test/read.cgi/math/1588702281/956
957: １３２人目の素数さん [sage] 2020/05/17(日) 12:56:38.84 ID:fkBSYghd >>956 それは一般向けに書かれる新書とかがそういう書き方だからだろう。 ああいうのは哲学とは関係があるのかもしれんが数学コミュニティとはそんなに関係はない。 ヒルベルトの問題提起からゲーデルの解決までのあいだに、 基礎付け以外の数学の研究が低調になったというデータでもあるのか？ http://rio2016.5ch.net/test/read.cgi/math/1588702281/957
958: 粋蕎 ◆C2UdlLHDRI [sage] 2020/05/17(日) 13:04:02.27 ID:LIJrZTQ0 寧ろラプラスの悪魔のが当時新世代に萎えを与えたイメージ http://rio2016.5ch.net/test/read.cgi/math/1588702281/958
959: １３２人目の素数さん [sage] 2020/05/17(日) 13:05:22.29 ID:OxYJzrF1 ヒルベルト・プログラムの目標は 自然数論による数学（というか解析学）の無矛盾性証明だったんだが、 ゲーデルが 「ごめん、ヒルベルト・プログラムを達成しようとしたんだけど そもそも自然数論の無矛盾性自体、自然数論で証明できないこと発見しちった」 といっちゃったんで、頓挫した 逆数学が、帰ってきたヒルベルト・プログラムかどうかはなんともいえない しかし、主張な成果はほぼＡＣＡで達成できそうなんで 「な？」とかいうコート着たオジさんがでてきそう
な感じではある http://rio2016.5ch.net/test/read.cgi/math/1588702281/959
960: １３２人目の素数さん [sage] 2020/05/17(日) 13:08:32.57 ID:4Wd753iR >>957 そんなデータは知らないが、 この種の問題に全く興味がなかった数学者がいたってこと？ http://rio2016.5ch.net/test/read.cgi/math/1588702281/960
961: １３２人目の素数さん [sage] 2020/05/17(日) 13:10:37.52 ID:OxYJzrF1 >>959の続き RCA、WKL 短小 ACA 通常 ATR、Π1-1CA 長大 とすると結論としては 「普通の＊＊は、通常のサイズでも、ほぼ満足」 って感じですかね http://rio2016.5ch.net/test/read.cgi/math/1588702281/961
962: １３２人目の素数さん [sage] 2020/05/17(日) 13:11:01.38 ID:3LIdhbL+ 数百年前からすでに分野が多様化してますし、世代全体に影響を与えることはもうほぼないのではないでしょうか 仮にIUTが全て正しかったならば、そうなってたかもしれませんが http://rio2016.5ch.net/test/read.cgi/math/1588702281/962
963: １３２人目の素数さん [sage] 2020/05/17(日) 13:22:06.67 ID:fkBSYghd >>960 ふつうにいるのでは？ 今だって数学基礎論にまったく無関心な数学者はいるし。 http://rio2016.5ch.net/test/read.cgi/math/1588702281/963
964: １３２人目の素数さん [sage] 2020/05/17(日) 13:27:44.78 ID:4Wd753iR >>963 いや当時の話ね レスバ的には「基礎付け以外の数学の研究が低調になったというデータ」を示せない俺の負けでいいけど、 具体的な反例があるのかどうかは気になるところ 「ヒルベルト・プログラム？そんなのどうでもいい。俺は自分の研究さえできればいいんだ」 的な思想の数学者は当時本当にいたのかな？ http://rio2016.5ch.net/test/read.cgi/math/1588702281/964
965: １３２人目の素数さん [sage] 2020/05/17(日) 13:51:27.27 ID:fkBSYghd >>964 その質問は最初の質問とおなじなの？ 最初の質問はヒルベルト・プログラムの特に第２問題が影響を与えたかどうかだよね？ で、俺は第２問題について考えなくても数学はできるしやってたでしょ、という立場。 そもそも数学者が真にヒルベルトの第二問題を深刻だと信じているなら、 数学の研究はいったんやめると思うんだが？ http://rio2016.5ch.net/test/read.cgi/math/1588702281/965
966: １３２人目の素数さん [sage] 2020/05/17(日) 14:14:44.88 ID:4Wd753iR >>965 そう ヒルベルト・プログラムが当時の数学者に影響を与えたかどうか あなたの立場によれば、ヒルベルト・プログラムの影響を受けなかった数学者が当時少なくとも1人は存在したことになる 全員が全員ヒルベルトやゲーデルのような天才ではないから、 全ての数学者が自分の研究を一旦やめてヒルベルトの第2問題に取り組めるはずはない しかし、それでもヒルベルト・プログラムのことを頭の片隅に置いた状態で研究していたのではないかと思う そうでない数学者
が「存在する」という主張は正しいかもしれないが、それなら具体例が知りたい http://rio2016.5ch.net/test/read.cgi/math/1588702281/966
967: １３２人目の素数さん [sage] 2020/05/17(日) 14:18:32.31 ID:fkBSYghd >>966 研究を続行したやつは全員具体例。 思想を受容するということは口先だけで受容したかどうかわからないから、 行動をみるというのが俺の立場。 第二問題を深刻に受け止めるならほかの数学の研究は中断するしかない。 なぜなら、第二問題に他の研究の可否が依存してしまうから。 俺は「宇宙法則は次の瞬間に変わるのかもしれない」という問いに意味がない、 という立場だから。もし本気でそう思っているのなら生活ができなくなる。 http://rio2016.5ch.net/te
st/read.cgi/math/1588702281/967
968: １３２人目の素数さん [sage] 2020/05/17(日) 14:21:07.21 ID:IVRUUd3J 諸法無我 @MugaShohou 36分 返信先: @Sakurazaka4649さん 数論の研究者が皆FLTの証明を理解しているとでもお思いなのでしょうか。 だとしたら、もう少し数学界について詳しくなることをお勧めします。 FLTですら、数論の研究者でさえ理解していないのですから、数学者全体に影響を与えるのは果てしなく難しいでしょう http://rio2016.5ch.net/test/read.cgi/math/1588702281/968
969: １３２人目の素数さん [sage] 2020/05/17(日) 14:21:21.01 ID:fkBSYghd そもそも頭の片隅において、という留保がつくなら>>956と同一の質問ではないと思うけどね。 http://rio2016.5ch.net/test/read.cgi/math/1588702281/969
970: １３２人目の素数さん [sage] 2020/05/17(日) 14:26:17.39 ID:4Wd753iR 別にレスバしているつもりはないんだが… 全員と言われても、不勉強なもので当時の数学者について詳しくないので、 1人でもいいので具体的な数学者の名前を出していただけると助かります http://rio2016.5ch.net/test/read.cgi/math/1588702281/970
971: １３２人目の素数さん [sage] 2020/05/17(日) 14:30:32.96 ID:fkBSYghd >>970 レスバなんてしてない。 きみは>>956で「当時は大問題」「割と深刻な問題」て書いたから、 俺は「数学コミュニティとはそんなに関係はない」と書いたわけ。 で、数学コミュニティが無矛盾かどうかでひよった形跡はないわけだろ？ だったらそれで話は終わってるじゃん。 頭の片隅にヒルベルトの第2問題を置いていなかった数学者の具体例、 なんて質問は最初はなかったのだから、きみのほうがレスバにこだわっているのでは？ 最初のほうの疑問についてま
だなにか疑問があるのか？ だったらそれをそのまま言って欲しいんだが。 http://rio2016.5ch.net/test/read.cgi/math/1588702281/971
972: １３２人目の素数さん [sage] 2020/05/17(日) 14:35:48.38 ID:4Wd753iR >>971 最初の疑問にこだわっているというか、 「頭の片隅にヒルベルトの第2問題を置いていなかった数学者の具体例」を知りたい という方向に興味が移っています どなたかご存じの方がいらっしゃいましたら、ご教示いただければ幸いです http://rio2016.5ch.net/test/read.cgi/math/1588702281/972
973: １３２人目の素数さん [sage] 2020/05/17(日) 14:40:01.01 ID:fkBSYghd >>972 頭のなかを検査する方法はないので調べようがありません。 むしろどうやってチェックできると思ってるの？ http://rio2016.5ch.net/test/read.cgi/math/1588702281/973
974: １３２人目の素数さん [sage] 2020/05/17(日) 14:44:16.87 ID:4Wd753iR >>973 そうですね 例えば、「ヒルベルト・プログラム（またはヒルベルトの第2問題）はクソ」といった趣旨の文書を残していれば そのような数学者は具体例と言えるでしょう http://rio2016.5ch.net/test/read.cgi/math/1588702281/974
975: １３２人目の素数さん [sage] 2020/05/17(日) 14:45:56.41 ID:fkBSYghd >>974 また質問が変わってないか？ それはヒルベルトの第二問題を意識してないかどうかじゃなくて、 ヒルベルトの第二問題に対する一定の態度表明だよね？ http://rio2016.5ch.net/test/read.cgi/math/1588702281/975
976: １３２人目の素数さん [sage] 2020/05/17(日) 14:47:19.54 ID:6B2cGKoV ヒルベルト・プログラムをどうでも良いと思ってた数学者が大半かな 声なき声として 思っていたなら言及するがほぼ100%の数学者は無視してた それが真実 http://rio2016.5ch.net/test/read.cgi/math/1588702281/976
977: １３２人目の素数さん [sage] 2020/05/17(日) 14:47:51.57 ID:fkBSYghd とりあえず「ヒルベルトの第二問題はクソだと公に主張した数学者はいるのか？」 という疑問でいいの？ じゃあ俺は知らないな。 http://rio2016.5ch.net/test/read.cgi/math/1588702281/977
978: １３２人目の素数さん [sage] 2020/05/17(日) 14:49:12.17 ID:fkBSYghd >>976 態度表明としてはそうだよね。 だって1900年を境に数学コミュニティが別様の行動を取り始めたという痕跡はないから。 http://rio2016.5ch.net/test/read.cgi/math/1588702281/978
979: １３２人目の素数さん [sage] 2020/05/17(日) 14:52:54.21 ID:4Wd753iR 言葉遊びではなくて、 「ヒルベルト・プログラムをどうでも良いと思っていた数学者」 は、存在はしていただろうが、例えば誰がその1人だったのかを知りたい という話です 言及せずに無視ではどう思っていたかはわからないので http://rio2016.5ch.net/test/read.cgi/math/1588702281/979
980: １３２人目の素数さん [sage] 2020/05/17(日) 14:54:15.26 ID:fkBSYghd >>979 じゃあだれか他のひとが答えるの待ってくれ。 俺は上で書いたように態度主義なので「態度は無視してても内心は違うかもしれない」 という疑問には興味がない。 http://rio2016.5ch.net/test/read.cgi/math/1588702281/980
981: １３２人目の素数さん [sage] 2020/05/17(日) 14:58:24.37 ID:IVRUUd3J >>980 態度は興味があるが内心は関係ない と考えるのであれば、声なき声とやらにも興味はないはずですよね 何故なら態度だけ見れば「不明」であってどうでもいいと思っていたかどうか確定しないので http://rio2016.5ch.net/test/read.cgi/math/1588702281/981
982: １３２人目の素数さん [sage] 2020/05/17(日) 15:02:30.08 ID:fkBSYghd >>981 うん、だから上で態度表明って言ってる。 1900年を境に数学コミュニティの態度が豹変したデータはないと最初から言っている。 http://rio2016.5ch.net/test/read.cgi/math/1588702281/982
983: １３２人目の素数さん [sage] 2020/05/17(日) 15:04:00.26 ID:6B2cGKoV ヒルベルトプログラムが唱えられていた間はそれで肩がつくから、誰も気にしなかった ゲーデルの不完全性定理が出てからは、ヒルベルトプログラムなんか気にしても仕方ないと 余計誰も気にしなくなった これが真実 http://rio2016.5ch.net/test/read.cgi/math/1588702281/983
984: １３２人目の素数さん [sage] 2020/05/17(日) 15:04:19.03 ID:IVRUUd3J >>982 何も言っていないので何も表明していないですよね http://rio2016.5ch.net/test/read.cgi/math/1588702281/984
985: １３２人目の素数さん [sage] 2020/05/17(日) 15:06:07.17 ID:fkBSYghd >>984 途中から割り込んで曲解するのはやめなさい。 俺の立場は>>967で書いてるから。 http://rio2016.5ch.net/test/read.cgi/math/1588702281/985
986: １３２人目の素数さん [sage] 2020/05/17(日) 15:10:22.48 ID:IVRUUd3J >>985 あなた自身がそれを曲解しているんですよね 「第二問題を深刻に受け止めるならば、態度を表明するだろう」これを受け入れるとしても、「深刻に受け止める」の反対の立場は「どうでもいい」ではないですよね 何故ならば「どうでもよくはないが深刻には受け止めていない」という人が存在しうるので したがってあなたが>>976に同意するのは、あなたの>>967の意見から逸脱する「態度」なんですよね http://rio2016.5ch.net/test/read.cgi/math/158870
2281/986
987: １３２人目の素数さん [sage] 2020/05/17(日) 15:12:24.62 ID:fkBSYghd >>986 ＞「どうでもよくはないが深刻には受け止めていない」という人が存在しうるので それは>>956の「割と深刻な問題」「当時は大問題」に該当しない。 http://rio2016.5ch.net/test/read.cgi/math/1588702281/987
988: １３２人目の素数さん [sage] 2020/05/17(日) 15:14:28.97 ID:fkBSYghd ああ、ちなみに、>>976の「無視」は>>956とちがうんじゃないか、 という重箱つつきなら、 >>976の言ってるのと>>956の言ってるのはちょっとズレてるかもね、 と認めるよ。 揚げ足取りとしてくだらなさすぎるので。そういうひとと議論するの時間の無駄だから。 http://rio2016.5ch.net/test/read.cgi/math/1588702281/988
989: １３２人目の素数さん [sage] 2020/05/17(日) 15:16:27.18 ID:IVRUUd3J >>987 それと、あなたが「態度にしか興味がない」にも関わらず「態度には現れていないが声なき声はどうでもいいと言ってる」に同意するという矛盾についてはどう関係があるんですかね http://rio2016.5ch.net/test/read.cgi/math/1588702281/989
990: １３２人目の素数さん [sage] 2020/05/17(日) 15:20:04.43 ID:4Wd753iR まあまあ、ここは基礎論スレではないので 誰か数学史に詳しい親切な人が具体例を挙げてくれるのを待ちましょう お前が言うなって話ならごめんなさい http://rio2016.5ch.net/test/read.cgi/math/1588702281/990
991: 粋蕎 ◆C2UdlLHDRI [sage] 2020/05/17(日) 15:25:27.58 ID:LIJrZTQ0 逆証明だの逆数学だのは其々、何者が如何なる手法で何物を探究する分野なんじゃろ？ http://rio2016.5ch.net/test/read.cgi/math/1588702281/991
992: １３２人目の素数さん [] 2020/05/17(日) 15:40:23.50 ID:LmvEIhyw >>968 諸法無我？ 公世の二位のせうとに、良覚僧正と 聞えしは、極めて腹あしき人なりけり。 坊の傍に、大きなる榎の木のありければ、人、「榎木僧正」とぞ言ひける。 この名然るべからずとて、かの木を 伐られにけり。その根のありければ、 「きりくひの僧正」と言ひけり。 いよいよ腹立ちて、きりくひを堀り 捨てたりければ、その跡大きなる堀 にてありければ、「堀池僧正」とぞ 言ひける。 http://rio2016.5ch.net/test/read.cgi/math/1588702281/992
993: １３２人目の素数さん [sage] 2020/05/17(日) 15:51:51.63 ID:9GRMXxZv 無視していたというよりは大多数の数学者にとって難しすぎて手におえん 手を出してはいけない問題と思ってたんじゃないの？ http://rio2016.5ch.net/test/read.cgi/math/1588702281/993
994: １３２人目の素数さん [] 2020/05/17(日) 16:00:23.55 ID:y4BiDiZT twitterを見ていたら 「本当に頭のいい人は、バカでも理解しやすい言葉で話す。 わざわざ難しい言葉を紡ぐのは、コンプレックス丸出しで恥ずかしいものだなぁと思っている。」 という意見があって全く同意 古今東西そういうもの IUT論文は恥さらしである http://rio2016.5ch.net/test/read.cgi/math/1588702281/994
995: １３２人目の素数さん [] 2020/05/17(日) 16:04:30.15 ID:Srp2dxt0 mugashohou氏が誰か大体あたりつくけど、iutを理解してるわけではないだろうね。ど素人というわけでもないけど。まあiutの正否に影響を与える人ではないよ。 http://rio2016.5ch.net/test/read.cgi/math/1588702281/995
996: １３２人目の素数さん [sage] 2020/05/17(日) 16:11:04.65 ID:m7MQgiA5 mugashohou氏は数学者コミュニティをよく知っているように見えるけど、数学者なのだろうか http://rio2016.5ch.net/test/read.cgi/math/1588702281/996
997: １３２人目の素数さん [] 2020/05/17(日) 16:20:03.42 ID:idOy6qD3 >>994 これよく見るけど、説明のうまさは頭の良さの一指標に過ぎないなあと思う http://rio2016.5ch.net/test/read.cgi/math/1588702281/997
998: １３２人目の素数さん [] 2020/05/17(日) 16:29:47.22 ID:LmvEIhyw ピント外れは複雑怪奇の説明になるね FLTの証明は岩波から出版されている。 一部証明が省略されているが 数論をやっているなら理解できる と思うけど http://rio2016.5ch.net/test/read.cgi/math/1588702281/998
999: １３２人目の素数さん [sage] 2020/05/17(日) 16:32:59.02 ID:LIJrZTQ0 >>994 ラプラス変換を幼稚園児に分かる様に教える説明を見せてくれ ウェーブレットを幼稚園児に分かる様に教える説明を見せてくれ PvsNPを幼稚園児に分かる様に教える説明を見せてくれ IUTを幼稚園児に分かる様に教える説明を見せてくれ 但しどれも要求理解度は博士課程修了程度とする 極端言うとる奴に何で普通の問い返しを期待しとる？極端言うとる奴には極端な問い詰りじゃ｡ http://rio2016.5ch.net/test/read.cgi/math/1588702281/999
1000: １３２人目の素数さん [] 2020/05/17(日) 16:34:30.71 ID:LmvEIhyw IUT奇談 http://rio2016.5ch.net/test/read.cgi/math/1588702281/1000
1001: 1001 [] ID:Thread このスレッドは１０００を超えました。 新しいスレッドを立ててください。 life time: 11日 13時間 23分 9秒 http://rio2016.5ch.net/test/read.cgi/math/1588702281/1001
1002: 1002 [] ID:Thread 5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。 運営にご協力お願いいたします。 ─────────────────── 《プレミアム会員の主な特典》 ★ 5ちゃんねる専用ブラウザからの広告除去 ★ 5ちゃんねるの過去ログを取得 ★ 書き込み規制の緩和 ─────────────────── 会員登録には個人情報は一切必要ありません。 月300円から匿名でご購入いただけます。 ▼ プレミアム会員登録はこちら ▼ https://premium.5ch.net/ ▼ 浪人ログインはこちら ▼ https://login.5ch.net/
login.php http://rio2016.5ch.net/test/read.cgi/math/1588702281/1002
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.262s*