21/12/05 23:37:51.69 hh3Hu35q.net
って周りが言ってたのに対してそんなことないって言い始めたのがショルツェなんだよね
822:１３２人目の素数さん
21/12/05 23:41:41.33 E0ZWV59G.net
絵図はまさにこれ、なんだよね。
皇帝
新しい服が大好き。逆らえる者は誰もいない。
2人の詐欺師
布織り職人というふれこみ。ばか者には見えない布を織ると言って皇帝たちを騙す。
大臣
正直者で通っている年寄り。人が良い。布地が見えたふりをして嘘をつく。
役人
根はまっすぐ。
家来たち
町の人々
見栄や立場にとらわれ、誰も本当のことを言えない。
外部数学者
王様何で裸なの〜？笑
823:１３２人目の素数さん
21/12/05 23:46:18.43 e0gyQODW.net
>>779 補足
”simplification”について
>>8 星裕一郎先生より
宇宙際 Teichmuller 理論入門 PDF (2019) （Indexあり）URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
§ 0. 序
本稿は, 題目のとおり, 望月新一氏によって創始された宇宙際 Teichm¨uller 理論への入
門的解説をその目標として書かれたものです.
P81
本稿には, 多少 - というより, 無数の - “不正確な記述” が登場します.
これは, もしも “正確な記述のみ” を用いて理論の説明を試みると, 解説の方法が, 少なく
とも筆者の力では, 原論文での元々の理論の説明の方法とあまり変わらないものになり,
このような解説を行う意味がなくなってしまう, という事情から生じています. 理論が完
成した後の段階の正確な記述のみによる原論文における理論の “説明” とは別の, その理
論がどのような発想によって生じたものなのかを想像してそこからその理論が如何に自然
なものであるかを論じる “説明” において, 少なくとも筆者にとっては, その “不正確な記
述” が必要でした. この点, どうかご容赦ください.
(引用終り)
上記星先生のように、”simplification”は、多少“不正確な記述”を許容しても
説明をシンプルにして、読者の理解を促進するために行われるのが、本来のあるべき姿です
なので、本物のIUTと同じ方向を向いて、読者が理解を進めるためには、有力な手法なのです
”simplification”無しで“正確な記述のみ” を用いると、原論文の記述と変わらないことになりがちで、そうなると説明文としての意味がなくなる
一方で、”simplification”有りは、おうおう不正確な記述が入り、元の理論と違う面が生じる。そこを強引に進めると、本来導ける定理（不等式）も導けないことに成る
だから、対立する立場で”simplification”をやると、藁人形論法になる。藁人形論法で無いと主張するならば、”simplification”無しでも同じことがIUT内で生じるという厳密な証明が必要なところだが、ドイツ人はそれを示していないのだ
ドイツ人は、若いから自分が藁人形論法に嵌まっているという自覚がないみたいだ
824:１３２人目の素数さん
21/12/05 23:56:38.07 5ZVp0j9p.net
証明にすらなっていないものを理解しようとして単純化して、
こりゃダメっぽい、ということでしょうか。
825:１３２人目の素数さん
21/12/06 00:12:58.68 05ZBE/sQ.net
別にショルツェは単純化したって言ってないでしょ？
826:１３２人目の素数さん
21/12/06 00:37:45.57 3PFD7s/J.net
IUTから新しい主張を出して普通の数学で追試するとかしてもらわない限りは
生産性ないとしか思えないのよね
827:１３２人目の素数さん
21/12/06 00:46:28.56 B6QSBlzJ.net
事実は小説より奇なり。
王様なんで裸なの〜？
のあと百ページ超に渡る
なぜ私が裸でないか
の怪文書が返ってくるとは。。w
828:１３２人目の素数さん
21/12/06 04:33:20.05 +s9WHdax.net
自分が編集委員長をやってる雑誌に載せて出版されたと主張するのは流石にヤバくね？
客観的に見た正しさを自分から否定しているようなものだろ
829:１３２人目の素数さん
21/12/06 04:45:47.96 kIGp8VFY.net
眉をひそめられる行為だと思うよ
830:１３２人目の素数さん
21/12/06 04:55:09.16 CqR2Adtf.net
coqに突っ込んではっきりさせればいいのに
831:１３２人目の素数さん
21/12/06 05:38:16.89 .net
>>779
＞しばし待て
なんか待ってばっかじゃん 期限切ろう
来年の国際数学者会議で 望月新一が賞はもちろん招待講演すらなかったら
IUTの負けってことでいいよな？ 2018年の「SSの変」から4年経ってるし
832:１３２人目の素数さん
21/12/06 05:42:53.93 .net
>>783
コピペ要らん
simplicationが気に入らんみたいだけど
だったら望月新一が具体的にrefine(詳細化)すればいい
なんでそうしないの？
833:１３２人目の素数さん
21/12/06 05:46:10.76 .net
余談だけど「浪人さん」はID消せるんで教えてあげるね
名前欄に !id:ignore って書くだけ
コピペ小僧のもっちー応援団の人はどうせ浪人さんなんでしょ？
やってみたら？
834:１３２人目の素数さん
21/12/06 07:13:57.39 xRA6hKZL.net
>>731
いい加減なこと書くなよ数学は今でも単著論文が基本
835:１３２人目の素数さん
21/12/06 07:48:19.53 kIGp8VFY.net
どれどれ
836:!id:ignore
21/12/06 07:49:33.68 kIGp8VFY.net
騙されたかと思った
間違ってただけならやだな
837:!id:ignore
21/12/06 07:50:20.88 kIGp8VFY.net
どーなってんの？
浪人がないといけないの？
838:１３２人目の素数さん
21/12/06 07:50:41.10 kIGp8VFY.net
死ね
839:１３２人目の素数さん
21/12/06 08:00:58.05 eAJcN2NP.net
>>794
>いい加減なこと書くなよ数学は今でも単著論文が基本
Q1. で、あなたの単著論文は何本？ 共著は何本？
Q2.”単著論文が基本”ってルールは、どこのルールブックですか？ｗ
>>793
>余談だけど「浪人さん」はID消せるんで教えてあげるね
>名前欄に !id:ignore って書くだけ
へー、面白いね
”名前欄に !id:ignore”で検索したら、たしかにそうあるね
でも、それやったら、大勢の中で一人id無しなら、コテ付けているのと変わらんでしょ。だったら、匿名性が薄れるじゃんｗ
いつでも、気が向いたらコテ付ける。それは私の選択肢の一つです
>>785
>別にショルツェは単純化したって言ってないでしょ？
言っているよ、下記ですよ
>>7 （IUTに対する批判的レビュー）
URLﾘﾝｸ(zbmath.org) 中のリンク
URLﾘﾝｸ(www.math.uni-bonn.de)
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
away all the interesting mathematics that forms the core of Mochizuki’s proof.
840:１３２人目の素数さん
21/12/06 08:27:51.83 eAJcN2NP.net
>>799 追加
共著論文について：これが多いのも、才能だよね（下記）
URLﾘﾝｸ(ja.wikipedia.org)
ポール・エルデシュ
エルデシュは生涯に約1500篇の論文（多くは共著）を発表した[5]。これ以上の論文を発表した数学者は、18世紀のレオンハルト・オイラーのみである。
彼は数学は社会活動であるという信念を持っており、他の数学者と数学論文を書くという目的のためだけに巡回生活を営んでいた。エルデシュが多くの研究者と論文を執筆したことから、エルデシュ数が生まれた。これは、論文の共著者同士で研究者をつないだときに、エルデシュとの間の最短経路上の人数を表したものである。
ｽﾚﾘﾝｸ(math板:223番)
URLﾘﾝｸ(fuchino.ddo.jp)
黄色いスミレの咲く頃の昔 渕野 昌
本稿は，数学セミナー，vol.36, no.7 (1997), 2?5 に掲載された文章に（少しの）加筆補正を加えたものである.
Shelah のことを高慢だと言う人がいるが，これはあたっていないと思う．
多くの天才がそうであるように，Shelah は自分自身がいかに天才であるかと
いうことを正確に把握していて，それを変に隠したりしないので，彼が誰で
あるかをよく分かっていない人が，このことを高慢だと感じるのではないか
と思う．
僕がエルサレムに長期滞在した年の次の年にイスラエルのハイファという
ところで数理論理学協会の国際学会があり，僕は再びそこで Saharon に会っ
たのだったが，この学会での食事のときに彼の隣になったことがあった．ちょ
うどその直前に僕の知らない数学者に話かけられて，共著の論文の話をして
いたので，「Saharon, あんなにいっぱい共著者がいてよく全員覚えていられま
すね」と言うと，「いやあ，実は
841:今の人はどこの人だったかちょっと自信がな かったんだけどね」と答えて，しばらく考えてから，「古代シリアの王様は兵 卒の一人ひとりの名前を覚えていたということだけれど，そういうやつじゃ ないかな．」金の鍬で畑を耕したというのもシリアの王様ではなかっただろうか？ このハイファの学会のプログラムには，Shelah の 600 番目の論文の完成 を祝うというバンケットがあった 3)．
842:１３２人目の素数さん
21/12/06 11:17:52.19 1n4h7g9B.net
掲示板にコピペペタペタ貼る奴って何がしたいん？
843:１３２人目の素数さん
21/12/06 11:22:44.28 Gs/1YBHS.net
掲示板にコピペペタペタ貼る奴のスレに通う奴って何がしたいん？
844:１３２人目の素数さん
21/12/06 11:40:32.41 xRA6hKZL.net
>>799
いい加減にしろ単細胞
845:現代数学の系譜 雑談
21/12/06 14:01:33.42 sA3eXLb0.net
>>801-803
>掲示板にコピペペタペタ貼る奴のスレに通う奴って何がしたいん？
同意だ
いやなら、
来なけりゃいいんだよｗ
846:現代数学の系譜 雑談
21/12/06 14:17:05.67 sA3eXLb0.net
>>800
サハロン・シェラハ：
「誰かが未解決問題をシェラハのところに持っていくと、彼がその場ですぐに解いてしまうため、その結果できた共著論文が大量にあるといわれる」（下記）
要するに、だれかが、未解決問題と解決済み問題を 腑分けしてやらないと、解決済み問題ばかり解いてしまいかねないんだろうねｗ
で、共著が多くなるのは、「サハロン・シェラハに手伝ってもらおう！」ってなるから
で、普通は「彼に声かけてもね」と思われると、共同研究の話がこない（自分から仕掛けるのはありとしても）
自分で、研究を進めて、世間の進むスピード以上のパフォーマンスが出て、論文書ける人はそれで良いよね
けど、世間の進むスピード以上のパフォーマンスが出ないと？ アキレスと亀の亀でさ。あとは分かるよね
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
サハロン・シェラハ
1945年7月3日 -
URLﾘﾝｸ(ja.wikipedia.org)
現代屈指の天才数学者と言われている。超人的な仕事量で知られ、発表した論文の数が2012年に1000を超え[1]、2014年現在では1044本の論文がシェラハによって発表されている[2][3]（共著を含む）。
誰かが未解決問題をシェラハのところに持っていくと、彼がその場ですぐに解いてしまうため、その結果できた共著論文が大量にあるといわれる。ちなみに、2005年6月8日の日付のあるシェラハの共著者のリストには196人の共著者中7人の日本人数学者が含まれている。
847:１３２人目の素数さん
21/12/06 14:18:43.69 o4q444Cb.net
単著論文が基本ってのはよく分からんな
arXiv見れば共著論文の方が多いと思うが
848:１３２人目の素数さん
21/12/06 14:54:33.85 xRA6hKZL.net
分からんならもういいよ
849:１３２人目の素数さん
21/12/06 15:52:16.94 8V/KioOF.net
>>776
> このスレそんな見てるわけでもないがセタを擁護するレスなんて一度も見たことないぞ
はい嘘。何で「このスレそんな見てるわけでもない」奴が断言なんて随分とふざけた真似なんかしてんだよオイ？
850:１３２人目の素数さん
21/12/06 16:20:14.58 7MwcW5Fr.net
>>808
いや何にそんなこだわってるのさ…
「俺が見たことない」ことは俺が知ってるんだからそりゃ断言するでしょ
なんか頭弱そうね
君こそ嘘だって断言するならこのレスがそうですとか挙げればいいだけじゃないの？
851:１３２人目の素数さん
21/12/06 16:21:58.86 6rOZNySj.net
>>806
物理だと論文どころか手紙の書簡がノーベル賞につながったこともあるしな
852:１３２人目の素数さん
21/12/06 16:29:39.76 H4jKu838.net
単にセタと同じ意見なんでしょ
853:現代数学の系譜 雑談
21/12/06 16:39:18.79 sA3eXLb0.net
おれは、名前の議論には参加しない。だれか全くの第三者に「あれはお前だろう」なんて、迷惑を掛けかねないからね。よって、肯定も否定もしない
さて
>>810
>物理だと論文どころか手紙の書簡がノーベル賞につながったこともあるしな
田中耕一さん、化学のノーベル賞だけど、
ノーベル賞の基準が、論文ベースじゃないという気がする
記憶では 田中耕一さんは、ろくに論文書いてなくて、欧州の大学教授たちが、”タンパク質などの質量分析を行う「ソフトレーザー脱着法」”（下記）の理論づけと発展の理論の論文を出していた
けど、ノーベル賞は、オリジナルの田中さんになった
同様に、青色ダイオードの発明は、主には発明であって、ちょっと理論物理の研究とは違う気がする
思うに、ノーベルさん自身がダイナマイトの発明で儲けた遺産で賞を創設したわけだから、純学術とは基準がちょっと違う気がする
その点、学会が出す賞は、基本はその学会の論文でしょうかね
ところが、日本数学会では，論文投稿のベース雑誌が弱いから、ゆえに数学誌に論説でも書かせて、それをネタに賞を出している気がする
（外野の野次馬の目だから、外しているかもだが）
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
田中耕一
1985年（昭和60年）にタンパク質などの質量分析を行う「ソフトレーザー脱着法」を開発。この研究開発が後のノーベル化学賞受賞に繋がる。20回以上の見合いの後[4]、1995年に富山の同じ高校出身の女性[5]と見合い結婚する[6]。
2002年（平成14年）ノーベル化学賞受賞。受賞理由は「生体高分子の同定および構造解析のための手法の開発」。同年文化勲章受章、文化功労者となる。富山県名誉県民、京都市名誉市民、東北大学名誉博士などの称号も贈られている。受賞当時は島津製作所に勤める会社員であり、現役サラリーマン初のノーベル賞受賞として日本国内で大きな話題となった。
854:１３２人目の素数さん
21/12/06 16:59:48.89 6rOZNySj.net
>>812
以前から、ノーベル物理学賞はディラックとかそういう手紙による受賞があった
>日本数学会では，論文投稿のベース雑誌が弱い
昔は日本語の論文を投稿出来る雑誌があったが、今はそういうのがなくなった
855:１３２人目の素数さん
21/12/06 17:10:35.56 6rOZNySj.net
>>812
>思うに、ノーベルさん自身がダイナマイトの発明で儲けた遺産で賞を創設したわけだから、純学術とは基準がちょっと違う気がする
ノーベル賞の創設には、ノーベルとミッタークレフラーとがコワレフスカヤをめぐって犬猿の仲にあったという背景がある
856:１３２人目の素数さん
21/12/06 18:57:53.13 1n4h7g9B.net
>>802
コピペじゃないレスを読みたい
当たり前だろ、コピペほど無意味なものは無いと思わんのか？
857:１３２人目の素数さん
21/12/06 19:04:58.74 vj9zd8AD.net
普通ならコピペ嫌いがわざわざコピペ塗れのスレを覗きに来ないよね…
コピペじゃないレス読みたいなら他行けばいいわけで
858:１３２人目の素数さん
21/12/06 19:16:08.40 .net
>>797
＞浪人がないといけないの？
そうみたいですね
859:１３２人目の素数さん
21/12/06 19:18:03.55 .net
>>801
＞コピペペタペタ貼る奴って何がしたいん？
自慢じゃね？
>>802
＞コピペペタペタ貼る奴のスレに通う奴って何がしたいん？
駆逐じゃね？
860:１３２人目の素数さん
21/12/06 19:21:19.66 .net
>>812
＞おれは、名前の議論には参加しない。
そもそも名乗らなきゃいいんじゃね？
大したこと書いてないし
マジでIDも消しなよ
誰も読まないコピペも要らないよ
861:１３２人目の素数さん
21/12/06 19:22:08.61 h7pomBO2.net
全然駆逐できてないけどね
862:１３２人目の素数さん
21/12/06 19:25:42.38 .net
>>799
＞大勢の中で一人id無しなら、コテ付けているのと変わらんでしょ。
＞だったら、匿名性が薄れるじゃん
id無いと必死チェッカーに出てこないんだよね それはいいかな
君もやってごらんよ 快適だからさ
863:１３２人目の素数さん
21/12/06 19:28:10.54 0j9PrsHd.net
>>816
ここがコピペ塗れのスレって誰が決めたの？
一部の阿呆がコピペ連発しとるだけじゃないんか？
864:１３２人目の素数さん
21/12/06 19:29:01.20 .net
>>820 まあ集合の話は全くしなくなったね さすがに間違いに気づいて賢くなったのかな？
865:１３２人目の素数さん
21/12/06 19:31:54.61 .net
>>822 一部というか一人だね
866:１３２人目の素数さん
21/12/06 19:55:14.41 L3apoWDT.net
高木スレみたいなもんだな
セタのファンタジーワールド
ただ高木スレは流石に賛同者ゼロだけどセタスレはセタレベルのやつが何人かいる
867:１３２人目の素数さん
21/12/06 20:01:13.19 eFWzm3tS.net
まあセタレベルは言い過ぎにしてもそれに近いレベルの奴は結構居るよな
特に常駐してる連中
868:１３２人目の素数さん
21/12/06 21:18:56.24 8V/KioOF.net
そりゃ>>762みたいな自殺レスしてりゃ集合の話し難く成るな
869:１３２人目の素数さん
21/12/06 21:21:59.74 8V/KioOF.net
瀬田の似非帰納法例
>>762もそうだが
シングルトン
・単一シングルトンが存在する
・二重シングルトンが同様に存在する
・三重シングルトンが同様に存在する
…
・n重シングルトンが同様に存在する
…
・可算多重シングルトンが同様に存在する
↑これって↓こういう事を言ってんのと同じなんだけど
0.999…
・0.9<1
・0.99<1
・0.999<1
…
・0.999…999<1
…
・0.999…<1
↑これって↓こういう事を言ってんのと同じなんだけど
自然数
・1は有限値
・2は有限値
・3は有限値
…
・nは有限値
…
・∞は有限値
瀬田はつくづく、害悪だよな
870:１３２人目の素数さん
21/12/06 21:41:17.29 .net
>>827
瞬殺されてたね
ｽﾚﾘﾝｸ(math板:517番)-518
生兵法は大怪我の基
URLﾘﾝｸ(www.applek.com)
十分に身に付いていない知識や技術、生半可な学問という意味で
中途半端に武術をおぼえた者は、それを頼りにけんかをするので、
かえって大怪我をする。
未熟な知識やうろ覚えの技術で軽率に物事を行うと大失敗をするものだ、
という戒めのことわざ。
871:１３２人目の素数さん
21/12/06 21:47:33.16 .net
瀬田じゃなくて勢田かもな
瀬田は関東に多いけど
勢田は関西に多いらしいから
まあどうでもいいけど
数学知らない一般人だし
872:１３２人目の素数さん
21/12/06 23:53:42.75 rEJwvDrF.net
>>814
ノーベルとミッタークレフラーって仲が悪かったというのは本当か、
ということをスウェーデン人数学者に聞いたら、
「そういうことをよく聞かれるけど、それは違うよ」
という答えだったよ。
小林と益川の仲が悪かったというほうが真実味がある？
873:１３２人目の素数さん
21/12/07 06:52:17.37 9RKwnGAc.net
>>831
ノーベルとミッタークレフラーがコーシーコワレフスカヤをめぐって何らかの関係にあったという話は、よく聞くし有名だと思う
最近のノーベル賞の受賞者の詳細は知らない
874:１３２人目の素数さん
21/12/07 07:31:06.64 9RKwnGAc.net
>>831
失礼、コーシーコワレフスカヤはコワレフスカヤの間違い
875:１３２人目の素数さん
21/12/07 08:38:20.19 Z1Ij38kG.net
>>828
アホでしょ、あなたｗ
なんで、わざわざアホ晒すの？
876:１３２人目の素数さん
21/12/07 09:39:56.72 cltX9XJ0.net
アホはセタでしょ どう見ても
877:現代数学の系譜 雑談
21/12/07 11:16:19.31 5ZVJfYJQ.net
>>830
いや、だから、おれは名前の議論はしない
ある人が、「５ｃｈの数学板にこんなことを書いていたけど、それお前じゃね？」と嫌疑をかけられても
「それは、おれじゃあない！」という証明はできないよね
普通の事件ならば、アリバイ証明という手法があって、
その時間にはアリバイがある（現場にはいなかった）とできるけど
５ｃｈじゃ、それもできまい
だから、「おれは名前の議論はしない」ってことさ
>>829
瞬殺したつもりになっているやつを、瞬殺してきたよｗ
>>821
>id無いと必死チェッカーに出てこないんだよね それはいいかな
>君もやってごらんよ 快適だからさ
ありがと
おれは別に今のままでこまらんし
例えば、実名が判明したところで困らん
敵対する相手はアホなサル一匹（>>5-6な）だし、こいつがアホであることは確定した
おれ？ おれも勿論アホだけどね
>>815
>当たり前だろ、コピペほど無意味なものは無いと思わんのか？
コピペ爆弾をぶつけられる人は、だいたいそういう反論してくるよね
例えば、数学は基本一人でやるものだとかね
確かに、拓郎先生の３億円事件は、一人の論文だった�
878:ﾆ思うが（問題がすごすぎて共同研究できる人いなかった？） でも、柏原予想を解いたらしいから、柏原先生が近くに居たってのが、大きい気もするんだよね なんか、相談したとか、教えてもらったという話は全く聞かないけど でも、じゃあ、柏原予想について、柏原先生と全く会話しなかったというと、そんなこともない気がする だから、共同研究までいかなくても、 ちょっとしたヒントでも、役に立つ場合はあるし、そこらは「本当どうだったの？」と聞いてみたい気がする
879:１３２人目の素数さん
21/12/07 12:09:05.10 cltX9XJ0.net
>>836
> 例えば、数学は基本一人でやるものだとかね
また幻聴か まだ精神病院行ってなかったのか？
880:１３２人目の素数さん
21/12/07 12:17:01.39 cltX9XJ0.net
>>836
> >>830
>いや、だから、おれは名前の議論はしない
>>830は一言もおまえのことなんて言ってないのに突然どうした？
それって自分の名前がセタだと白状してるも同然じゃんw バカだろおまえw
881:１３２人目の素数さん
21/12/07 12:37:48.12 /lEGS5Ql.net
コテって
書き込みの証明ならIP開示で可能ってしらんの？
書き込みの証明が可能だから犯行予告とか
逮捕できるんだぞ
ここで○○に対して××の犯罪します
って書いたら警察が証明して俺は刑務所行きだよな？
反例の証明終わり
コテには知恵が足りない
882:１３２人目の素数さん
21/12/07 16:20:44.43 ZzUty44J.net
>>788
ポアンカレ予想を解決してフィールズ賞の受賞を辞退した、
ペレルマンはその論文をarXivに掲載しただけで、
出版すらしていない。
883:１３２人目の素数さん
21/12/07 16:21:45.71 ZzUty44J.net
>>791
勝ち負けなんてねえよ。論文の真偽があるだけ。
今のところ間違ってなさそう。
そのご、シュルツ沈黙してるし。
884:１３２人目の素数さん
21/12/07 16:31:51.30 wvLZX0OC.net
>>841
そう、間違ってるか、否か
現時点ではダメやな
世界の一流の数学者が読んで行間を埋めて繋がった証明を眼前に再構成することが出来ない人が多数いる
出来たと言ってる人の方が少ないし、その人達ができない人の参考になるような補完文書もまるで出てこない
９年も経ってコレではダメ
もう数学経験者は単に“補完するが難しい論文”ではなく“補完するのが不可能な論文”という評価だよ
そうでないと言うなら君が読んで補完文書書いてみればいい
885:１３２人目の素数さん
21/12/07 16:48:17.45 cltX9XJ0.net
>>841
> 今のところ間違ってなさそう。
>そのご、シュルツ沈黙してるし。
じゃダメじゃんw
886:１３２人目の素数さん
21/12/07 16:57:26.49 HGO03Dwc.net
>>842
論理ギャップを指摘できないきゃ、証明できてることになる。
指摘した人いないから論証に成功しているってこと。
>>843
シュルツは論理ギャッぶの指摘をできていない。
887:１３２人目の素数さん
21/12/07 17:05:22.73 wvLZX0OC.net
>>844
ショルツが指摘しているギャップはcor 3.12以前とcor 3.12のギャップ
その間のギャップを埋められる文書はまるで出てこない
多分もう出ないでしょ
888:１３２人目の素数さん
21/12/07 17:14:31.20 HGO03Dwc.net
>>845
指摘できいないよ。
単純化したものが成り立たないというのは、その単純化が
本質部分を損ねてないことが論証されてないといけない。
そこが欠けてんのよ。
889:１３２人目の素数さん
21/12/07 17:17:49.84 FFS7iwK5.net
リーマン予想は自明である
↑論理的ギャップを指摘してみ？
連中がやってるのはこのレベル
890:１３２人目の素数さん
21/12/07 17:22:33.02 wvLZX0OC.net
>>846
指摘できてないと言うならそこにはギャップがないと言うことになる
では君が3.12以前の帰結から3.12を導出する手順を示せばいい
coqに入力でもして全世界に公開すれば良い
891:１３２人目の素数さん
21/12/07 17:30:12.73 RNhbLAXv.net
>>846
ギャップは指摘されているが、ギャップを指摘しなきゃならないなんてルールは無いぞ
意味が
892:論理的に通らないとコミュニティが感じたらはじかれる その感じるというのは曖昧なわけではなく、ショルツと遜色ない数学者達が読んで出てくる集合知だし
893:１３２人目の素数さん
21/12/07 17:32:22.59 w3ajKQCo.net
論理的に通らない証明ってそれギャップがあるだけなのでは
894:１３２人目の素数さん
21/12/07 17:37:34.16 HGO03Dwc.net
>>848
論文自体がギャップがないと言ってんのよ。
アホなのか?
>>849
論理が通らないという主張が示されなければ、
論理が通ってるとみなされます。
だって査読通ってるからね。
895:１３２人目の素数さん
21/12/07 17:39:38.78 RNhbLAXv.net
何かアスペ感あるな
査読は規則守ってるから常に正当ですなんてわけではないのに
896:１３２人目の素数さん
21/12/07 17:42:29.38 HGO03Dwc.net
>>852
数学の場合、査読は論理が通っていて主張が真であるかどうかを第三者が確かめるものだよ。
通った以上、査読者は真だと判断したんだよ。
あんたもよんで判断すればいいのよ。できるもんなら。
897:１３２人目の素数さん
21/12/07 18:01:19.19 vZMpC9Ch.net
>>851
ギャップがない論文など存在しない
ギャップかないとはそのままcoqに何も考えず打ち込める状態
そんな状態で論文が出る事はない
通常いくばくか行間を埋めなければ論文ば証明は完成しない
もちろん完全にギャップがない論文を出しても構わないし望月論文がそうかもしれない
なら君がその内容をcoqに打ち込めばいい
898:１３２人目の素数さん
21/12/07 18:04:30.18 cltX9XJ0.net
つまり査読通したもん勝ちって言いたい訳ね？
899:１３２人目の素数さん
21/12/07 18:06:20.45 9w5QxHF+.net
>>854
ギャップがあるというのは、査読者のレベルで論理を追えない場合をいうの。
当然行間はその分野の専門家の知識で埋められる。
査読が通った以上、査読者は論理が通ってると主張してるわけ。
どこのだけだかわからん、あんたのことより査読者を信じるのが普通。
900:１３２人目の素数さん
21/12/07 18:07:27.58 bLWddiKp.net
>>809
> 「俺が見たことない」ことは俺が知ってるんだからそりゃ断言するでしょ
> なんか頭弱そうね
…いやいやいやいや！一から十まで見てない人間が断言なんて、普通の一般社会じゃしないって｡
言うにしても「見た限り」という条件付きで発言はするが断言は避けるよ｡
研究畑にしろ経営畑にしろ下働きにしろ、そんなん法度だし、やらかしだよ｡
人に頭が弱いとか言って来る前に自分の甘さを見直したらどうだ？
> 君こそ嘘だって断言するならこのレスがそうですとか挙げればいいだけじゃないの？
一人、瀬田の他に過言多犯のシンパが今でも居るだろ。そいつだよ｡
今でこそそいつは余りのバカさ加減を曝し続けて来て今もなお曝し続ける瀬田の擁護を控える様になったが
前は「スレ主さん」とか言って「盲目的に」擁護してたんだよ。そう、「盲目的に」｡
下手すると今でも瀬田がどうバカなのか分かってない可能性が有るIUTミーハー｡
単に分が悪過ぎる事だけは察して瀬田の擁護を控える様に成った節も無きにしも非ず｡
何せ「IUTで量子論のジレンマが解消したり天気予報精度も上がるでしょう」とかほざいてたタイプの人間だ｡
Part46あたりまで瀬田の擁護をしてたと思ったが、まぁPart23まで遡れば確実に居るぜ｡
断言するなら断言する前に思い出しとけよ、その位｡
901:１３２人目の素数さん
21/12/07 18:08:19.19 RNhbLAXv.net
>>853
そうやって読んだ数学者達がいるから未だに予想扱いなんだよ。話はそれで十分
902:１３２人目の素数さん
21/12/07 18:09:15.32 9w5QxHF+.net
>>855
査読する能力があると認められず選ばれないものが、査読することはできないけど、
同じことをして、ここの論理が通らないと主張すればいいのよ。
きちんと実名で責任のある数学者がしたならそれは意味がある。
でも、シュルツは反論をうけて沈黙しちゃったし、他の人もする人いないから、
証明はできてると一般
903:に見られるわけだ。
904:１３２人目の素数さん
21/12/07 18:09:18.08 vZMpC9Ch.net
>>856
今回はホントに査読者がギャップが埋められるか確認できたのかについて疑義が上がってるのだからその論は通らない
実際にギャップが埋められてcoqが通せる事を示してみせる以外数学界が納得する事はない
905:１３２人目の素数さん
21/12/07 18:11:16.84 9w5QxHF+.net
>>858
それはよんでないあんたが判断できることではない。状況的に、証明成功してるんだろう状態だよ。
906:１３２人目の素数さん
21/12/07 18:11:56.94 vZMpC9Ch.net
>>859
一般にww
どこの一般www
君の脳内ファンタジーワールドは君だけの世界だよwwwwwww
907:１３２人目の素数さん
21/12/07 18:12:09.07 wvLZX0OC.net
>>859
一般にww
どこの一般www
君の脳内ファンタジーワールドは君だけの世界だよwwwwwww
908:１３２人目の素数さん
21/12/07 18:12:32.44 9w5QxHF+.net
>>860
そもそも、ショルツの主張は単純化したものが成り立ってないというもので、
論理ギャップを示せてない｡
909:１３２人目の素数さん
21/12/07 18:13:11.43 xbNMXX7j.net
>>857
えぇぇぇぇ、そんな遅レス付けてまで拘る論点かコレ
つまり「見たことない」じゃ「（俺が）見たことない」とはわからないから「俺が見た限り」を付けろってこと？
日本語不自由過ぎるでしょ…
910:１３２人目の素数さん
21/12/07 18:13:22.68 9w5QxHF+.net
>>862
そもそも、あんた匿名じゃん。
911:１３２人目の素数さん
21/12/07 18:16:03.38 vZMpC9Ch.net
>>864
だから君はショルツの２つの主張を混同して誤解してるんだよ
もちろんメインの主張は3.12以前から3.12を導出する事はできないと思われる、少なくともショルツ本人は失敗したと言ってる
それがショルツ本人の個人的なミスだと言うなら君が示して見せればいい
912:１３２人目の素数さん
21/12/07 18:16:26.92 xbNMXX7j.net
このスレ瀬田がヤバいのは周知だけど他にもヤバいの結構紛れてるよね
913:１３２人目の素数さん
21/12/07 18:16:43.67 BcOyvJ+5.net
グロタン 沈黙
キノコ狩り 沈黙
日本人 沈黙は金
黙ってたら正しいとかキモいな
914:１３２人目の素数さん
21/12/07 18:17:05.81 vZMpC9Ch.net
こな>>864ともひとりいるみたいだな
915:１３２人目の素数さん
21/12/07 18:17:32.44 bLWddiKp.net
>>829
え？お前また勝った気で居るの？相変わらず「『非学者論に負けず』型『無敵の人』」だな｡
お前もあいつと同じだな、旧コテ「学問」「バカボンパパ」の奴と｡
その内、お前もあいつと同じ様に「0/0=0、∞/∞=1」とか言い出しかねんな｡
916:１３２人目の素数さん
21/12/07 18:19:48.91 bLWddiKp.net
>>834
ん？曝したのは瀬田の似非帰納法だぞ
お前、twitterやインスタグラムなどばかり見て超短文しか読めなくなってないか？
917:１３２人目の素数さん
21/12/07 18:20:01.38 cltX9XJ0.net
>>856
> どこのだけだかわからん、あんたのことより査読者を信じるのが普通。
フィールズ賞受賞者ショルツはどこの誰だかわからんからRIMSの方が信用出来ると言いたい訳ね？
918:１３２人目の素数さん
21/12/07 18:26:44.73 vZMpC9Ch.net
>>873
宗教の信者ならそうすればいい
あなたがrims教を信じるんならね
私は世界の天才たちから「私には3.12以前から3.12を導出できない、説明してほしい」と9年間も説明を求められ続けてきて、それに未だに答えられていないrimsの言い分を信用する事はできんけどな
そしてもちろん数学経験者のほとんど誰もがそうやろ
919:１３２人目の素数さん
21/12/07 18:27:38.20 9w5QxHF+.net
>>867
論文は導出できていると言っているのよ。
ショルツはそれができていないというなら、その論文のどこに問題かあるのかを示す必要がある。
920:１３２人目の素数さん
21/12/07 18:29:42.23 9w5QxHF+.net
>>873
シュルツが反論に対して答えていない現状で、
査読者が論理が通ってると言ってるのだからそっち信じますね。
シュルツの同調者も出てないし。
921:１３２人目の素数さん
21/12/07 18:30:18.21 9w5QxHF+.net
>>874
シュルツ以外に誰が言ってるんですか?
922:１３２人目の素数さん
21/12/07 18:30:51.16 bLWddiKp.net
>>865
> つまり「見たことない」じゃ「（俺が）見たことない」とはわからないから
誰もそんな風な反応してねぇやな。むしろ「何でそんな半端な了見で、んな断言調で知った口を叩いてんだ？」って言ってんだろ｡
> 「俺が見た限り」を付けろってこと？
いやだから違うだろ、半端な了見でよく断言調で口を挟めたなって言ってんだよ､
半端な了見ならもし口を挟むにしても断言調は命取りだ｡
空気をむしろ読んだ上で空気を変える相手に出会した事さえ無いのか？
少し空気を読んで貰う事に甘え過ぎてないか？
お前やっぱり碌に働いてねぇだろ。なーに「えぇぇぇぇ」とか冒頭に書いて「俺が普通」アピールなんかしてんの？
923:１３２人目の素数さん
21/12/07 18:37:12.23 vZMpC9Ch.net
>>877
少なくともファルティングスやタオは言ってるようだな
おそらく実数はもっと多い
何故ならよめたら読めたという人はいるかもしれないけど、読めずに諦めた人はもっと多いだろうからな
まぁ実数を推測しても意味はない
数学世界での真贋の判断は多数決で決まるものではない
多くの数学の標準以上の実力ある人間なら行間を埋めて証明を完成させられる文書がたった一編出てくるだけでいい
望月論文はそのたった一編が9年間出てこなかった事でもはやタイムリミット迎えてるやろ
もう宗教の信者レベルの人間以外で数学経験者で信じてる人間はいない
924:１３２人目の素数さん
21/12/07 18:37:16.92 RhYDoW6H.net
>>878
いやもう一回言うけど「俺が見たことない」ことは俺が知ってるんだからそりゃ断言するでしょ…
俺なら「俺が見た限り」って付けるなんて言われても普通の人なら文脈で主語が俺だってわかるよね？
ちょっと流石に頭ヤバくない？
わかっててふざけてるとかじゃないんだよね？
それとも後に引けなくなってる？
925:１３２人目の素数さん
21/12/07 18:43:01.42 SGwet0Pu.net
>>879
いや言ったことが確認できなるやつだしてよ。
はっきり言って実名出していい加減なこと言うと名誉毀損の可能性があるの覚悟しろよ。
926:１３２人目の素数さん
21/12/07 18:44:24.53 BcOyvJ+5.net
数学者が議論を止めたら公の数学自体終わるな
2045年くらいには独りでやるものになってたりして
927:１３２人目の素数さん
21/12/07 18:48:26.99 SGwet0Pu.net
>>882
わからないこと、興味のないこと、断言できないことに沈黙するのは
問題に対する正しい対処の一つだ。
928:１３２人目の素数さん
21/12/07 18:58:52.34 vZMpC9Ch.net
>>881
だからファルティングスとタオの名前あげてるやん
検索したら出てくるよ
929:１３２人目の素数さん
21/12/07 19:07:04.36 SGwet0Pu.net
>>884
ようだなじゃなくて、どこに論理ギャップがあるかを示した記述をここに貼りなよって言ってんの。
ググれじゃねえよ。
930:１３２人目の素数さん
21/12/07 19:07:09.84 RNhbLAXv.net
まあこんなとこで信憑性があれなこと書いても仕方ないんだが、理解できてない海外のトップは他にもいるぞ
正確には戦略は十分理解できるけど証明には見えないという感想だけども
931:１３２人目の素数さん
21/12/07 19:20:12.67 RNhbLAXv.net
それでその数学者はフィールズ賞はないがAMSやシュプリンガーの単著も出してるレベルなので、
自分なりにもっとよい枠組みを考えて調べてるよ
いちいちプロレスみたいにちょっかい出さなくてもそういう人もいるんだよ
932:１３２人目の素数さん
21/12/07 19:20:27.78 SGwet0Pu.net
>>886
わかってないな。お前がシュルツ以外に、証明できいないと言ってるというやつの実名あげたんだぞ。
ここで問題にしてるのは、それが事実かどうか。そして、問題になってるのはあんたの行動が
名誉毀損における真実性の担保があるかどうか。実名出していいかげんなこというと
あんたかがやばいんだよ。
933:１３２人目の素数さん
21/12/07 19:22:17.07 SGwet0Pu.net
>>886
感想を言ったにすぎないというなら、既にシュルツと同じレベルではないと認めたことになるよな。
ほんといい加減にしろよ。数学の問題について議論してんだからそんな噂話とかどうでもいいんだよ。
お前アウトだよ。
934:１３２人目の素数さん
21/12/07 19:28:21.12 RNhbLAXv.net
>>888
何を発狂してるんだ？俺は実名なんか挙げてないが
そらこんなとこで名前出されたら迷惑だろうよ
935:１３２人目の素数さん
21/12/07 19:29:15.33 RNhbLAXv.net
匿名とはいえ、もう人物の区別つかず悪態ついてる時点でヤバいよねw
936:１３２人目の素数さん
21/12/07 19:39:
937:14.49 ID:SGwet0Pu.net
938:１３２人目の素数さん
21/12/07 19:40:57.56 bLWddiKp.net
>>880
やべぇのはおめぇだよ。碌に分かってもない人間が会議でそんな発言なんかしたら
昭和だったら「その程度で口を挟むな」だ。だーれが半端にしか分かってねぇ人間の断言なんか聞くよ？
半端にしか分かってねぇなら無駄だから最初から口を挟むなって話だ｡
客商売なんかで、半端を前置きしつつ断言した日にゃ、退職後で構って貰えない老害爺じゃなくたってクレームもんだろ｡
「分かってる範囲」アピールや「俺が普通」アピールで頭の話してんじゃねぇんだよ
話に水を差す様な半端な断言なんかしてんじゃねぇって言ってんだよ｡
まぁそんな「分かってる範囲」アピールや「俺が普通」アピールばかりしてる様じゃ
お前は既に日頃から話に水を差してそうだよな、しかも周りはそれを指摘せず内心忌避すらしているが
「空気」を乱さない様に適当に場を取り繕う苦労をし続けて｡
何か意味あった？半端にしか知らないのに何で断言なんてしちゃったかな？お前は「俺の分かってる範囲で」アピールしてるけど
人は「（何で半端にしか知らないのに断言するの？邪魔くさい）」としか思わないからね｡
仲良い人に聞いてみない方が良いよ、お前に合わせて言葉を変えるから｡
何でもズケズケ言う嫌な人に聞いてみなよ｡
939:１３２人目の素数さん
21/12/07 19:41:17.04 SGwet0Pu.net
884は逃げたんか?
940:１３２人目の素数さん
21/12/07 19:42:51.60 bLWddiKp.net
これでは、シンパは
望月も>>865みたいな半端な解釈で断言とかやらかす人間なのか？
と野次を言われても仕方ないな
941:１３２人目の素数さん
21/12/07 19:47:59.13 .net
>>836
＞瞬殺したつもりになっているやつを、瞬殺してきたよ
と瞬殺したつもりになっている君、速攻瞬殺されたね
ｽﾚﾘﾝｸ(math板:528番)
生兵法は大怪我の基
URLﾘﾝｸ(www.applek.com)
十分に身に付いていない知識や技術、生半可な学問という意味で
中途半端に武術をおぼえた者は、それを頼りにけんかをするので、
かえって大怪我をする。
未熟な知識やうろ覚えの技術で軽率に物事を行うと大失敗をするものだ、
という戒めのことわざ。
942:１３２人目の素数さん
21/12/07 19:48:32.61 /lEGS5Ql.net
数学板の癖に勢いづいている
うーんここは特異点のようですね
943:１３２人目の素数さん
21/12/07 19:50:23.27 RNhbLAXv.net
ファルティングスも理解できなかったようだが、タオはそもそも読めてはいないよ
ただ分量的にabc関連以外の自明でない結果が出てこないなら疑問だということはブログかどっかで言った
ファルティングスのソース
URLﾘﾝｸ(www.nature.com)
944:１３２人目の素数さん
21/12/07 19:51:34.04 0rcb9kFf.net
>>893
はいはい、わかったから
「俺は見たことない」って言ったら「なんで断言するんだ！俺が見る限り俺は見たことないと言え！」って言っちゃうのがきみのかんがえるじょうしき的な対応なんでしょ？
俺ならそんなヤベーこと言う奴居たら邪魔くさいどころか障害者施設に帰ってくれって思うけどね
ていうか無謀な論点でよくそこまで粘れるね
いい加減スレ違いだしカッとなって変なこと言っちゃいましたゴメンナサイしといた方がいいんとちゃう？
俺は面白いからいいけど
945:１３２人目の素数さん
21/12/07 19:52:18.46 .net
>>897
埋めますか
946:１３２人目の素数さん
21/12/07 19:53:52.86 0rcb9kFf.net
セタがIUT擁護しても「ああやっぱりIUT支持者は馬鹿なんだなぁ」で済むけど、
こういう基地外がIUT批判してると思われたら完全に無能な味方状態だよね
947:１３２人目の素数さん
21/12/07 19:54:43.85 .net
順序としてCor 3.12を初めに思いついて
これを証明するためにIUTTを考えたようだけど
実際は望月新一氏は証明できていないみたいだね
948:１３２人目の素数さん
21/12/07 19:57:11.79 .net
Cor 3.12に価値を見出す人は少なくないみたいだけど
そういう人でもIUTTは理解できないし価値も認めてないみたい
Dupuyとか
949:１３２人目の素数さん
21/12/07 19:59:05.70 LcDulicq.net
>>902
くどい。査読通ってるんで、証明できてると査読者は判断してる。
できてないということを具体的に言えている人はいない。
950:１３２人目の素数さん
21/12/07 19:59:38.69 .net
自分が理解できないことを面白いとかいいねとかいう人も
いるみたいだけど僕には理解できないかな
理解できないんじゃつまんないしいいかどうかわからないよね
951:１３２人目の素数さん
21/12/07 20:00:23.07 vZMpC9Ch.net
>>885
だからそのまでcoqに入るん？
入らへんやろ？
入るんやったら入れて世界に見せたらええやん？
952:１３２人目の素数さん
21/12/07 20:01:14.87 RNhbLAXv.net
まあここは応援スレなので
そっとしておくべきではあるのだろう
953:１３２人目の素数さん
21/12/07 20:01:36.77 .net
>>904
でも誰が査読したかわからないし
みんなわからないわからないっていってるのに
誰も説明しないから査読者もほんとは
全然わかってないんじゃないかって
思われてるよね
954:１３２人目の素数さん
21/12/07 20:02:59.25 .net
>>907
応援スレって要らないよね
955:１３２人目の素数さん
21/12/07 20:03:37.78 vZMpC9Ch.net
>>907
まぁしかし応援の仕方がメチャクチャやからな
およそ数学の世界では通りようもないアホ理論で擁護するから突っ込みたくなるんだよな
956:１３２人目の素数さん
21/12/07 20:04:16.92 .net
>>906
coqで記述できるならそもそも誰も
分からんなんて言わないと思うんだよな
957:１３２人目の素数さん
21/12/07 20:04:58.33 bLWddiKp.net
>>899
61スレも続いてるスレで疎ら読みしかしてない人間が断言しに来る事の方が御門違いと、まだ気付かない？
御門違いだろうが及ばず頭だろうが「俺が見る限りは」で許されると思ってる？
そんなんナァナァ内でしか許されねぇだろ。足らず頭で余計な事を言うなって怒鳴られるだろ｡
ああ、御門違いとか足らず頭とか曝しても普通に過ごさせて貰える環境に居るんだな。マジで働いてない？
958:１３２人目の素数さん
21/12/07 20:05:32.35 .net
>>910
自慢したいだけなんでしょ
なんか哀れだけどね
959:１３２人目の素数さん
21/12/07 20:06:28.00 vZMpC9Ch.net
>>911
しかし数学界では
「証明出来ること＝coqで記述出来ること」
この現代基礎論の結果に異議を唱える数学者はいない
coqで記述できないならそれは数学の証明ではない何か
960:１３２人目の素数さん
21/12/07 20:09:36.27 w1deOTR3.net
>>912
俺が見る限りはで許されるはずないてｗｗｗ君が言い出したんだろうにｗ
自分のでも自分の言ってることがおかしいってようやく気付いちゃったのかな？
まあでも素直に謝れないよね、後に引けないもんね？
961:１３２人目の素数さん
21/12/07 20:12:41.91 .net
>>915
＞素直に謝れないよね、後に引けないもんね
素人が間違って謝ったってなにも失うものないのにね
おかしいよね
962:１３２人目の素数さん
21/12/07 20:13:54.89 bLWddiKp.net
>>915
いやだから許されねぇ事やってんだって、お前は｡
「碌に知らねぇなら口を挟むな」「半端にしか知らねぇなら口を挟むな｣
結局お前は「IUTで量子論のジレンマも解消したり天気予報の精度も上がる」って言ってた奴を思い出せたかよ？
963:１３２人目の素数さん
21/12/07 20:15:15.77 ULSTkeFC.net
>>916
望月みたいに立場があればまだ後に引けないというのもわかるんだけどね
ああでも匿名掲示板だからこそこうやって厚顔無恥に粘り続けられるというのもあるか
964:１３２人目の素数さん
21/12/07 20:17:33.09 ULSTkeFC.net
>>917
もはや何が何だかｗ
随分トーンダウンしてるみたいだけど「俺は見たことない」に「俺が見る限り付けろ」とか言っちゃう勘違い君はいい加減恥ずかしくなった？
965:１３２人目の素数さん
21/12/07 20:27:36.34 LcDulicq.net
>>906
数学論文書いたやつが疑問呈されたくらいでそんなことする義務ないと思うよ。
それよりも入らないことをあなたが証明すればいいじゃん。
966:１３２人目の素数さん
21/12/07 20:36:14.50 LcDulicq.net
>>918
いやだから、証明できないないと論証してくださいよ。できるもんなら。
論文わかんないやつが何言っても、意味ない。
状況的に、判断するしかないでしょ。
967:１３２人目の素数さん
21/12/07 20:37:01.63 .net
>>920
coqに入らんっていうのは
つまり論理式で記述できないってこと？
もしそうだとしてそれって数学なの？
968:１３２人目の素数さん
21/12/07 20:38:21.03 .net
>>921
>論文わかんないやつが何言っても意味ない。
わかんない人が応援するってのも意味ないよなぁ
何がしたいんだか
969:１３２人目の素数さん
21/12/07 20:45:21.79 .net
IUTTわかんない人がIUTT応援してなんか意味あんの？ないよね
970:１３２人目の素数さん
21/12/07 20:48:34.65 .net
自分が分からないものがいくら賞とかとっても嬉しくもなんともないよね
971:１３２人目の素数さん
21/12/07 20:49:55.69 .net
観る将も観る数もただの勘違いだと思うんだな
972:１３２人目の素数さん
21/12/07 20:52:44.44 .net
>
>「観る将」は、盤外の情報に大きく注目する。
>対局者が着ている羽織袴やスーツ、ネクタイ、シャツはどんなものか。
>食事やおやつに何を食べているのか。
>そんな周辺情報までも、ビジュアルとして観られるようになった。
>そうした「観る将」の観察眼は、
>専門記者たちよりよほど詳しく鋭かったりもする。
でもそれって将棋じゃないじゃん
973:１３２人目の素数さん
21/12/07 20:56:00.42 .net
「観る数」も同じだよな
いくら数学者の外観とか見たって
それって数学じゃないじゃん
いくら賞とか数えたって
それって数学じゃないじゃん
観る将が将棋観てないのと同じで
観る数は数学観てないじゃん
意味ないよな
974:１３２人目の素数さん
21/12/07 20:56:43.93 .net
意味ないことで喜ぶって精神的におかしいと思うんだな
975:１３２人目の素数さん
21/12/07 20:57:37.96 .net
一度自分が何をしたいのか
見つめなおしたほうが
いいんじゃないかな？
976:１３２人目の素数さん
21/12/07 20:59:51.10 .net
望月新一がIUTTでやろうとしたことが
成功だったにせよ失敗だったにせよ
それは彼にとっては意味があることだと思うよ
977:１３２人目の素数さん
21/12/07 21:00:10.93 /lEGS5Ql.net
おい、雑談より勢いあるぞ
過疎スレの民だろ俺たち
止めろって人気スレになってしまうぞ
978:１３２人目の素数さん
21/12/07 21:01:38.66 .net
でもIUTTどころかそもそも数論も分からん人が
望月新一が賞を獲ることに期待するのって
いったい何がどう楽しいの？
なんか根本的に間違った思い込みに支配されてるんじゃないかな？
979:１３２人目の素数さん
21/12/07 21:03:52.06 .net
>>932
なんかさこのスレ意味ないから埋めようかとおもってさ
980:１３２人目の素数さん
21/12/07 21:03:55.49 /lEGS5Ql.net
祭りとして楽しむ分にはいいと思うよ
コロナ禍で楽しみも少ないし
つまらないでしょ
981:１３２人目の素数さん
21/12/07 21:05:02.45 .net
>>935
そもそも他人が賞とって楽しい？
982:１３２人目の素数さん
21/12/07 21:05:53.65 .net
同じ国の人とかいったって他人じゃん
国なんて所詮妄想じゃん
意味ないじゃん
983:１３２人目の素数さん
21/12/07 21:07:41.04 vZMpC9Ch.net
>>920
もちろん数学の世界で認められなくても良いなら望月先生は何もする必要はないよ
京都の身内だけで成り立つね〜って言ってればよろしい
オレが何かする義務もない
別に望月論文が京都の身内だけで認め合うなら勝手にすればいいと思うし
しかしもちろん誰も何もしないなら望月論文は“京都だけで成立する論文”で終わり
984:１３２人目の素数さん
21/12/07 21:11:36.02 .net
>>938
結局のところCor3.12がありがたがられてるだけだよなぁ
それでいいんなら何もいわんけど 正直どうなんだろ？
985:１３２人目の素数さん
21/12/07 21:13:52.83 33HXCttY.net
数学板で一番勢いがあるのがIUTスレだという地獄
986:１３２人目の素数さん
21/12/07 21:16:37.48 .net
今だけだよ 今だけ
987:１３２人目の素数さん
21/12/07 21:18:20.64 .net
無意味な応援とかいう病気は治したほうがいいって
988:１３２人目の素数さん
21/12/07 21:18:20.87 vZMpC9Ch.net
>>939
確かショルツェのレポートでは3.12以前の部分でもそれなりに意味ある議論はあるって評価だったんだよな
だから望月先生が3.12に拘らずそこは一旦保留したものを論文として出してたんならここまで問題が大きくなる事もなかったんだろうけどな
今回は「何がなんでも正しい」で押し通す事にしてしまった
こうなってしまったら誰かがcoqに入力して論文の正しさを客観的に証明でもしない限りprimsの信用ごと数学界からつまはじき状態になってしまうやろな
実際星先生の論文ははねつけられたってツイートしてたし
989:１３２人目の素数さん
21/12/07 21:21:27.84 .net
>>943
ショルツも望月新一のやったことの全てが無意味な
990:んてことはいってない 望月新一のエキセントリックな性格が災いしたのは確かだけど 一番の問題はRIMSが不適切なやり方で望月新一を庇ったことだよなぁ
991:１３２人目の素数さん
21/12/07 21:27:04.82 0HqUILZk.net
>>938
そもそも、あんたは第三者じゃん。
数学の証明をよんで成立してると言う人たちが増えてるから、
それを否定するなら、あなたがやりゃいいのよ。
読まないなら肯定も否定も主体的にできないわけで、
状況的に支持者の方が増えていってるんだから、合ってんだろって言う判断だよ。
992:１３２人目の素数さん
21/12/07 21:27:49.06 vZMpC9Ch.net
>>944
まぁもしかしたら誰かがcoqに全部入力して世界の数学界の鼻を明かすという可能性もなくはない
逆にそれができなければ今回の事案は間違いなく日本数学界の汚点として数学史上の大事件として語られ続ける事になる
本スレの方で上がってた文章で“数学史上の大チョンボまとめ”みたいな記事で早速取り上げられてたしな
993:１３２人目の素数さん
21/12/07 21:27:53.14 0HqUILZk.net
>>943
ショルツの主張を支持してる人をあげてみ。
994:１３２人目の素数さん
21/12/07 21:29:15.22 0HqUILZk.net
>>946
数学の証明方法がそれに限られるわけじゃないんだから、そんなことは言えないよ。
995:１３２人目の素数さん
21/12/07 21:29:43.99 vZMpC9Ch.net
>>945
だからなんでオレが望月論文の正しさ証明せんといかんの？
オレはダメだろなと思ってる方なのに
アンタ応援してる方なんでしょ？
アンタが入力してあげなよ
一躍時の人になれるよ
996:１３２人目の素数さん
21/12/07 21:31:13.18 0HqUILZk.net
>>949
だから、あんたが証明するのは間違ってる方だっての。
それできない限り、あんたの言ってることはゴミ。
997:１３２人目の素数さん
21/12/07 21:33:47.12 vZMpC9Ch.net
>>947
なんでそんな事せんといかんの？
また多数決の人？
数学の論文の正しさが多数決で決まるとでも思ってるん？
最低でも天下の、zbmathの編集者、コレももちろん数学者だよ、はもちろん認めてるし
というよりショルツェの「オレにはギャップがあって証明になってると思えない」という主張に正しいも何もないやろ？
そこを誤解してる限り君には今数学界で起こってること永遠に理解できないよ
998:１３２人目の素数さん
21/12/07 21:35:00.11 vZMpC9Ch.net
>>950
間違ってるっていうのはcoqの入力コードに変換できないという主張
それを証明せよというのを“悪魔の証明”と言います
999:１３２人目の素数さん
21/12/07 21:37:39.03 ytlDBws0.net
>>859
>他の人もする人いないから
する価値も無いと認識されてるんでしょ？日本以外では
1000:１３２人目の素数さん
21/12/07 21:42:17.41 LcDulicq.net
>>951
数学者の間でショルツの主張を支持してる人がいないってことは、望月論文を支持してる人がかなりいることと対比して、
論文が正しいんではないかと推測される。
多数決じゃなくてよんで理解した人の間の支持の広がりが問題。あんたはわかってないんだから無意味。
1001:１３２人目の素数さん
21/12/07 21:44:48.35 LcDulicq.net
>>952
数学の証明の真偽をCoqに入力できるかどうかで決めるなんてことはない。
そもそも証明はそんなものができる前から行われてる。
1002:１３２人目の素数さん
21/12/07 21:45:58.22 vZMpC9Ch.net
>>954
好きに推測すればいいよ
信者がアホだと言われるのはオレのような多少なりとも数学をキチンと勉強した人間の言うことなど1ミリも聞こうとせず自分の妄想ファンタジーワールドの世界だけだからだよ
ホントに数学という文化に対してなんの畏敬の念も持たず勉強もせずミーハー根性でバカなことばっかり言ってるから数学板てアホ扱いされるんだよ
お好きにどうぞ
1003:１３２人目の素数さん
21/12/07 21:46:17.15 .net
>>954
望月論文 支持されてるのかな？
Cor 3.12に興味があるだけなんじゃないのかな？
でもそれってIUTTを理解した上での支持ではないよな
1004:１３２人目の素数さん
21/12/07 21:46:49.64 LcDulicq.net
>>953
ABC予想は影響多いきいから、する価値はあるよ。論証に成功してないなら。
1005:１３２人目の素数さん
21/12/07 21:48:30.28 LcDulicq.net
>>956
お前がだよ。実際に論文書いた人や、査読した人のことを、読んでもいないお前が否定するとかお笑いだよ。
1006:１３２人目の素数さん
21/12/07 21:51:30.43 vZMpC9Ch.net
>>959
もちろん読んだ人がいるのは事実だけどそれに疑義が上がってるというのが今の現状
それが数学界でどれだけ異常なことなのか君にはわからんのやろ
そしてそれが自分にはわかってないという事を認識する知性すらないんだよ
君には永遠に数学という偉大な人類の誇る文化の事はわからないよ
別の趣味見つけた方がいいよ
1007:１３２人目の素数さん
21/12/07 21:54:29.17 bZOZ6UZh.net
>>960
そらABC予想は影響でかいし、論文も長大だから、読んで理解してない段階では、疑義でるでしょ。
あんたのように。
1008:１３２人目の素数さん
21/12/07 21:59:53.52 vZMpC9Ch.net
>>961
もちろん実は正しかったも否定はしないけどな
しかしまず無理やろ
ともかくここの応援スレのアホ信者は自分が数学の勉強など何もしたことがないクセにアホ〜な議論で無理クリメチャクチャなアホ理屈ふっかけて来るからムカつくんだよな
能無しのくせに
1009:１３２人目の素数さん
21/12/07 22:04:57.62 bZOZ6UZh.net
>>962
だから、論文は正しいと言う論証そのものなの。
理解できないから間違っていると言うのは、論理ではない。
理解した上で、ギャップを指摘しなければ否定にならん。
お前がやってるのは査読者や論文執筆者の努力をバカなおまえがわかんないけど間違っていると言っているだけ。
無茶苦茶とはお前のこと。
1010:１３２人目の素数さん
21/12/07 22:06:22.60 vZMpC9Ch.net
>>963
だから君は数学の勉強なんか全然した事ないんやろ？
なんでそんな自信満々にアホ理論展開できるん？
1011:１３２人目の素数さん
21/12/07 22:10:43.74 bZOZ6UZh.net
>>964
アホなこと言ってんのはお前だよ。
数学の論文の真偽は内在的に決まるんであって
読んでないやつがわかるわけねえだろうが。
当たり前だろ。
なにいってんの?
1012:１３２人目の素数さん
21/12/07 22:13:10.51 vZMpC9Ch.net
>>965
だからなんで数学の勉強した事ない君が数学科でそれなりにちゃんと勉強した人間より数学の論文について詳しいと思えるん？
何いうても聞く耳持ってないやん？
どんなに正しい事言っても全然聞く耳もってない
それで今の現状の正しい議論に参加できるわけないやん？
1013:１３２人目の素数さん
21/12/07 22:17:44.16 bZOZ6UZh.net
>>966
それなりに勉強して、査読を通ることの意味がわからんなら、びっくりだわ。
本当に論文書いたことあるの?
1014:１３２人目の素数さん
21/12/07 22:20:08.08 /lEGS5Ql.net
次スレは立てるなよ
過疎スレの民ども
目立っちゃって恥ずかしいだろ
全く
1015:１３２人目の素数さん
21/12/07 22:21:03.91 vZMpC9Ch.net
>>967
もちろんあるよ
君はないんやろ？
ならなんで自分の感覚が俺より上やと思えるん？
1016:１３２人目の素数さん
21/12/07 22:24:10.24 bZOZ6UZh.net
>>969
ほんとうか?
数学の論文で査読者になって通した論文が間違ってたら
経歴に致命的な傷がつくことわかってる?
あんたが論文書いたのが本当として、査読者より価値のあるろんぶんあるわけ?
それが本当なら実名で書けよ。笑われるだろうし。
1017:１３２人目の素数さん
21/12/07 22:41:47.28 RNhbLAXv.net
以下はちょっとくらいIUTを齧った数学者ならわかる話だと思うんだが
3.12は割と数学的にわかりやすい問題（要は充満多重同型とΘリンクによる非自明なモノドロミーの問題）に
依存していてショルツはそれを認識しているわけだけど、IUTそのものではなくてIUTに特に必要な部品に
関してはショルツとかケドラヤってコアなユーザーでもあるんだよね。つまり非正則な変形空間の計算に必要な
部品のところ。これが直観的なレベルですら
怪しいと思われてるって普通じゃないんだよ。直観的にわかりそうだと思われてたらもうちょい親身に
フォローしようとするのが数学のやり方だから。相当に意味不明だと思われてるってこと
望月予想とか変な言い方で擁護してる人もいるけれど
1018:１３２人目の素数さん
21/12/07 22:43:37.67 RNhbLAXv.net
※もちろんショルツやケドラヤは通常は正則な枠組みで数学を考えることが多い数学者だけども、
そこはあまり本質的ではない
1019:１３２人目の素数さん
21/12/07 22:50:07.57 wvLZX0OC.net
>>970
うそなんかいうはずないやん
君の方はもちろん全く数学経験ないよな？
数学の論文についての知識がアホアホすぎる
それでなんでそんな自信満々なん？
1020:１３２人目の素数さん
21/12/07 22:54:33.94 wvLZX0OC.net
>>971
なるほど
「証明危ないな、ギャップありそう」レベルではなく「ホンマか？ちょっと信じられるぞ」レベルでおかしいってわけね
1021:１３２人目の素数さん
21/12/07 22:57:31.88 BcOyvJ+5.net
こうして京都の数学は陰口で終わって行くのであった（ ＾ω＾）・・・
1022:１３２人目の素数さん
21/12/07 23:11:43.08 /lEGS5Ql.net
ぶぶ漬けどうぞー
1023:１３２人目の素数さん
21/12/08 01:49:57.85 LoxvvZxj.net
>>973
数学の論文を書いたかことがあり、この論文理解して否定してるなら、実名で書いて論争したらいいじゃん。
なんでやらんの?
査読者らは実名でもちろんやってかつ、査読通してるんだから、あんたみたいな匿名で本当かどうかわからんのとは
比べものにならんくらい信頼できるよ。
そもそも、あんたの言ってることなんの意味もない。
ショルツの主張が止まってるし、論文あってんだろうって言うのは当然なはなし。
1024:１３２人目の素数さん
21/12/08 01:52:46.36 z7eD3C/l.net
>>975
陰口というか、そもそも、論文読んでもいないやつが何言っても無意味。
1025:１３２人目の素数さん
21/12/08 05:39:36.23 Y2ODQvlg.net
>>977
論争の余地なんかないってんの
何万回説明聞いたらわかるの？
アホなんか？
まぁアホやわな
数学の勉強なんか全然したこともないクセに数学ちゃんと勉強した人間がこれだけ何回も何回も何回も説明してるのになーーーんにも聞こうとせん
ホンマそこ抜けの能無し
セタ高木レベル
1026:１３２人目の素数さん
21/12/08 05:56:15.64 NSWPB041.net
望月先生含め最もIUTに詳しい人達が編集委員をやっている雑誌で査読を通ったのだからその正しさは疑いようがない
1027:１３２人目の素数さん
21/12/08 06:13:18.71 .net
>>965
>数学の論文の真偽は内在的に決まる
ナイザイテキって言葉 定義ぬきで使われても意味ないなあ
1028:１３２人目の素数さん
21/12/08 06:14:41.55 .net
＞次スレは立てるなよ
同意
応援発言したいならIUTスレッドに書けばいいし
でも数学的内容がないなら嫌がられるけどね
1029:１３２人目の素数さん
21/12/08 06:16:26.76 .net
>>970
>数学の論文で査読者になって通した論文が間違ってたら
>経歴に致命的な傷がつくことわかってる?
望月新一個人の経歴よりもRIMSに致命的なダメージを与えると思う
最悪潰れるかも
1030:１３２人目の素数さん
21/12/08 06:18:37.59 .net
＞ショルツの主張が止まってる
ショルツの指摘に対する望月のまともな回答がないから仕方ないね
∧と∨とか完全に見当違いだよ
わざとやってるとしたら悪質だし
天然なら残念ながら頭が悪い
1031:１３２人目の素数さん
21/12/08 06:20:16.35 .net
＞望月予想とか変な言い方で擁護してる人もいるけれど
それ擁護じゃないけどね
望月本人が定理だといっている命題を
証明できてない予想といってるわけだから
1032:１３２人目の素数さん
21/12/08 06:21:36.07 .net
＞査読者らは実名でもちろんやってかつ、査読通してるんだから、
査読者って公表されてたっけ？公表されてないなら実名も何もないよね
1033:１３２人目の素数さん
21/12/08 06:24:26.82 .net
>>980
編集委員って査読者じゃないってことはわかってるかい？
編集委員で有名な先生の名前がずらっと並んでても
そういう先生は査読してないんだから意味ないな
査読者は公表されてないよ
もっとも残念な見方では、望月新一氏自身がセルフ査読して通した
とか言われてるよな それじゃ完全なザル査読
1034:１３２人目の素数さん
21/12/08 06:25:26.30 .net
>>987
まあそれは極端な見方だけど
そのくらい査読に対する不信感がある
ってことは承知しといたほうがいいんじゃないかな？
1035:１３２人目の素数さん
21/12/08 06:26:43.50 .net
このスレッドを埋めても
また残念な人が脊髄反射で
スレッド立てちゃうんだろうけど
1036: その前にちょっとでも考えてほしいな 中身も理解できない人がIUT応援することに 意味があるのかってことをさ 意味ないよな？
1037:１３２人目の素数さん
21/12/08 06:28:09.01 .net
意味ないことに意味を感じるって
精神的におかしな状況だと思うんだ
まあいくらいっても伝わらないかもしれないけどね
精神的におかしな状況にいる人には
1038:１３２人目の素数さん
21/12/08 06:28:27.01 .net
９
1039:１３２人目の素数さん
21/12/08 06:28:39.55 .net
８
1040:１３２人目の素数さん
21/12/08 06:28:52.43 .net
７
1041:１３２人目の素数さん
21/12/08 06:29:04.85 .net
６
1042:１３２人目の素数さん
21/12/08 06:29:19.98 .net
５
1043:１３２人目の素数さん
21/12/08 06:29:31.38 .net
４
1044:１３２人目の素数さん
21/12/08 06:29:42.18 .net
３
1045:１３２人目の素数さん
21/12/08 06:29:54.29 .net
２
1046:１３２人目の素数さん
21/12/08 06:30:05.04 .net
１
1047:１３２人目の素数さん
21/12/08 06:30:17.51 .net
０！
1048:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 32日 7時間 0分 59秒
1049:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています