X
トップページ⇒数学
1002コメント441KB
Inter-universal geometry と ABC予想 52
レス数が1000を超えています。これ以上書き込みはできません。
0568１３２人目の素数さん
垢版 |
2020/05/09(土) 16:37:29.00ID:j9hCxaDC
>>566
で「ＺＦＣの公理は九つではない」というのは
「は？欅坂？笑わせるな　BABYMETAL最高！」
とかいう難癖とは異なる
0570１３２人目の素数さん
垢版 |
2020/05/09(土) 16:39:49.39ID:h7oR9vR0
>>568
おなじだな
本筋と関係ないことが論文に書いてあるんだから

公理の数は本筋と関係ないと主張すればするほど、
じゃあそこをカットしろよという反論になって返ってくるよ
0571１３２人目の素数さん
垢版 |
2020/05/09(土) 16:39:54.30ID:hwkE6XtS
>>559
「ZFCは9個の公理から成る」これは間違った主張ではないよ
「ZFCは9つの一階述語論理の閉論理式から成る」と言ったら間違いだけど
0572１３２人目の素数さん
垢版 |
2020/05/09(土) 16:42:39.73ID:hY/5YyVW
本筋と関係ないことが不正確に書いてある
↓
いまじぶんが理解できないこともそれなんじゃないかという疑念が出る
↓
フォローする気をなくす
0573１３２人目の素数さん
垢版 |
2020/05/09(土) 16:43:13.45ID:j9hCxaDC
>>571
＞「ZFCは9個の公理から成る」これは間違った主張ではないよ

正しくもない

強いて言えば「間違ってすらいない」

欅坂でいうと「平手友理奈はカリスマ！」みたいなヲタ発言か
0574１３２人目の素数さん
垢版 |
2020/05/09(土) 16:46:10.74ID:j9hCxaDC
あ、字間違ってましたｗ

誤　「平手友理奈はカリスマ！」
正　「平手友梨奈はカリスマ！」

ここでいってはいけない一言

「わかると思うが」
0575１３２人目の素数さん
垢版 |
2020/05/09(土) 16:46:50.75ID:WQU2S1JU
>>503
渕野さん厳しいなｗ
「バナッハタルスキーの定理は証明されたと考えられている」と書いているから、
木村俊一は定理の証明をちゃんと理解していないらしいとこきおろしているが、
「ショルツから反論がなかったので、IUTは正しいと判断した」と発言した玉川さんは、
もちろんIUT論文を理解していないわけだｗ
0576１３２人目の素数さん
垢版 |
2020/05/09(土) 16:48:44.19ID:/gPwFwIn
>>575
あれほんとに意味不明だった。
ショルツから反論があるかどうかって査読となにも関係ないのにな。
0577１３２人目の素数さん
垢版 |
2020/05/09(土) 16:51:22.19ID:xsXiYi/a
>>573
一階述語論理でZFCを厳密化する前からZFCはある訳で、厳密化される以前や高階述語論理まで加味すれば「9個の公理」と言うほうがむしろ自然に思うけどね
0578１３２人目の素数さん
垢版 |
2020/05/09(土) 16:55:20.37ID:j9hCxaDC
>>575
＞渕野さん厳しいな
あ、でも、木村俊一の本はいろいろヒドイ
これマジで怒ってるよ

玉川氏の回答は明らかに官僚の答弁
ほんと誰が査読したんだろうな？
0579１３２人目の素数さん
垢版 |
2020/05/09(土) 16:57:13.58ID:/BYRDNlz
>>324

　＞テレンス・タオの言うように燻製ニシンの虚偽なのか分からんが（中略）
　＞案の定ZFCGがZFCの保存的拡大だのZFCの9個の公理だの間違えまくってる

タオの指摘内容を知らせない(>>533)だけでなくて、調べたら「最終版が指摘に対応済」ではないか。
上記のような惑わしはヤメロ！　皆の時間の無駄だ。
「最終版を読んでも、タオの投稿版の指摘が訂正済だったら、何か問題か特定できない」のが当然でないか！！！！

　・投稿時IUT‐Ⅳ：http://www.kurims.kyoto-u.ac.jp/preprint/file/RIMS1759.pdf
　・最終版IUT-Ⅳ：http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf

投稿版と最終版の差分は、以下の１~３である。

１．下記の「断り書き」を追加　　←あまり重要ではない。
・【最終版頁67行2】" albeit from an extremely naive/non-expert point of view, relative to the theory of foundations! "
・【最終版頁67行6】"[i.e., mathematicians who are not equipped with a detailed knowledge of the theory of foundations!]"
・【最終版頁68行7】”in the context of the present series of papers"
0580１３２人目の素数さん
垢版 |
2020/05/09(土) 16:57:50.01ID:/BYRDNlz
２．おそらくタオ指摘で削除した部分　【最終版頁68行10】　　←　重要
・Although we shall not discuss in detail here the quite difficult issue of whether or not there actually exist ZFCG-models,
we remark in passing that one may justify the stance of ignoring such issues — at least from the point of view of establishing
the validity of various“final results”that may be formulated in ZFC-models -の後、

・投稿版：by invoking a result of Feferman [cf. [Ffmn],§2.3] 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”.
・最終版：by invoking the work of Feferman [cf. [Ffmn]].
Precise statements concerning such issues, however,
lie beyond the scope of the present paper [as well as of the level of expertise of the author!].

3．「言いたかったこと」を言い直した追記　【最終版頁68行15】　　
, with the following proviso: In the following discussion, it should be understood that every set-theoretic formula that appears is “absolute” in the sense
that its validity for a collection of sets contained in some universe V relative to the model of set theory determined by V isequivalent, for any universe W such that V ∈ W ,
to its validity for the same collection of sets relative to the model of set theory determined by W [cf., e.g., [Drk], Chapter 3, Definition 4.

ひどいガセネタだよ。これは。　（怒）
0581１３２人目の素数さん
垢版 |
2020/05/09(土) 16:58:40.76ID:j9hCxaDC
素人の「自然」は、見当違いだから無意味

残念な「自然」の例
・平面上で交わらない二直線の距離は一定、と考えるのが自然
・時刻は誰にとっても同じ、と考えるのが自然

こんな言葉で非ユークリッド幾何や相対性理論が否定できるなら苦労しない
0582１３２人目の素数さん
垢版 |
2020/05/09(土) 16:59:21.31ID:/gPwFwIn
>>579
＞albeit from an extremely naive/non-expert point of view, relative to the theory of foundations!

もうこの時点で論文のスタイルをなしてない。
これでは日記帳だ。
0583１３２人目の素数さん
垢版 |
2020/05/09(土) 17:03:01.97ID:xDJzJeu4
じゃあはっきり言うが、公理が9個って話とひとつの公理をひとつの閉論理式で書けるかって話を勝手に混ぜこぜにしてるのがおかしいんだよ
「公理=一階述語論理の閉論理式」という思い込みをしてるんだろうね
0584１３２人目の素数さん
垢版 |
2020/05/09(土) 17:05:57.74ID:jgM/AhDP
>>502でも>>527でも書いたけど、これは「公理が9個」という書き方それ自体が
正しいか間違いかの問題ではなくて、

・「公理が9個」という書き方をする著者を、読者が怪訝な顔をせずに信用できるかどうかの問題

だということ。そして、怪訝な顔をして不信感をあらわにしている読者が少なからずいるということ。
そういう読者に対して「難癖だ」という反論はナンセンス。なぜなら、「難癖だ」という反論によって
読者の不信感が払しょくできるわけではないからだ。依然として、読者の不信感はぬぐえない。

たとえば、複素関数論の文脈で、複素変数を表すのに z や w ではなく x を使っている
危なっかしい著者がいたとすると、ほとんどの読者は不信感を抱き、著者は信用を失う。

「それは難癖だ。複素変数に x という文字を使っても論理的には間違ってない」

という反論をしてみたところで、著者の信用が取り戻せるわけではない。
確かに x という文字でも論理的には間違ってないが、論点はそこではなく、
「複素変数に x を使うという書き方そのものに読者は不信感を抱いている」という生理的な側面が
問題なのである。これに対して「難癖だ。論理的には間違ってない」という反論の仕方では的外れで、
読者の信用は取り戻せない。そして、信用を取り戻せる唯一の方法は、x ではなく z に書き換えること。
IUTの場合は、「公理が9個」という書き方をやめること。
あるいは、そもそも4章終盤は書かなくていいのではないかということ。
0586１３２人目の素数さん
垢版 |
2020/05/09(土) 17:12:21.74ID:bijIFi3Y
>>580
どうも2020/04/22に更新したみたいだな
流石にチェックしてなかったわ、すまん

きちんと「非専門家の意見として」と注意を入れて、難癖扱いするのではなく訂正するのは、「数学的真偽」についてきちんと真摯に向き合ってる優秀な数学者だと思った
まあ「だったら論文に書かなくていいのでは」と思わざるを得ないが、査読時にカットしてる可能性も出てきたなこれは
0587１３２人目の素数さん
垢版 |
2020/05/09(土) 17:13:30.38ID:U8sKgosT
論文に「これは非専門家の意見であるが」なんて書いてあったらその時点でリジェクトだと思うが
0588１３２人目の素数さん
垢版 |
2020/05/09(土) 17:14:37.57ID:JNaCPHC5
>>584
公理の件はむしろ突っ込んでる人の半可通ぶりから来てる混乱としか思えんのだが
「公理が9個」これは実際～axiomと名の付いた公理9個からZFCが作られてるから問題ない
公理の数の話と、表現する論理式の数の話を混同してしまってる人がおかしい

あと少なからずの読者が云々とあるが、匿名じゃない意見で「公理が9個」を批判してる人はいるのか？
0589１３２人目の素数さん
垢版 |
2020/05/09(土) 17:15:49.62ID:bijIFi3Y
>>587
その通り
ただ査読論文はカットしていて、あくまで好意でネットに上げてるペーパーには「欅坂46めっちゃ可愛い」と書いてあるだけであれば、非難することではないかなと思う

査読論文の公開が待たれるな
0590１３２人目の素数さん
垢版 |
2020/05/09(土) 17:17:05.50ID:U8sKgosT
>>589
査読論文とアップロードされてるものが違うなら世界中の数学者はキレていいよ
すくなくともショルツは怒鳴り込んでいいレベルだと思う
0591１３２人目の素数さん
垢版 |
2020/05/09(土) 17:17:42.20ID:j9hCxaDC
>>588
論理に関して不可通な人が云ってもねぇ・・・

別に同値な別の公理に置き換えてもいいんで
そもそも個数に意味ないんだよね

だから書く必要ないっていってるんだけどね
どうしても書きたい理由って何？　

もうマウンティング失敗してるけど
0593１３２人目の素数さん
垢版 |
2020/05/09(土) 17:18:20.80ID:nrsDAk2r
だから査読に出した版をfixed版にしてarXivにあげとけって話だったのに、
なんで大学院生でも守れることを守らないんだろうか
0595１３２人目の素数さん
垢版 |
2020/05/09(土) 17:19:43.26ID:bijIFi3Y
>>590
間違いは誰にでもあるもので、非専門家で分からないことがあるということにさえ気づいてないということも多々ある
最終的に修正すればそこはいいと思うがな
0596１３２人目の素数さん
垢版 |
2020/05/09(土) 17:21:04.36ID:nrsDAk2r
>>595
査読版とネット版がちがうというのはまちがい云々のレベルじゃなくて詐欺だよ
ネット版をみて議論してるのに査読版は違うんだとか言われたらみんな怒るわ
0597１３２人目の素数さん
垢版 |
2020/05/09(土) 17:21:32.39ID:j9hCxaDC
あくまで脱線

>>589
＞「欅坂46めっちゃ可愛い」

可愛いと思ったコは菅井以外みんなやめちった

ずーみん、ねる、すずもん・・・なんでだ

＃てちはただのガキ
0598１３２人目の素数さん
垢版 |
2020/05/09(土) 17:21:53.51ID:LAn/L3vw
>>591
こうなってくると難癖としか思えないんだよね
あなたが論文の書き方に不満なのは分かったけど、私は別に変と思わない
0599１３２人目の素数さん
垢版 |
2020/05/09(土) 17:23:12.24ID:tUatUVy2
難癖つけるのは勝手だし好きにすればいいけど、それ難癖だよと言われてムキーて怒っちゃうのわな
0601１３２人目の素数さん
垢版 |
2020/05/09(土) 17:24:06.45ID:j9hCxaDC
>>598
＞私は別に変と思わない

そりゃ・・・君が集合論、いや論理に無知だからさ

無知こそ正義とかいわれてもねぇ・・・
0605１３２人目の素数さん
垢版 |
2020/05/09(土) 17:50:58.82ID:pH2Ybl00
ペレルマンのときは少々間違っていても文句でなかったのに、徳のなさを感じるわ。
まあ、これまでの経緯を見ると仕方ないけどね
0606１３２人目の素数さん
垢版 |
2020/05/09(土) 17:57:38.91ID:/BYRDNlz
>>588

ZFCの話は、2012年のタオの指摘に乗っかって、
>>324が
　＞案の定ZFCGがZFCの保存的拡大だのZFCの9個の公理だの間違えまくってる
と書いてガゼで主張しただけだよ。

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”

　＞ZFCの9個の公理
のIUT-4の記載部分は、投稿版も最終版も、以下記載だったが、修正されてないので此処は問題でないよ。
　”[i.e., the nine axioms of Zermelo-Fraenkel, together with the axiom of choice - cf., e.g., [Drk], Chapter 1, §3].”

だいたい [Drk], Chapter 1, §3].の出典元の引用で、些末なことで、タオが此処を問題しないと思うよ。
だから確認したら、此処とは違うところの指摘だよ。

＞ZFCの9個の公理だの間違えまくってる、は、>>324の意見に過ぎないよ。

それにタオの指摘で直ってなければ、>>324氏ではなくて、
Woitブログ等が「タオ指摘の誤りが直されてない、査読おかしい」と騒いでいるよ　ｗ
0607１３２人目の素数さん
垢版 |
2020/05/09(土) 18:00:36.42ID:j9hCxaDC
>>605
ペレルマンは余計なこと書かなかったし
リッチ＝フロー法も、すでにハミルトンが考えたものだったからな

望月の場合は、事情が全然異なる
自分勝手な方法をいきなり提案したんなら
丁寧に説明するのが当たり前

理解を読者に丸投げするのは自分勝手
そういうところが嫌われる

望月、アメリカでなんかあったのか？
0608１３２人目の素数さん
垢版 |
2020/05/09(土) 18:02:58.60ID:bkFpRS9Z
分かってないやつがいると思うが平手は史上稀に見るクズだからな

数え切れないサボり
ドタキャン
仕事の拒否
リハーサルをすっぽかしてディズニーで遊び。それを武勇伝として嬉嬉として語る
MV撮影を拒否して勝手に帰宅
武道館ライブをキャンセルに追い込む
新曲リリースを拒否
ついにソニーミュージックに多大な損害を与えたことでクビ
0609１３２人目の素数さん
垢版 |
2020/05/09(土) 18:53:56.06ID:j9hCxaDC
ま、みんな知らないと思うけど、SU-METALはポンコツ

・靴を左右逆に履いて、人に指摘されるまで気づかない
・ダンスはキレッキレなのに、自転車には乗れない
・CDのDって何？と聞かれてデロリアンと答えた

ちなみに、乃木坂４６にいた姉は頭もいいし運動神経もある
https://www.youtube.com/watch?v=AJ1yubnd3uI
https://www.youtube.com/watch?v=gyJ8IzuUOzE
0610１３２人目の素数さん
垢版 |
2020/05/09(土) 19:44:50.47ID:cPsklcPa
Label+Cuspなはずなので調べてみた。

＞ラベカスプ に一致する情報は見つかりませんでした。
0611１３２人目の素数さん
垢版 |
2020/05/09(土) 23:14:14.52ID:N2l7VLsN
文藝春秋読んだけど、
九割以上これまで知ってるネタの
使い回しだった

Bさんはいい加減新しいネタ仕入れて欲しい
0612１３２人目の素数さん
垢版 |
2020/05/10(日) 00:28:24.99ID:H/PeN8WT
2020/4/30
2020年度訪問滞在型研究計画
「宇宙際タイヒミューラー理論の拡がり」（代表者：望月 新一）は感染症予防のため中止となりました。
0614１３２人目の素数さん
垢版 |
2020/05/10(日) 00:54:36.64ID:H/PeN8WT
>>606
> 投稿版も最終版も
PIIMSの投稿規定と編集規定を公開
しろよな。
0615１３２人目の素数さん
垢版 |
2020/05/10(日) 00:56:22.44ID:H/PeN8WT
>>614
文字化け
PIIMS→PRIMS
0616１３２人目の素数さん
垢版 |
2020/05/10(日) 01:08:10.70ID:lr1QvSh+
簡単だよ横取りされるからだよ
ワザとわかりにくくして説明もしない
0617１３２人目の素数さん
垢版 |
2020/05/10(日) 01:47:24.24ID:wJ/tXnk8
ハーフで頭脳明晰すぎると、アメリカでも日本でも中高ではいじめられそう
0618１３２人目の素数さん
垢版 |
2020/05/10(日) 01:53:46.95ID:iTOLzEvs
IUTはCOVID19の感染より
Tウイルスの感染症状だ
強い感染力　変異化
パラダイムが全く違う言語
治療法なし
0619１３２人目の素数さん
垢版 |
2020/05/10(日) 02:35:19.74ID:nGu7yYOx
>>609
まるで分かってないな
SU-METALはポンコツではない
真逆であり、彼女の突出した有能さと天才性がBABYMETALを成功に導いたんだよ
実際 SU-METALとしてポンコツな場面なんて皆無だよ
さくら学院での中元すず香としてのエピソードによる印象操作が一つの原因になってる
さくら学院を作ったのは武藤彩未を売り出すのが目的の一つで、その為に彩未上げ中元下げの「演出」がなされた
それが千葉プロデューサーの意図だった
それと中元すず香自身がさすがにテンパってしまう厳しい環境に置かれたことが2つ目の要因だ

1.広島の地元の中学の勉強や各種行事
2.中学の部活動（バスケット）
3.広島でのアクターズスクールのレッスンや公演
↓
これらをこなした上での毎週の上京
4.さくら学院のレッスンや公演
5.BABYMETALのレッスンや公演

それでなくても成長期で体の成長で不安定なのに、これだけのタスクをこなしていたわけだよ
普通の中学生は1と2だけでも根を上げてるのがいるのに、さらに3、4、5を同時にこなした
いくら中元でもさすがにテンパるよ
エピソードの多くはこうした過負荷な環境の元で生み出されたことを理解しないといけないよ
さすがに中3からは東京に引っ越して過負荷とはお別れした後は生徒会長として見事なリーダーシップを発揮した
あなたは見識に欠けた方だね
残念なメイトさんだ
0622１３２人目の素数さん
垢版 |
2020/05/10(日) 07:14:45.46ID:GlqIB1Mz
もっちーが呼んじゃうんだろ
「がっきーが好き」だの
「欅坂ファン」だのって
カムアしてたからね
0623１３２人目の素数さん
垢版 |
2020/05/10(日) 07:47:15.02ID:vZYbiwt9
>>619
現人神であるSU-METALこと中元すず香について
ここで語り合える仲間がいるなんて嬉しいな

ただ、一言いわせてもらうと
ポンコツは決してディスリスペクトではない
リスペクトなのだよ

中元すず香の原点、それは「私には歌しかない」

二人の優秀な姉に比べて自分には誇るべきものがない
そうおもっていた中元姉妹の三女、すず香にとって
歌は唯一自分の生きがいとなるものだったんだな

ついでにいうと、武藤彩未も学年末テストでボケまくってたぞｗ
アインシュタイン知らなかったとか・・・ま、演技だろうけどｗ

ついでにいうと、今、BABYMETALで一緒にやってる
元モー娘。の鞘師里保もポンコツだ

あんなにダンスがキレッキレなのに
何もないところでスッ転ぶとか
数々のボケをかましまくっているｗ

優秀な才能が与えられる者は、失うものも多い
これが現実　同じメイトとしてぜひ理解してほしいね

ちなみに中元すず香がさくら学院第２代生徒会長として
頑張ったことは承知している
0627１３２人目の素数さん
垢版 |
2020/05/10(日) 09:17:48.20ID:ANF/kJTD
>>586

　＞どうも2020/04/22に更新したみたいだな
　＞流石にチェックしてなかったわ、すまん

4月３日に会見した後で、2012年のタオの指摘を修正した、と言いたいのかな？

下記の修正リストで、4/22は他でのmisprint修正。
ついで見だけど、2019年以降のIUT-Ⅳ修正の数件も違う箇所で、１年以上の前だよ。
あと、出版するなら、出版前の校正による語句訂正は通常と思うが。
http://www.kurims.kyoto-u.ac.jp/~motizuki/news-japanese.html

それに、タオの2012年の下記の指摘の修正は、
＞there appears to be an inaccuracy in a remark in Section 3, page 43 of that paper regarding the conservative nature of the extension of ZFC by the addition of the Grothendieck universe axiom"
以下文節を１つの削除と追記で、数行にすぎないから、2012年指摘から修正に8年もかけたりする？
＞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”

上記で「タオの指摘の修正」は確認はしたけど、>>324氏がタオの指摘に乗った違う箇所での「公理が９個」のギャップで、
「査読がおかしい」と主張された箇所は、IUT-Ⅳの最終版で特に修正されてないのは、ご説の通りで確認しましたよ。
（[Drk], Chapter 1, §3].の出典元の引用で、投稿版と最終版も同じまま）

この引用した出典元でのギャップ指摘は、>>533氏の通り、と考えます。
　＞少なからずの読者が云々とあるが、匿名じゃない意見で「公理が9個」を批判してる人はいるのか？
0628１３２人目の素数さん
垢版 |
2020/05/10(日) 09:43:28.36ID:GlqIB1Mz
>>626
IUT論文を
「もっちー以上の能力
∨彼以上に時間を掛けて
∧彼以上に数学者人生を掛け
真摯に向き合ってる」

アンチなんて1人も居ないんだろ
0629１３２人目の素数さん
垢版 |
2020/05/10(日) 09:44:52.68ID:tIyT6EG+
しかしそういう落ち度は別に本筋には関係ないでしょ。それこそ理論が正しそうに見えたら
集合の認識自体が後追いで変わるだろうし、現にそれを狙ったわけだよね

（lab）cuspってのは別の意味でも非常に示唆的な考え方。そもそも何故数論でカスプが重要なのか
直接関係ないけど、ラングランズ対応と遠アーベル幾何の関係を考える上で参考になる
0631１３２人目の素数さん
垢版 |
2020/05/10(日) 09:58:00.25ID:GlqIB1Mz
憶測 ∧ ミンナガー！
ショルツェガー！！
コミュニティガー！！！

薄ｯ! w
0632粋蕎 ◆C2UdlLHDRI
垢版 |
2020/05/10(日) 10:34:54.87ID:9DDwSwNg
数学板を荒らすなと言っていた60歳近い人間が数学板を荒らしとる…
0634１３２人目の素数さん
垢版 |
2020/05/10(日) 11:00:18.08ID:JcyWczgJ
公理9個うるさいよな。集めたら神龍出るのかよ。
0635１３２人目の素数さん
垢版 |
2020/05/10(日) 11:01:13.03ID:k326TTE9
>>629
本筋に関係のないことなら書かなくていいのでは？
本筋に関係のないことなら認識が後追いで変わることもないのでは？
0636１３２人目の素数さん
垢版 |
2020/05/10(日) 11:12:25.18ID:k326TTE9
(前略)
ZFCは無限個の公理からできている。仮に有限個の公理型に分類しても定式化の仕方によるので9個とは言い切れない。

これらは細部や用語上の問題ではなく、一階述語論理などの基本的な性質に関連するため、Inter-universal Teichmuller Theory IV の Section3 は集合論や数理論理学における文脈では意味をなさない主張になっており、
著者が数理論理学について理解をしていない可能性があるという意見がある。
（ただし論文の構成上、宇宙際タイヒミュラー理論の正当性とは関係ないとみられている。）

https://ja.yourpedia.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


2014年には既に指摘されているようだな
現時点でまだ修正していないのであれば、匿名じゃない人が指摘していないから気づいていない、という推測が出来る
まあ正当性と関係ないなら幾度となく言われてるがカット不可避なのだが
0637１３２人目の素数さん
垢版 |
2020/05/10(日) 11:19:29.36ID:Ug02vDRY
匿名の人の意見が正しいとも限らんがな
0638１３２人目の素数さん
垢版 |
2020/05/10(日) 11:40:41.38ID:R8uGa3EF
質問
テレンスタオとガウスはどっちが頭良いの？
ガウスが多方面で業績出せたのは時代のおかげであってトップレベルの実力は今でも変わってない？
0639粋蕎 ◆C2UdlLHDRI
垢版 |
2020/05/10(日) 11:44:48.60ID:9DDwSwNg
時代評価は時代評価じゃろ
時代が違う者同士で絶対評価しても仕方なかろう
0640１３２人目の素数さん
垢版 |
2020/05/10(日) 11:51:53.71ID:GlqIB1Mz
>>632
(IUTについて専門的な議論が出来ないなら嵐と変わりない)
との境地に達されて悟りでも開かれたのでしょうか…

彼は御仏の境地に至りつつあられるのかも知れませんね…

俗人の案ずるに及ばない処に至っておいでなのかも知れません…

静かに見守って差し上げましょう…
0641１３２人目の素数さん
垢版 |
2020/05/10(日) 14:45:54.43ID:x8XY47ji
>>638
純粋に数学的能力を比較するならタオはガウスには及ばない。
おそらくタオでもガウスの半分程度の才能。
それ程にガウスは凄い。
ちなみに現存する数学者でガウス、ニュートン、オイラーに数学的才能で並ぶものはいない。
0642１３２人目の素数さん
垢版 |
2020/05/10(日) 14:47:17.07ID:x8XY47ji
>>638
ちなみにタオは典型的なプロブレムソルバー。
もちろん飛びっきり超優秀な。
0643１３２人目の素数さん
垢版 |
2020/05/10(日) 15:09:02.45ID:og/WaHnn
今一番ガウスっぽいのってコンツェビッチあたりだと勝手に思ってるわ
0646１３２人目の素数さん
垢版 |
2020/05/10(日) 16:15:40.55ID:MYhsrRms
同じ天才でも桁が違うか
タオは10年に1人
ガウスは100年に1人
0647１３２人目の素数さん
垢版 |
2020/05/10(日) 17:03:08.40ID:tIyT6EG+
>>641
創造性の問題でしょ。理解能力は別にそこまで違わないんじゃないの
タオよりコンツェビッチやコンヌのほうが創造性は高いと思う
0649１３２人目の素数さん
垢版 |
2020/05/10(日) 18:31:05.03ID:tIyT6EG+
フィールズ賞は問題解決が得意な人が基本的に貰うもので、その中に創造と両方できる人がいるって
ことだろうけど、テイラーや張みたいな人がいるので「40歳までに運良く大問題を解けた人」と言ったほうが
段々よくなってきてるね。数学は複雑になってるから。Laumonも貰ってなかったか？弟子のBaoは貰った

>>635
数学的実在についての考え方を書いたわけであって、別に書くのは自由なのではないか？
本筋ってあくまで数論とabc予想の具体的証明の話よ。だから具体的証明を示したつもりの上で、
こういう考え方はどうかって提案してるわけでしょう
0652１３２人目の素数さん
垢版 |
2020/05/10(日) 19:42:57.72ID:4M7s5hfJ
>>651
それを判断するのは査読者であって君ではない
0654１３２人目の素数さん
垢版 |
2020/05/10(日) 19:46:36.71ID:4M7s5hfJ
>>653
他のこと話せばいいじゃん
もしそれしか話したくないなら、確かに君には書くことないかもね
0655１３２人目の素数さん
垢版 |
2020/05/10(日) 19:48:24.52ID:UV4h2Mc7
>>653
べつにふつうにあるのでは？
査読者がおかしいという外部の批判は成り立つからね。
査読者がおかしいかどうかを決めるのは査読者自身ではないから。
0656１３２人目の素数さん
垢版 |
2020/05/10(日) 19:49:23.74ID:e5fv2i7f
査読権限があるのは査読者だが、査読者はそれを口実に査読に対する批判を封じ込める権限は持たない
0657１３２人目の素数さん
垢版 |
2020/05/10(日) 19:52:27.17ID:4M7s5hfJ
その批判が成り立つのは十分内容を理解してる場合のみだな
0658１３２人目の素数さん
垢版 |
2020/05/10(日) 19:55:03.71ID:F6N/XZbc
そしたら望月の身内しか書けないな
IUTの内容を理解してるの身内以外いないし
0659１３２人目の素数さん
垢版 |
2020/05/10(日) 19:56:59.66ID:F6N/XZbc
理解しているのは身内しかいない
→身内しか批判が成り立たない
→身内が結託して証明できたことにする

まさに補題3.12である
0660１３２人目の素数さん
垢版 |
2020/05/10(日) 19:57:19.88ID:tIyT6EG+
>>651
基礎論に関する記述ミスはチェックされたほうがいいというのは理解できるが、
もし証明が正しいなら別にあっても構わないし有用なセクションだったはずだろう
実際に査読も通ってしまっている。従ってあのセクションを外野がわざわざ否定する必要がない
つまり、それは証明が怪しいと思う視点だからこそ出てくる批判
0661１３２人目の素数さん
垢版 |
2020/05/10(日) 20:02:24.78ID:JO5jxqcd
証明があやしいから批判されてるんだからどうしようもなくね？
むしろなんでこれで正しそうって流れになるのかわからん
0662１３２人目の素数さん
垢版 |
2020/05/10(日) 20:05:06.07ID:JO5jxqcd
ちなみにこれを覆すにはだれか外部にむけてわかりやすく説明するしかないよ
0663１３２人目の素数さん
垢版 |
2020/05/10(日) 20:08:37.69ID:4M7s5hfJ
ある程度理解して言ってるならいいんだけど、5chの発信者すらよく分からんレスの受け売り言ってるだけでしょ
そんなん判断するに足る能力がないじゃん
0664１３２人目の素数さん
垢版 |
2020/05/10(日) 20:18:07.05ID:ADuv42ka
そんなこと言い出したらSTAP細胞がなぜないのか、
を説明できるやつだって当時いなかったじゃん
でもあれは手続き的なことと周囲の反応がおかしいからそれでわかる
0665１３２人目の素数さん
垢版 |
2020/05/10(日) 20:19:36.32ID:uF0p6rGG
そもそもたかが５ちゃんだと思うならほっときゃいいと思うんだが
マスコミのほうが冷淡だからゴシップとして５ちゃんで擁護しないといけないとかならともかく、
５ちゃんで言われてる批判はnatureや朝日新聞とかに載ってるのと変わらんのだし
0666１３２人目の素数さん
垢版 |
2020/05/10(日) 20:21:35.95ID:CWzkYol1
偉い人が間違いだの正しいだのと言っているから間違いだの正しいだのと判断するのもおかしな話やね
証明をフォローできない我々は静観することしかできないのである
0667１３２人目の素数さん
垢版 |
2020/05/10(日) 20:23:16.45ID:uF0p6rGG
>>666
なにがおかしいんだ？
社会的評価ってそんなもんでしょ？
これがフェルマーの最終定理の簡単な証明スレにいるようなやつで、
在野で意味不明なこと言ってるんだから「ああそう」でいいが、
国立の研究機関なんだから手続き的なことは社会的評価に晒されるよ。
研究機関は民主主義の聖域ではない。
0668１３２人目の素数さん
垢版 |
2020/05/10(日) 20:26:58.53ID:4M7s5hfJ
>>665
マスコミとかは別に論ふのこの内容を省くべきとかそんなことまで言ってないんじゃね
違うって意見がありますと言っててそれなら俺もそうかなと思うけど
0669１３２人目の素数さん
垢版 |
2020/05/10(日) 20:29:59.06ID:XrpHBNKk
まあもう擁護のしかたとして外野は黙ってろしかできないからね
まえまでならマスコミも好意的だったが今回は手のひら返しされてるので、
もう擁護ために使えるソースがないし

逆にいえば懐疑派はIUTを状況証拠的に追い詰め終わってるので、
あとはRIMSが出版するという暴挙に出ないか監視するだけだわな
0670１３２人目の素数さん
垢版 |
2020/05/10(日) 20:32:34.80ID:XrpHBNKk
８年間ずーっと批判し続けたかいはあったと思う
８年間掲載は見送られ続けたし、今回もEMSがやめたほうがいいと言ってくれている
0671１３２人目の素数さん
垢版 |
2020/05/10(日) 20:35:04.74ID:4M7s5hfJ
>>670
それ何度か聞いたことあるけど、ソース知ってたら教えてほしい
0672１３２人目の素数さん
垢版 |
2020/05/10(日) 21:10:44.99ID:JcyWczgJ
8年批判とかwww
0673１３２人目の素数さん
垢版 |
2020/05/10(日) 21:27:36.00ID:tIyT6EG+
>>661
いや660は形式的な話をしてんの
勿論証明が間違ってる疑いがあったら最終セクションも不要なんじゃって話になるが、その場合も本題ではない
0674１３２人目の素数さん
垢版 |
2020/05/10(日) 21:55:57.34ID:x8XY47ji
>>646
タオは20～30年に一人はでるくらいの才能。
ガウスは200年に一人でるかでないかの才能。
次元が違うよ。

>>647
あと佐藤幹夫な。
グロモフが日本の数学者の印象を聞かれたときに真っ先に佐藤幹夫の名前を
上げたそうだよ。
イマジネーションに富んだ数学と評してる。
かなり前に佐藤のインタビュー記事が新聞に載ったが、その時の記事の内容な。
0675１３２人目の素数さん
垢版 |
2020/05/10(日) 21:57:24.15ID:x8XY47ji
>>669
もう出版は止められないだろうね。
これで日本の数学界は世界に恥をさらすことになる。
0676１３２人目の素数さん
垢版 |
2020/05/10(日) 21:58:16.84ID:x8XY47ji
>>644
ガウスが二十歳かそこらでやったことを考えてみ？
0677１３２人目の素数さん
垢版 |
2020/05/10(日) 22:05:24.46ID:V+cBk/Dw
>>675
その前にスキャンダルになって掲載中止になるんじゃないかなあ
0678１３２人目の素数さん
垢版 |
2020/05/10(日) 22:15:48.82ID:MmrWQC5e
まあ出版されても2015年にラガリアスが言ってるように、
どの雑誌に載るかは影響を与えると思うけどね。
PRIMSに掲載された場合は無視されるんじゃない。
0679１３２人目の素数さん
垢版 |
2020/05/10(日) 22:17:13.20ID:mJQc0682
主語がでかすぎるだろ
仮に出版されたとしてもRIMSの信用度が失墜するだけ
0680１３２人目の素数さん
垢版 |
2020/05/10(日) 22:20:37.44ID:x8XY47ji
>>677
今からでもRIMSは論文掲載を撤回すべき。
0681１３２人目の素数さん
垢版 |
2020/05/10(日) 22:21:27.93ID:x8XY47ji
>>679
その通り。
信用はガタ落ちで世界から相手にされなくなる。
0682１３２人目の素数さん
垢版 |
2020/05/10(日) 22:38:47.03ID:vW4pn5EU
>>676
平方剰余の相互法則←予想したのはオイラー
素因数分解の一意性←フォーク(伝承)としては存在していたらしい
素数定理←予想したのはルジャンドル
楕円関数←発見したのはアーベル
モジュラー形式←ガウスによる新発見

こんな感じ？
いや勿論予想を解くのも既存の理論を発展させるのも一つ一つ大変で、多くこなすのも天才だが、
テレンス・タオを超えるか？と言われると微妙な気がする
0683粋蕎 ◆C2UdlLHDRI
垢版 |
2020/05/10(日) 22:49:25.44ID:9DDwSwNg
あれ？佐藤の不等式ってなんだったっけ？
0684１３２人目の素数さん
垢版 |
2020/05/10(日) 22:53:00.51ID:4M7s5hfJ
>>682
代数学の基本定理とか正規分布の発見とかもガウスだな
結果があまりに偉大で普遍的なものだから、逆にガウスの名前ついてないのが凄い
0686１３２人目の素数さん
垢版 |
2020/05/10(日) 23:00:42.59ID:vW4pn5EU
>>684
代数学の基本定理は発見自体はジラールだな
ただ証明に不備があったのを指摘して書き直したのがガウス

そして正規分布を導入したのはド・モアブルだ
0687１３２人目の素数さん
垢版 |
2020/05/10(日) 23:14:18.56ID:4M7s5hfJ
>>686
別名ガウス分布というくらいだからガウスが発見したんかなと思ってたけど違うかった、ごめん
誤差に関する微分方程式たててそこから正規分布を導いたのか
0688１３２人目の素数さん
垢版 |
2020/05/10(日) 23:17:44.96ID:vW4pn5EU
>>687
名前が名前だから仕方ない
ガウスもテレンス・タオも偉大な天才であることには違いない
0689１３２人目の素数さん
垢版 |
2020/05/10(日) 23:38:13.22ID:TwU+Q9wE
ガウスはあの時代だから輝けた部分もあるだろう。
今の時代でタオほどの業績のこせるかわからない。
タオだって、ガウスの時代に生まれたとしてあれだけの業績を残せるかはわからない。
個人的には理論構築や洞察力はガウスだけど
幅広い知識や計算力を利用した問題解決能力ならタオっていうイメージ。
0691１３２人目の素数さん
垢版 |
2020/05/11(月) 02:00:21.35ID:OnBjjUaH
>>685

大学飛び級クラスだから、業界的には毎年100人出るぐらいの才能じゃないのか。
フィールズ賞をとって、数学では大型新人扱いだし。
0692１３２人目の素数さん
垢版 |
2020/05/11(月) 02:30:59.98ID:zUll5sXV
>>691
100人はないわ。志村以上だろ
0693１３２人目の素数さん
垢版 |
2020/05/11(月) 02:39:37.94ID:11c513jh
そんなもん
IUTが正しいかどうかで評価は
全然変わるだろ
0694１３２人目の素数さん
垢版 |
2020/05/11(月) 05:35:49.50ID:nCDQT+GL
オボちゃん
0697１３２人目の素数さん
垢版 |
2020/05/11(月) 09:49:00.45ID:mWloblvz
>>696
二十歳までの仕事がどうこう言ってるし面倒くさいから個人的には言わなかったw
それも含めコンツェビッチのほうが近そうってこともあるんじゃない。未来型の数学というか
張以来のprime gapの基礎理論も開発したのは別の研究者だからね
でもGreen-Taoは彼がいなかったらまだ定理になってなかったかもしれない
0699１３２人目の素数さん
垢版 |
2020/05/11(月) 11:28:57.81ID:2V+rywql
IUT理論でABC予想よりは易しいけど非自明な問題を何か解決したらより賛同者が広がるんじゃね？
なんかない？
0700１３２人目の素数さん
垢版 |
2020/05/11(月) 11:55:03.43ID:OGAqzZ0o
abc conjectureもグラフで見ると割と自明っぽい
非自明を装って素人を煙に巻いてる気がしなくもない
見た目自明なら素人はそれで満足しちゃうからね
0701１３２人目の素数さん
垢版 |
2020/05/11(月) 12:04:41.47ID:0AMpyr+O
もともと予想を証明するというのはその証明の過程で有益な道具立てが出てくるからだから、
abc予想だけ証明できる道具立てというのは証明できてても関心が低くなりがちだと思う。
0702１３２人目の素数さん
垢版 |
2020/05/11(月) 13:38:45.01ID:eDIY2+lG
さすがに足し算と掛け算を一緒に扱える、宇宙と宇宙を比較する、そんな理論ができたら不滅の功績だろ
できたらだがな

zfc拡張して、宇宙と宇宙比較する大風呂敷が成立しているか否か、結果出るまでわからない
0703１３２人目の素数さん
垢版 |
2020/05/11(月) 17:19:14.57ID:mgxeQZdk
集合論者基礎論を勉強したこともない人たちが万能感あるいは個人崇拝のバイアスで
変な方向に突っ走っていっちゃったんだよね。
今後は強制法くらいまでは学部の講義でやった方がいいのかもな。
0704１３２人目の素数さん
垢版 |
2020/05/11(月) 17:41:05.69ID:zRqOWOEd
>>703
そもそも大学の数学科で
述語論理の完全性定理とか
自然数論の不完全性定理とか
教えてるのか？
0705１３２人目の素数さん
垢版 |
2020/05/11(月) 18:10:25.99ID:L3+kl27o
教えてはないし必要ってほどでもないけど、
大理論を作るのに道を踏み外さないのに大事ってことは分かった感
0706１３２人目の素数さん
垢版 |
2020/05/11(月) 18:26:03.15ID:MuhvEzZY
>>696
ガウスが発見者みたいだな
微分幾何はあまり分からないがテレンス・タオを超えるほどの定理なの？
0707１３２人目の素数さん
垢版 |
2020/05/11(月) 18:42:25.80ID:0AMpyr+O
ってかタオと比べてるひとなんなの？
ガウスとタオでどっちが上かなんて数学者に質問したら一笑に付されると思うが。
0708１３２人目の素数さん
垢版 |
2020/05/11(月) 18:53:46.26ID:qpT/6TvJ
そんな大袈裟な話ではないよ
遠アーベル幾何をベースにスキーム論を拡張するというのは基礎論とは直接には関係ない
前者からあわよくばって話になって進んじゃっただけで
なんにせよABC予想に宇宙の理論が必要不可欠とは到底思えないけど
多分トポスの幾何学的な範疇で十分でしょ

ただ強いて言えば、凄い事をやってやろうという野心を感じるね、悪い意味で
問題に集中しないと駄目だよ
0709１３２人目の素数さん
垢版 |
2020/05/11(月) 19:00:38.88ID:zRqOWOEd
>>708
>遠アーベル幾何をベースにスキーム論を拡張する
>というのは基礎論とは直接には関係ない
>なんにせよABC予想に宇宙の理論が必要不可欠とは到底思えないけど

そうだよなあ
少なくともPA(ペアノ算術)のレベルで証明できるレベルだと思ってるんだけど
0710１３２人目の素数さん
垢版 |
2020/05/11(月) 19:28:41.68ID:OGAqzZ0o
>>709
ではどうぞ
0711１３２人目の素数さん
垢版 |
2020/05/11(月) 21:03:31.73ID:x/iZDXEA
>>707
月とスッポンだな。数学の業績をガウス１００とすればタオは１くらいだ。
0712１３２人目の素数さん
垢版 |
2020/05/11(月) 21:18:04.61ID:/rlCtgED
PAって結構弱いイメージだけどできるのかな？
自然数の部分集合を一つの対象として扱えないから、実数すら扱えないんじゃね？と思ってるんだけど
0713１３２人目の素数さん
垢版 |
2020/05/11(月) 21:31:22.52ID:v6Gsi4LY
話が基礎論ばかりなのは
数学に挫折したニートおじいさんがここにいすわって朝から晩までわずかな
基礎論の知識でルサンチマンを解消しているから
だから実質はＩＵＴでもなんでもいい状態

じいさんは嫁でも探せ
0715１３２人目の素数さん
垢版 |
2020/05/11(月) 22:03:26.62ID:qpT/6TvJ
まあ平たく言えば、今日のガウス級というのは量子論とディオファントス幾何の統合+人工知能だろうw
0716１３２人目の素数さん
垢版 |
2020/05/11(月) 22:12:46.45ID:34KL2uxx
現代じゃ前提知識も非常に多いし複雑化してるし、ワイルズ＞ガウス≧テレンス・タオくらいだろ
量子論とディオファントス幾何の統合とかガウスどころかワイルズ超えるわ
0719１３２人目の素数さん
垢版 |
2020/05/11(月) 22:23:03.84ID:34KL2uxx
グロタンディーク予想の解決くらい？
テレンス・タオ＞望月くらいかね
0721粋蕎 ◆C2UdlLHDRI
垢版 |
2020/05/11(月) 22:25:35.70ID:4k3m/zJi
やべ合わない酒を呑んだ

うー冗談抜き、うー
0722１３２人目の素数さん
垢版 |
2020/05/11(月) 22:29:25.68ID:qpT/6TvJ
でもそうなるとガウスとグロタンならどうなるんだろうか？もはや比較できない領域になってくる気もする
もうちょいわかりやすいなら、グロタンとリーマンは大体同じくらい偉大だろう
0723１３２人目の素数さん
垢版 |
2020/05/11(月) 23:57:59.29ID:x/iZDXEA
ガウスとタオを比較するなんてことは、ベートーベンとさだまさしを比較するに
等しい。しかし、人間性ではタオとさだまさしの方が勝っている。それだけが
唯一、凡人にとっての慰めだ。
0724１３２人目の素数さん
垢版 |
2020/05/12(火) 00:08:54.75ID:VcTKxGmN
だいたいIUT理論はABC予想の証明も確定していないし、実績の上じゃまだゼロよ
0725１３２人目の素数さん
垢版 |
2020/05/12(火) 00:16:47.10ID:/osh8u+Y
ワイルズの評価高すぎだろ。
ガウスは比較できん。ガウスはグロタンディークとラマヌジャン足した感じ。
0726１３２人目の素数さん
垢版 |
2020/05/12(火) 00:17:12.13ID:/osh8u+Y
>>724
それは望月舐めすぎ。
0727１３２人目の素数さん
垢版 |
2020/05/12(火) 00:23:02.24ID:lajADy8N
>>725
ガウスの時代とは違って多様で複雑化した色々な数学の分野を使いこなし、殆ど一人で谷志予想を解決したワイルズはガウスより天才かと
0728１３２人目の素数さん
垢版 |
2020/05/12(火) 00:24:17.66ID:TQ4Qmq79
今回のプロセスで帳消しでゼロまたはマイナス
0730１３２人目の素数さん
垢版 |
2020/05/12(火) 00:38:47.12ID:QEQfkDrU
思ったんだけど、typoの修正を大量にしている（長い論文だから仕方ない)けど、レフリーはそこすらも指摘せずに、ただただ絶賛してたわけ？
0732１３２人目の素数さん
垢版 |
2020/05/12(火) 01:07:14.16ID:/osh8u+Y
数論で望月よりすごい人そもそも日本にいる？
0733１３２人目の素数さん
垢版 |
2020/05/12(火) 01:08:14.83ID:/osh8u+Y
>>727
おれは同意しかねるがそういう意見もあるだろうなあ。
0734１３２人目の素数さん
垢版 |
2020/05/12(火) 01:15:57.23ID:/osh8u+Y
>>730
これまで数百箇所指摘あったと書いてたよ。細かいチェックはされてる。
0736１３２人目の素数さん
垢版 |
2020/05/12(火) 01:32:31.26ID:/osh8u+Y
>>735
それは知らん。多分いまWEBにあるのが最終じゃないの。
0738１３２人目の素数さん
垢版 |
2020/05/12(火) 06:03:30.14ID:gmSQkuCI
>>712
>（PAって)自然数の部分集合を一つの対象として扱えないから、
>実数すら扱えないんじゃね？

確かに、PAで実数は定義できないから解析学は展開できないね
一方で、PAに算術的内包公理を追加したACAでは実数が定義可能
かつ、大抵の数学の定理はACAで証明できる
そして、ACAでも証明できる算術の定理はPAと同じ

したがって、もしABC予想がACAで証明可能ならPAでも証明できる
0739１３２人目の素数さん
垢版 |
2020/05/12(火) 07:06:49.30ID:q4EiO+Ev
IUT論文は4月12日 4月18日 4月22日
も修正されている。
PRIMS編集委員会(望月新一編集長)
は投稿規定や編集委員規定や編集規定
を公開してください
0740１３２人目の素数さん
垢版 |
2020/05/12(火) 09:18:47.62ID:HjFiIVBO
>>732
和也先生や肥田先生はアメリカ在住だし
国際的に評価される業績を挙げたという意味では辻先生くらい？
数論で日本在住の日本人数学者だと普通にモッチーが日本トップじゃね（IUTT抜きでも）
0741１３２人目の素数さん
垢版 |
2020/05/12(火) 09:29:15.91ID:AnXVVdWI
自画自賛ですか？
0745１３２人目の素数さん
垢版 |
2020/05/12(火) 10:34:46.80ID:lSMaIV9+
ただただディスりたいだけの素人だろ
魂胆が疑わしいレベルのデマ流してる怪しい輩がいるぞ
0747粋蕎 ◆C2UdlLHDRI
垢版 |
2020/05/12(火) 10:43:17.75ID:JxKxPdjg
盲信者や盲アンチに成る位なら我関せず知らぬ存ぜぬの無定見無所属に甘んじる方が幾億倍マシ｡
そもそも過信は無定見信仰じゃし過疑にしても無定見懐疑｡
0748１３２人目の素数さん
垢版 |
2020/05/12(火) 10:49:38.37ID:f1w7ju6S
単発IDコロコロしてまでディスってる奴って何者？
日本人が妬ましくて足引っ張りたいだけのアノ連中？
0749１３２人目の素数さん
垢版 |
2020/05/12(火) 11:18:02.18ID:Q+21y1m4
RIMSは平成28年6月の時点で、
IUT論文より査読中ながら
abc予想は解決した、と公式に
表明した
↓
京都大学数理解析研究所
第2期中期目標期間(平成22年～
平成27事業年度)について

1 現況調査表　平成28年6月

p 28-3 
資料 2. 発表論文数 
所員の発表
論文数 
査読付き論文のみ


p28-10 
事例4「数論幾何の研究」 

「望月新一に よる「宇宙際タイヒミューラー理論」の構築とその結果としての
ABC 予想の解決は、特筆 すべき
出来事である。」

「当該論文は現在査読中であるが、 」

「望月新一が同理論の概要を解説した業績番号1― (2)(2014)が、講究録別冊
として刊行されている」

(RIMS現況調査表。
京都大学.数理解析研究所が文科省
所管の独立行政法人 大学改革支援・
学位授与機構へ提出)

https://www.niad.ac.jp/sub_hyouka/kokudai2016/no6_3_55_kyoto_2016_5_3.pdf


2 現況分析結果 平成29年6月

注目すべき質の向上　p28-4
○「数論幾何の研究」の「宇宙際
タイヒミューラー理論」の構築と
その結果と しての ABC 予想に
関する論文は、国内外の主要メディアで取り上げられている

(現況分析結果。
文科省所管の独立行政法人 大学改革
支援・学位授与機構が京都大学数理
解析研究所の現況を分析、
RIMSの現況調査表「IUT理論の構築と
その結果abc予想が解決した」は削除
された)

平成29年6月

https://www.niad.ac.jp/sub_hyouka/kokudai2016/no6_3_55_kyoto_2016_1.pdf
0750１３２人目の素数さん
垢版 |
2020/05/12(火) 11:29:33.34ID:/osh8u+Y
>>740
順当に見ればそうだよね。
0751１３２人目の素数さん
垢版 |
2020/05/12(火) 12:27:35.60ID:13u9CvEi
数論というか数論代数幾何の話だよねそれ
その外だと比較自体難しいよ。迷惑だろうから名前は挙げないにしても
0753１３２人目の素数さん
垢版 |
2020/05/12(火) 12:54:07.56ID:/osh8u+Y
>>751
同意。比較厨のアンチが多いから一旦この議論が出たのはいいと思う。
0754１３２人目の素数さん
垢版 |
2020/05/12(火) 13:02:20.38ID:LthUTyJJ
比較厨のアンチとは？
もともとタオとガウスのどっちがって話で望月と関係なかったのに、
ID:/osh8u+Yがぐだぐだ話を拡大させただけじゃん。
0755１３２人目の素数さん
垢版 |
2020/05/12(火) 13:12:38.36ID:OW6ET8po
愛UTスレでガウスとTAOをくらべる意味ってあるのかな
せめてガウスとモッチ、タオとモッチ、ショルツェとモッチを比べて欲しい
0757１３２人目の素数さん
垢版 |
2020/05/12(火) 13:41:50.10ID:ChCwp48E
>>746
可哀想。
繋がらないし、ピンとこないｱﾚﾚに生まれついちゃったんでしょうか…
0758１３２人目の素数さん
垢版 |
2020/05/12(火) 17:58:53.79ID:Wcl7UiUc
現代数学の今月号(2020年6月号)の山下純一の記事に、
望月論文の雑誌掲載とそれに対する批判の経緯が載ってる。
来月号に続くので、続きを早く読みたい。
0759１３２人目の素数さん
垢版 |
2020/05/12(火) 18:31:11.68ID:FHp+AoQl
例え話にさだまさしが出てくるあたりかなり年齢層高いなここ
0760１３２人目の素数さん
垢版 |
2020/05/12(火) 20:15:21.68ID:LHLoA2rw
>>759
さーだーまーさーし
0761１３２人目の素数さん
垢版 |
2020/05/12(火) 20:53:47.00ID:n1GZ65kN
望月氏とガウスを比較っておかしすぎる　ガウスは最上位

たとえば以下の数学者の方が全然上
（というかABC予想証明とかいうのがだめだったら大変）

ヒルベルト、リーマン、ゲーデル、ガロア、ポアンカレ
アーベル、クライン、ワイルズ、デデキント、ディリクレ
ヘルマン・ワイル、グロタンディーク、アティヤ
エルミート、ケイリー、タオ、ルベーグ、エミール・アルティン
カルタン、小平邦彦、ヴェイユ、シュヴァルツ
広中平祐、ポントリャーギン、シロー
ロバチェフスキー、エミー・ネーター、コーシー
ハミルトン、コルモゴロフ、ヤコビ、ミンコフスキー
ド・モアブル、ストークス、クロネッカー
トンプソン、ドリーニュ、岩澤健吉、高木貞治
0762１３２人目の素数さん
垢版 |
2020/05/12(火) 21:14:22.24ID:n1GZ65kN
>>761
これらの数学者にも及ばない

フォン・ノイマン、ラマヌジャン、カントール
ブール、ペレルマン、ワイエルシュトラス
アーノルド、ド・モルガン、チェビシェフ
ソフス・リー、ハウスドルフ、リウヴィル
セルバーグ、リャプノフ、クンマー
カラテオドリ、グラスマン、マンフォード
フロベニウス、コンヌ、ピカール
グロモフ、ジーゲル、クーラント、ジョン・テイト
シューア、ショルツェ、コクセター、ヘッセ
バーンサイド
0765１３２人目の素数さん
垢版 |
2020/05/12(火) 22:05:59.78ID:n1GZ65kN
これはガウス以降の人達ね
0767１３２人目の素数さん
垢版 |
2020/05/12(火) 22:18:32.30ID:VcTKxGmN
結果を出す前から、胡散臭いアピールが多いのよね。
まあ本人がしていることではないと思うけどね。

証明できたとしても、ノーベル賞2つ3つじゃ足りないってことはあり得ないし
できなかったら、大学の普通の数学者じゃないの。
0768１３２人目の素数さん
垢版 |
2020/05/12(火) 22:26:35.29ID:Wcl7UiUc
>>766
山下純一氏の記事を一言で要約すると、
「望月vsショルツェ」
ですかね。
来月号に続く予定。
0770１３２人目の素数さん
垢版 |
2020/05/12(火) 22:41:15.69ID:/osh8u+Y
>>767
グロタンディーク予想
0771１３２人目の素数さん
垢版 |
2020/05/12(火) 22:44:54.97ID:0bq0yH9u
グロダンディーク予想って予想に大数学者の名前がついてるだけで、
べつにそこまで重要な予想じゃなくね？
0772粋蕎 ◆C2UdlLHDRI
垢版 |
2020/05/12(火) 22:45:05.48ID:JxKxPdjg
>>760
スーパーマリオワールドに歌詞つけんの自重せいよ(笑)
0773１３２人目の素数さん
垢版 |
2020/05/12(火) 23:32:29.60ID:HlS2vCHp
>>769
少し違うかもしれんが
加藤和也が大学院生のときにほぼ全裸で数学しながら外出してしまって警察に捕まったことは有名だな
0776１３２人目の素数さん
垢版 |
2020/05/13(水) 01:41:29.84ID:14lf73gR
>>771
ワロwww
0778１３２人目の素数さん
垢版 |
2020/05/13(水) 02:12:30.59ID:oLzkPZDK
ヴェイユとセールが裸で中禅寺湖で泳いだとかいう話があったような。
0780１３２人目の素数さん
垢版 |
2020/05/13(水) 06:42:15.13ID:ET3/7/TL
>>758
やっと日本でも「望月の証明には懐疑的な意見もある」という真実がぼつぼつ活字になるようになったか。
いままでは数学板のこのｽﾚだけでしか日本語の懐疑的な意見を読むことができないという異常な状態だったからな。
大体、玉川が「ショルツが再反論しなかったから望月は正しい」などと言った時記者団は突っ込むべきだった。
RIMSは明らかにわかってないのに論文を通過させたんだから。
0781１３２人目の素数さん
垢版 |
2020/05/13(水) 06:51:23.25ID:YxiDM0Si
>>780
そういえば、数セミってこの件について全く言及してないと思うけど

＞「ショルツが再反論しなかったから望月は正しい」

「望月は正しい」じゃなくて「論文を受理した」じゃね？

理由も「正しい」じゃなくて「誤りが見つからなかった」だろうね

気付いてて見過ごしたんなら悪意だが、気づかなかったんならただの過失

玉川氏がいいたいのはそういうことじゃね？　真相はともかく
0782１３２人目の素数さん
垢版 |
2020/05/13(水) 07:21:04.14ID:Csv36UPM
>>746

雑誌掲載した経験があればわかる　ｗ

投稿して掲載で、雑誌側で校正する場合には、
雑誌のプロの校正者により、数ページの論文でもmisprintや校正意見の連絡が来て、訂正する。
ましてや数百ページで　＞あんな長い論文当たり前だろ、は>>744に同意見 。　

知っていればMisprintレベルの訂正についてで、基準を公開しろとかは、、　
　＞馬鹿なのか？　になるよ。
0783１３２人目の素数さん
垢版 |
2020/05/13(水) 08:39:11.41ID:fEDmqJEG
>>782
ま、RIMSの教授(PRIMS編集委員)は、
査読中にabc予想を解決した、
と公式報告したんだよね。

>>749
0784１３２人目の素数さん
垢版 |
2020/05/13(水) 10:01:33.71ID:Csv36UPM
>>783

雑誌掲載での校正は、雑誌掲載の後の順序で、行なわれる作業だよ。
まさか掲載決定する前で、掲載するかも分からない論文を、雑誌に費用を払って、校正して貰うことは無いだろ。

それが普通の順で、それ以外の順序(雑誌校正後に掲載決定）はまず無いだろうから、PRIMSも同じでしょ。
0785１３２人目の素数さん
垢版 |
2020/05/13(水) 10:03:06.22ID:Csv36UPM
ｘ雑誌掲載の後の順序で、
〇雑誌掲載決定の後の順序で、
0787１３２人目の素数さん
垢版 |
2020/05/13(水) 10:19:40.22ID:a2PawawM
そもそもグロタンティーク予想のときから身内持ち上がりっぽいところがあるんだよね。
Grothendieck conjectureというのはRIMS界隈の造語なんだよ。

ふつうGrothendieck conjectureと言えば、
Grothendieck–Katz p-curvature conjectureのことなんだが、
これを望月が解いたわけじゃないから。

海外の数学者にGrothendieck conjectureって知ってるか、って聞いて、
望月が解いた遠アーベル幾何予想のほうを答えるひとはいないだろうな。
0788１３２人目の素数さん
垢版 |
2020/05/13(水) 10:20:21.17ID:fEDmqJEG
>掲載決定する前で、掲載するかも
分からない論文

PRIMS編集委員(RIMS教授)は
IUT論文の査読中にありながら
abc予想がIUT論文より解決した、
と公式報告した。
査読中から結論が決まっていた、
0789１３２人目の素数さん
垢版 |
2020/05/13(水) 11:06:33.14ID:Csv36UPM
>>788　よく読もう。

>>739で、
　＞IUT論文は4月12日 4月18日 4月22日
　＞も修正されている。
　＞PRIMS編集委員会(望月新一編集長)
　＞は投稿規定や編集委員規定や編集規定
　＞を公開してください

で、4/3以降のミスプリント訂正だけど、「それが理由で基準公開しろとの話に関して」、

　＞知っていればMisprintレベルの訂正についてで、基準を公開しろとかは、　
　＞馬鹿なのか？　になるよ。

これは確かに、馬鹿なのか？、レベルだと同意しているだけ。

掲載版が、決定版と違えば、変更したのが校正側か著者側かも、校正稿の記録で分るだろうし　ｗ

あと、「雑誌決定後に著者がミスプリ訂正以外で変更する」とか、「その他」には、何も言及していない。

単に「雑誌掲載決定後に、プロの校正が入れば、ミスプリの訂正が入る」のは、大抵の雑誌校正では普通だと思うよ。
0790１３２人目の素数さん
垢版 |
2020/05/13(水) 11:11:29.82ID:aRkbFXYG
PRIMSは正しいよ。
投稿者より優秀な査読者が見つからなかったら
受理は当然だよ。

問題なのは上記を明言せずに、ごまかしたみたいな印象の受理をしたこと。
0791１３２人目の素数さん
垢版 |
2020/05/13(水) 11:14:37.30ID:6BWcsxUZ
元々査読中にIUT論文の結論が決まって
いるから、査読制度が崩壊しているね。
0792１３２人目の素数さん
垢版 |
2020/05/13(水) 11:35:38.40ID:fEDmqJEG
現代数学山下純一氏の記事を読んだけど
>>749の話がなかった。
これ矛盾していますが

日本の数学界はお墓に持っていくの
だろうか？
0793１３２人目の素数さん
垢版 |
2020/05/13(水) 11:39:46.85ID:pZyVWpwd
もうガッキーと結婚できないの？
0794１３２人目の素数さん
垢版 |
2020/05/13(水) 12:10:49.84ID:+KLoGeGf
>>787
まあ、それだとしても遠アーベル幾何的には基礎的で重要な問題なんじゃないのかね。
0795１３２人目の素数さん
垢版 |
2020/05/13(水) 12:15:22.31ID:3mQ51YEL
>>792
もうあんたいいよ、粘着してる同一人物でしょ？
あの報告書は事務が用意するもんだから、学術的な根拠にならないのよ、つまり間違いもある
事務に解決か解決じゃないかの違いはあまり意味がないのよ
0796１３２人目の素数さん
垢版 |
2020/05/13(水) 12:22:02.73ID:tiW6QYt6
ガッキーと結婚。。。
デキル?☆デキナイ？★とかは、ぜんぜん別問題のａｂｃ予想なんだと思います。
0797１３２人目の素数さん
垢版 |
2020/05/13(水) 12:23:02.68ID:QscwWYkK
石田ゆり子さんがお似合いなのに結局若い女がいいのね、もっちーも(*`Д')
0798１３２人目の素数さん
垢版 |
2020/05/13(水) 12:33:26.38ID:tiW6QYt6
>>797
w

気持ちわかるわかる~
(タメ口)

でももっちーJr.に増えて頂きたいから…若い奥様に期待したぃ希ﾓｽ…
0799１３２人目の素数さん
垢版 |
2020/05/13(水) 12:39:11.01ID:/XMNRK6t
RIMSの助教とかどうよ
0800１３２人目の素数さん
垢版 |
2020/05/13(水) 12:45:29.49ID:tiW6QYt6
ぜひ＊くっついて＊頂いて
もっちー×優秀な若手研究者女性のＪｒ.に続々誕生して頂きたぃ!
0801１３２人目の素数さん
垢版 |
2020/05/13(水) 12:47:28.60ID:DP2x7J2V
マジでdtなん？
0803１３２人目の素数さん
垢版 |
2020/05/13(水) 12:50:46.56ID:pZyVWpwd
でその数学で失敗か...
0804１３２人目の素数さん
垢版 |
2020/05/13(水) 12:53:13.06ID:fEDmqJEG
>>795
教授会の責任ですよ
0805粋蕎 ◆C2UdlLHDRI
垢版 |
2020/05/13(水) 15:17:43.79ID:PCZ7zAff
もっちーもお猿の一石ﾁﾞﾁﾞｯﾁｬﾏも安達弘志氏も皆、種切れじゃろ、子作りは望めん
0806１３２人目の素数さん
垢版 |
2020/05/13(水) 16:46:44.67ID:uMe8boWM
>>805
ほいよ

https://www.j-cast.com/tv/2012/10/18150477.html?p=all
j-cast 文 ヤンヤン| 似顔絵 池田マコト
世界最高齢「父親」！インド96歳に赤ちゃん「そろそろ妻に避妊させなきゃ」
2012年10月18日13時13分
(抜粋)
これは盛り上がった。世界最高齢の父親になった男の話だ。インドのラマジット・ラグハブさん96歳 が今月5日（2012年10月）、めでたく元気な男の子を授かった。母親はシャクンターラさん52歳だという。ラグハブさんは「子どもの名前はランジットといいます。神様が私に授けてくださったんです。精力剤などは飲んでいませんよ」という。

専門医「生きている限り精子はできる。子どもを作ることは可能」
医学的には可能なのだそうだ。東京EDクリニックの玄于享院長は「生きている限り精子はできる。子どもができるというところまでいくことは可能だと思います。普通ならば、96歳というとまあいろんな意味でね、引退ですよね」話す。

菊川怜キャスター「本当に96歳なんですか」

笠井は「一応、記録が残っている」とギネスブックを引っ張り出した。92歳のオーストラリア 人というのが「最高齢パパ」の記録になっていたが、ラグハブさんは実は94歳の時にこの記録を更新していた。つまり、2年前にも子供を作っていて、今回は自己記録を更新したというのだった。いったい子どもは何人いるのかと調べたら、子どもは前回の子（2）と今回の子の2人だけだという。

司会の小倉智昭「いままで何をやってたんだ！」（大笑い）

スタミナの秘密は早寝早起き「5時起床、庭いじりして昼寝と散歩、8時就寝」
0807粋蕎 ◆C2UdlLHDRI
垢版 |
2020/05/13(水) 16:56:56.64ID:PCZ7zAff
インドやスリランカは自然の精力剤の宝庫じゃバカモン
0808１３２人目の素数さん
垢版 |
2020/05/13(水) 17:10:05.21ID:YxiDM0Si
>>806
＞菊川怜キャスター「本当に96歳なんですか」

つっこみどころはそこじゃない！

「本当にオジイチャンの子供ですか？」

DNA解析による真相の究明が望まれる・・・

それにしても子供の母親は52歳・・・
そっちのほうが（本当なら）驚きだろう
0809１３２人目の素数さん
垢版 |
2020/05/13(水) 18:50:36.22ID:oIxfYiIk
そもそももっちーは結婚したがってるのかね
かわいくて清楚なおなごを遠くから見てるだけでいいっていう昭和の乙女思考かもしれないじゃない
0812１３２人目の素数さん
垢版 |
2020/05/13(水) 21:11:44.18ID:tiW6QYt6
４４歳年の差婚カップル…

夫５４歳のとき夫人１０歳…

新郎６４歳＆新婦２０歳くらいの年の差新婚夫婦でスタートしてるのかも。。。
0813１３２人目の素数さん
垢版 |
2020/05/13(水) 21:17:39.50ID:tiW6QYt6
ロリコンｵﾁﾞｻﾝだったから
ｵﾁﾞｲﾁｬﾝに👶赤ちゃん👶🏻🍼が産まれたんですね。。。
0814１３２人目の素数さん
垢版 |
2020/05/13(水) 21:34:48.04ID:E9JN6Eqz
ラサール石井の嫁が34歳差だろ
モッチーならまだ全然可能だよ
0815１３２人目の素数さん
垢版 |
2020/05/13(水) 22:12:55.41ID:1TX6Uk/U
可能だけど、芸能人と違ってカタイ職業だからちょっとキモイかなw
マスゴミ嫌いで嫁はロリって、ガチってかんじがするし
0816１３２人目の素数さん
垢版 |
2020/05/14(木) 08:13:54.15ID:DuNeW6DF
ガッキーの気持ちを考えてやれよ
0818１３２人目の素数さん
垢版 |
2020/05/14(木) 17:07:49.75ID:3MIu7ObK
京大山中所長
「一人から何人に感染が広がるかを
示す実効再生産数（Rt）を１未満で
維持することが目安になります。」
「Rtは統計や公衆衛生の専門家でない
と算出できないと思い込んでいましたが、昨日に紹介した論文でエクセルを使って算出する方法が報告されています」
「大阪府民である私から見ると、
大阪府のRtが4月21日に1を下まわり、
5月1日現在で0.6程度という計算結果は、府民の努力が報われているようで嬉しく思います」
↑
素人の所長が公式をエクセルで計算
し他人を振り回してはいけません。
高校生へオイラーの公式を振り回し
威張る高校教師を想起します、
大阪府民が大喜びなら大きなお世話
でしょうが。
まずデータの注意書きは必ず読みましょう。
0819１３２人目の素数さん
垢版 |
2020/05/14(木) 17:09:41.31ID:3MIu7ObK
>>818
Rtは臨界.閾値に関係し、まず
SIRモデル=KMの微分方程式
力学系　V-Tグラフ 臨界　閾値の定理
ミクロからマクロへ　からでしょう
高校の数学物理生物を読みましょう。
また京大RIMSからも、IUTによる
チャート式COVID19流行の
「大予言」がありそうです。
英国フェセンコ曰くIUTは天気予報も
改善する可能性もあると。
なら天気予報特に集中豪雨よりも
感染症流行の方が予測は容易いはず
実際は
英国　感染者数　230264人
　　　死者33264人
デフォー「ペスト」の世界の再現か？
COVID19を避難し郊外でIUTの
ポストモダン物語を書くためか？
　　　
0821１３２人目の素数さん
垢版 |
2020/05/14(木) 19:54:34.83ID:1sT+4Tsx
山中教授はコロナのホームページ張り切って立ち上げたり
ノーベル賞の俺が国民を救ってやんよ感が出すぎてるよな

純粋な知的活動による業績ではないので俺はあまり好きではない
0822１３２人目の素数さん
垢版 |
2020/05/14(木) 20:18:31.36ID:2NOWxv+e
山中先生。。。
エリートらしい社会意識の高さがうかがえるご活躍ぶりが大変頼もしく感じられます。。。
(素晴らしい方だな)って拝見してます。。。
0823１３２人目の素数さん
垢版 |
2020/05/14(木) 20:27:56.75ID:Y6zl8CwR
高校物理で類似なら原子核崩壊や気体分子の衝突確率モデル、更に確率のパーコレーションも感染症の拡散モデルがあり
臨界がある。
反応拡散方程式なら趣味の範囲かw
類似は類似で感染症は素人だから
クラスター班の分析を興味深く見ているだけの人も多い。
素人でも北大数理モデルチームが優秀なのはわかるw
数学セミナーにシンプルな分析方法の記事があるね、
0825粋蕎 ◆C2UdlLHDRI
垢版 |
2020/05/14(木) 20:56:21.05ID:wmtQoKkt
>>820
宝くじが当たって頭が本当に頭良いか否かが分かるのかは其の後に分かる事じゃな｡
0826１３２人目の素数さん
垢版 |
2020/05/14(木) 21:10:02.56ID:gHMRZlUf
山中教授は医学会では苦労人
挫折経験してるから強い
マラソン好きだし、高校のマドンナ的同級生と結婚したわけだから性格も非常にマトモ
0827１３２人目の素数さん
垢版 |
2020/05/14(木) 21:21:57.57ID:pZ26aQiB
>>826
誰かさんへのあてつけか？w
0830１３２人目の素数さん
垢版 |
2020/05/14(木) 21:56:58.18ID:gZVaGCKZ
山中さんが大阪府在住ということの方に驚き
わざわざ大阪から京都大学まで通ってるのかよ
0831１３２人目の素数さん
垢版 |
2020/05/14(木) 22:13:23.77ID:gHMRZlUf
まあ、京都と大阪なら大阪のほうが圧倒的にすみやすいだろうな
買い物が不便なのにくわえ、京都はいけず文化だから、よそさんが一家を構えるとくっそめんどくさそう
大阪ー京都駅は新快速で３０分、京大まではそこからまだ距離があるがまあ通勤可能
奈良から通ってる人も結構いるしな
結局近畿圏は大阪発だと一時間もあれば、西は姫路、南は和歌山、北は京都、東は奈良、全部いける

もっちーはその辺に住んでるんだろうな
0833１３２人目の素数さん
垢版 |
2020/05/14(木) 22:40:33.28ID:pZ26aQiB
山中伸弥スレ
0834１３２人目の素数さん
垢版 |
2020/05/14(木) 22:45:39.58ID:cMcww6Xf
運転手つきなのか、大阪市内から車なんてぜいたくだなぁ
もっちーなんてなんじゅうねんもじてんしゃなのに( ;´･ω･`)
0835１３２人目の素数さん
垢版 |
2020/05/14(木) 23:03:20.28ID:Y6zl8CwR
>>831
買い物なら商店街があるよ
0836粋蕎 ◆C2UdlLHDRI
垢版 |
2020/05/14(木) 23:50:56.83ID:wmtQoKkt
何で京都府民平均食費って毎月毎月高いん？大御所揃いだからかと思いきや庶民でも他より高い言う｡
0839１３２人目の素数さん
垢版 |
2020/05/15(金) 05:27:53.35ID:MyodKDsU
>>830
別に不思議ではない
経済的に余裕があると、枚方市内の高級住宅街に住んで京阪で出町柳まで出て、そこから徒歩で大学まで行くという人がわりといるよ
0840１３２人目の素数さん
垢版 |
2020/05/15(金) 07:33:17.61ID:tkQ9tPR6
PCR検査をしないと駄目とか、検査して、陽性率が高いからまだ駄目とか
ただの馬鹿なコロナ脳のキチガイの一人だったじゃん

BCGでインフルエンザ以下の病気だはっきりした頃にそう言ってた
謝罪して、腹を切れ
0841１３２人目の素数さん
垢版 |
2020/05/15(金) 09:35:38.78ID:/UwGd51f
>>101
ショルツに関しては同じ分野の研究者が
「こんなに若い人(に先に結果出されてしまった？)なのは屈辱的でした」
ってインタビューに応じてたから、やっぱり“脅威の新人”の存在は影響が大で、ショルツの言葉は同じ“業界”の先輩研究者には刺激的なのかも。
0842１３２人目の素数さん
垢版 |
2020/05/15(金) 09:36:11.73ID:4x6ffprZ
基本的な質問で恐縮ですが

Q.IUTで、ABC予想の以下の形の式

　c<K(ε)rad(abc)^(1+ε)

　について、K(ε)は具体的に求まりますか？
　求まる場合、求め方についても教えて下さい
　求まらない場合　その理由について教えて下さい
0845１３２人目の素数さん
垢版 |
2020/05/15(金) 09:43:25.35ID:Y+aia1Fj
>>838
そうだよ。(迫真)
837っちがどんだけ山中さんに迷惑掛けられてきたか、、、

彼のことを考えるだけで837っちは、悔しくて妬ましくて、
夜しか眠れなくなっちゃってるんじゃないのか？
知らんけど。

そりゃ憎いよなー(棒
0846１３２人目の素数さん
垢版 |
2020/05/15(金) 10:04:28.96ID:F3aivaCY
>>841
しかもさわやかイケメンだしな
30くらいまではどうしてもギラギラしてるし野心満々だし隠しても生意気が出てるし
自分がおっさん化したことまざまざと思い知らされて悔しくなっちゃっても仕方ない
じゃないと学部生なんて単語も出てこないとおもうね
0848１３２人目の素数さん
垢版 |
2020/05/15(金) 11:37:05.03ID:kyzBmJ2/
教授陣
「結局みんな・・・
若い子の方に期待しちゃうんでしょ？#ムキキキイィッ！#」
0849１３２人目の素数さん
垢版 |
2020/05/15(金) 11:46:34.78ID:QpQhaKOp
>>847
少なくとも、文元さんが京大にいた頃、北部構内で自転車に乗ったもっちーとバッタリ再会したと著作で述べている
最近だと4月初めのアクセプト発表時、記者がもっちーにinterviewを試みたが拒否され、自転車で去っていったという記事が出ていた
0850１３２人目の素数さん
垢版 |
2020/05/15(金) 12:05:41.18ID:IZlBj0N0
独身なら自分に使える金は結構あるはずだけどどこに使ってるのかな
0851１３２人目の素数さん
垢版 |
2020/05/15(金) 12:11:00.85ID:H1pyin2R
大学のそとはどうか知らんが、
構内で専用自転車というのは特に珍しくない。

東大も本郷では自転車で移動している教師はちらほらいる。
0852１３２人目の素数さん
垢版 |
2020/05/15(金) 12:16:27.16ID:QpQhaKOp
性格的に徹底的に無駄を省いてそうだから、四畳半の独身寮に未だ住んでで驚かないよ
0853１３２人目の素数さん
垢版 |
2020/05/15(金) 12:22:34.08ID:wa/ZlrKd
そこでIUT密教が生まれたのか
0854１３２人目の素数さん
垢版 |
2020/05/15(金) 12:24:11.04ID:3dOo0xKH
>>852
そうか？
大量にあるRemarkとか、"!"とか、無駄を省く方向とはむしろ逆な気がする
一方で、重要な単語をインラインで定義していたりして、よくわからんけど
0856１３２人目の素数さん
垢版 |
2020/05/15(金) 12:58:27.57ID:HQlUCdl1
だって大阪じゃ成立しないんだろ？
生活じゃないぞ定理のはなしだぞ
0857１３２人目の素数さん
垢版 |
2020/05/15(金) 13:31:41.31ID:wa/ZlrKd
なるほど

山中　自画自賛の大阪モデル
望月　京都追分町限定abc「定理」
0859１３２人目の素数さん
垢版 |
2020/05/15(金) 14:20:00.68ID:+wN+V0p+
望月＆星コンビは宇宙祭っぽいなーっておもった。
0860１３２人目の素数さん
垢版 |
2020/05/15(金) 14:41:45.51ID:tkQ9tPR6
山中はコロナ脳で迷惑かけまくってる馬鹿な有名人の一山にすぎない
死んだ方がいい
0862１３２人目の素数さん
垢版 |
2020/05/15(金) 15:58:44.73ID:58GZNA2k
文元本並んでるね
深い意味はなくて、アクセプトしたから刷ったんだろうね
0863１３２人目の素数さん
垢版 |
2020/05/15(金) 16:01:10.23ID:ofoiXtbS
>>858
中央線沿線に居着いたバカ田夜間あたりが最高学歴のサブカル老人こそ大月以西に強制移住させてミヤイリガイ除作業やら京大八回生モンキーにエサをやる朝三暮四作業員に再雇用してやってほしい。
0864１３２人目の素数さん
垢版 |
2020/05/15(金) 17:03:49.28ID:H1pyin2R
死ねは言い過ぎだが、山中さんはこのままじゃ
岡田とかいう太ったオバチャンと同等の
PCR厨に成り下がってしまう
学者としては雲泥の差なのに

山中先生これ以上晩節を汚さぬよう
もうおやすみください
0865１３２人目の素数さん
垢版 |
2020/05/15(金) 17:36:14.51ID:iPnFDz5C
無症状の人がいるんだからCTじゃ検出できずにスプレッダーになるだろ
0866１３２人目の素数さん
垢版 |
2020/05/15(金) 18:04:56.84ID:58GZNA2k
正直強い理論系の業績にしかあんま興味ないな
iPSの発見って僅差の時間競争みたいなものでしょ？
0867１３２人目の素数さん
垢版 |
2020/05/15(金) 18:11:38.75ID:jfHDjKEQ
>>864
宝くじに当っただけの運のいい人だからね。

モッチーは、実力はあるんだけど、いつも肝心なところで転んでしまう
無冠の帝王かな。
0868１３２人目の素数さん
垢版 |
2020/05/15(金) 18:13:33.67ID:ncwSUDpa
日本へ誇る京大限定の山中望月モデル
他人の公式or自分が勝手に作った公式
で計算する自画自賛のチャート式。

公式の根拠は日本のマスコミワイドショーが絶賛しているから。
逆の問題に無能を露呈
0869１３２人目の素数さん
垢版 |
2020/05/15(金) 18:18:41.07ID:ncwSUDpa
>>865
数学セミナーを嫁
0874１３２人目の素数さん
垢版 |
2020/05/16(土) 01:08:19.68ID:/5JieNaL
生活が京大周辺で完結してるなら自転車+公共交通機関で済む。車は必要ないどころか邪魔
0875１３２人目の素数さん
垢版 |
2020/05/16(土) 02:02:55.97ID:tXRewj56
IUTアンチスレはどこだ
邪道なIUTはカス！ってな香具師も多いだろｗ
0876１３２人目の素数さん
垢版 |
2020/05/16(土) 07:28:47.63ID:fYJZIPnm
おごれるものひさしからず
0877１３２人目の素数さん
垢版 |
2020/05/16(土) 12:21:49.94ID:MFK1Erg0
>>874
京都は駐車場ないしな
あっても常に満車
0878１３２人目の素数さん
垢版 |
2020/05/16(土) 13:23:23.98ID:45sx1zxP
15分600円?のところもあったって友達が引いてた
0879１３２人目の素数さん
垢版 |
2020/05/16(土) 13:38:05.58ID:UzP5f+gS
大学と家の往復しかしないのに車とか必要ないだろう
なんつーか、もっちーって数学が本当に好きなんだな
はやくショルツェが納得してくれて、世界的に評価されて報われるといいね
0880１３２人目の素数さん
垢版 |
2020/05/16(土) 13:52:38.93ID:bF14TTx+
望月自身はフェルマーの最終定理の簡単な証明ができたと思い込んだ人みたいに、自分の間違いを認識できないだけで、周囲が持ち上げた可能性はあるよね
0881１３２人目の素数さん
垢版 |
2020/05/16(土) 13:58:54.93ID:0cbTwyzX
ヒロシマとナガサキに原爆をくらっった直後に
ノーベル物理学賞をもらった奴みたいに
裸の王様にしちまえよ
0882１３２人目の素数さん
垢版 |
2020/05/16(土) 14:09:23.01ID:FmAg8oZO
グロタンティーク予想の解決についても調べてみたけど、
上で書かれてるようにGrothendieck conjectureというのがあったわけじゃなくて、
中村、玉川、望月あたりの造語っぽいね。

しかもこの論文もPRIMSでしょ。
ほんとうに解決してるんだろうか。
0883１３２人目の素数さん
垢版 |
2020/05/16(土) 14:22:35.94ID:VN/D3za9
えっじゃあ遠アーベル幾何学のWikipediaの

>グロタンディークは、射有限群である C の代数的基本群 G が C 自身を決定する
>（つまり G の同型類が C の同型類を決定する）と予想した。
>このことは望月新一により証明された[3]

これって嘘なの？
0884１３２人目の素数さん
垢版 |
2020/05/16(土) 14:27:54.22ID:FmAg8oZO
>>883
グロタンティークがした予想ってたくさんあるよね。
そのなかのひとつを特にグロタンティーク予想と呼んでるのが変だな、
とは思ってたんだが、正確にいうと、

遠アーベル幾何化に関するグロタンティークの予想

で、わざわざグロタンティーク予想という造語をする必要性がよくわからなかった。
ちなみにそのWikipediaの記述自体もそんなに正しくなくて、
この予想は中村、玉川、望月の共同作業で解決したことになっているので、
望月が解決したというのはちがうかなと思う。
0885１３２人目の素数さん
垢版 |
2020/05/16(土) 14:44:56.62ID:45sx1zxP
>>880

>自分の間違いを認識できないだけで、

ここまで誰も説明できない時点で、うすうす気が付いてなきゃおかしくない？
0888１３２人目の素数さん
垢版 |
2020/05/16(土) 15:26:20.65ID:TyZLv2xK
どんどんメッキが剥がれてきてるな
スタップ細胞の人と流れが同じじゃね
0889１３２人目の素数さん
垢版 |
2020/05/16(土) 16:07:46.92ID:0bZfAewz
アカデミックな奴らの牙城を崩した理論
築き上げてきた物を革新=オワコン化する可能性があるので黙殺されてる
難解だから今の時代はまだ理解できない
数学界ではよくある話
0890k.air
垢版 |
2020/05/16(土) 16:23:12.24ID:CvTinTc1
>>842
具体的なトリプルを使えば下界はすぐ求まる

(いま、トリプルの集合を
T={ (a,b,c)∈Z^3 | 0＜a＜b, a+b=c, gcd(a,b)=1 } とすると)

個々のトリプルに対しては
K(ε) ＞ c/rad(abc)^(1+ε) = rad(abc)^(q(a,b,c)-1-ε)
を満たす必要がある

つまり全部のトリプルを合わせて考えると
K(ε) ＞ sup_{t∈T} rad(abc)^(q(a,b,c)-1-ε)
右辺のsupが有限値として存在すれば K(ε) が存在できる
0891k.air
垢版 |
2020/05/16(土) 16:33:15.81ID:CvTinTc1
>>842
例えば (2, 3^10*109 , 23^5) を使うと
rad=15042, q=1.6299... だから
K(ε) ＞ 15042^(0.6299...-ε)
よって K(0.00001)＞427 といってみせたのが前スレ>>187

このグラフよりは上ということ
https://www.wolframalpha.com/input/?i=plot+y%3D15042%5E%280.6299-x%29+%2C+x%3D0+to+1%2C+y%3D0+to+500
plot y=15042^(0.6299-x), x=0 to 1, y=0 to 500
(εの代わりにxを使った)

全部のトリプルでこのグラフ書いてなんかする
0892１３２人目の素数さん
垢版 |
2020/05/16(土) 17:05:26.47ID:pfRK/KOl
だれか1996年の論文を再検証してくれんかな。

あの論文に対するIの評論とかを今読み返すとなんか思うところがあったのかな、
という感じで、当時あれがほんとうに受け入れられていたのかわからないところがある。
0893１３２人目の素数さん
垢版 |
2020/05/16(土) 17:10:03.52ID:DjHTdFTr
>>890-891
いいたいことは承知しました

要は、
「望月の証明で
　sup_{t∈T} rad(abc)^(q(a,b,c)-1-ε)
　の情報って得られるんですか？」
ということです
0895１３２人目の素数さん
垢版 |
2020/05/16(土) 17:24:00.70ID:VN/D3za9
>>892
>「従来の私の好みとは少し違うが, すごいじゃないか！」を捧げたいと思います.

ってやつ？
確かに、本人たちの解説が出ることを建前に、（ボロが出ないように）短めに済ませた感じはあるね
0896１３２人目の素数さん
垢版 |
2020/05/16(土) 17:27:37.22ID:F1nBq9DZ
伊原評論はそこと最後の光と闇の話がちょっと変わってるんだよな。
だれか具体的なひとを想定してないとこういう書き方はしないと思うんだが。
0897１３２人目の素数さん
垢版 |
2020/05/16(土) 17:36:39.42ID:45sx1zxP
>>896
あのおっちゃん、当時からの○○の持ち上げられようと性格からしてこうなる
ことを見透かしていたような感じやな (嫉妬的なものもあると思うけど)
0898１３２人目の素数さん
垢版 |
2020/05/16(土) 17:38:15.05ID:VN/D3za9
>近い分野で, やはり大変すぐれた研究をされた方々もおられます. それら
>も含め近い将来の一層の開花を期待したいと思います。

確かに、遠アーベル幾何について何か思うことがありそうだな
評論としては蛇足でしかないのに、わざわざ書いたのは気になる
光と影は何の暗喩なんだろうな
0899１３２人目の素数さん
垢版 |
2020/05/16(土) 17:44:25.71ID:DjHTdFTr
1996年か・・・この頃子供だった奴に

「あなたの証明には修復不能な穴がある！（ビシっ）」

といわれたら、頭に血が上るかもな
0901１３２人目の素数さん
垢版 |
2020/05/16(土) 22:05:14.42ID:Nxb98Jfx
ここ、やたら専門家ぶってる奴がたまにいるじゃん
遠アーベルってそんな重要か？どうなん？
0902１３２人目の素数さん
垢版 |
2020/05/16(土) 22:05:22.39ID:Nxb98Jfx
ここ、やたら専門家ぶってる奴がたまにいるじゃん
遠アーベルってそんな重要か？どうなん？
0904１３２人目の素数さん
垢版 |
2020/05/16(土) 22:38:47.00ID:oii8q1/C
専門家ぶってるだけで専門家がいる訳ないだろう、バカやろう
正則性公理と選択公理の違いすら分からないアホどもの集まりだぞ
0905１３２人目の素数さん
垢版 |
2020/05/16(土) 22:39:20.92ID:w8NKCFpA
８年間も放置されたということは、
何を意味するんだろうか？

馬鹿でもわかるよな。
0906１３２人目の素数さん
垢版 |
2020/05/16(土) 22:43:05.55ID:HZAEdK+O
>>904
なんかその一点で擁護するのが流行ってるみたいだけど、
もしかしてあれは擁護派の自作自演か？
0907１３２人目の素数さん
垢版 |
2020/05/16(土) 22:49:08.01ID:oii8q1/C
>>906
流行ってるも何もそのレベルの人間の集まりてことじゃん
0908１３２人目の素数さん
垢版 |
2020/05/16(土) 22:51:25.36ID:kNzkts7S
そもそも擁護ってあかん人を助けたるって意味やからな
0910１３２人目の素数さん
垢版 |
2020/05/16(土) 22:55:19.47ID:oii8q1/C
枝葉末節とはいえ基礎論部分について5chに書かれていたデマ（と思われるもの）がずっと信奉されてた時点で、このスレのレベルの低さは推して知るべしだろう
正則性公理と選択公理レベルの間違いではないにせよ
0911１３２人目の素数さん
垢版 |
2020/05/16(土) 22:56:09.38ID:HZAEdK+O
ちなみに関係ない文脈でいきなる正規性公理が云々で擁護を始めたIDは複数ある。
それともあれもひとりなのか？
0913１３２人目の素数さん
垢版 |
2020/05/16(土) 23:01:15.18ID:oii8q1/C
>>912
>>606
0915１３２人目の素数さん
垢版 |
2020/05/16(土) 23:04:57.28ID:pVwHh2vl
> 渡部篤
> PCR検査は必要な人には行うべきだが、日本国民全員には無駄である。そんなお金があるならば、治療薬・ワクチンの開発と、コロナ恐慌で苦しむ企業と個人を救済すべきである。新型コロナウイルスよりテレビウイルスが怖い時代である。
>
> 馬場正弘
> コロナの参考にスペイン風邪のことを調べると、人口当たりで百倍以上死亡者が出て、アメリカは平均寿命が12歳も低下した。
しかし文明が崩壊するどころか経済は大して影響を受けず、アメリカは1920年代の金ピカ時代に突入する。当時の人類の方がずっとタフということが。
>
> 今すぐインフルエンザより弱いただの風邪で馬鹿みたいな経済封鎖で人を大量虐殺する蛮行を阻止しないといけない

山中みたいな馬鹿は殺していい
0916１３２人目の素数さん
垢版 |
2020/05/16(土) 23:07:35.61ID:oii8q1/C
>>914
いや、ZFCGがZFCの保存的拡大云々の話で怪しい部分があるってのが、結局怪しいが間違ってましたて話なんだけど
0918１３２人目の素数さん
垢版 |
2020/05/16(土) 23:12:02.92ID:oii8q1/C
>>917
えぇ。。じゃあなんの指摘なんだよ
0919１３２人目の素数さん
垢版 |
2020/05/16(土) 23:13:52.21ID:HZAEdK+O
>>918
なんのもなにもこれでしょ？（たぶん過去ログで１０回くらい貼られてる）

>>580-581
IUT論文公開当時のエレンバーグのブログでフェファーマンの弟子が書いているのだけど
M氏は或る先行論文の脚注でZFCGはZFCの保存的拡大であると書いていたらしい（自分はその論文がどれか知りません）。
もちろん保存的拡大ではないのですが。

結局Stixが言うようにエッシャーの階段にしかなっていないのですよ。
M氏はsimulate a∈a、loops of mutations、simulate ∈-loopsは種の言語では成り立つと考えているようですが。
その節で名前の出ているKimですら分からないとMOで書いています。
0920１３２人目の素数さん
垢版 |
2020/05/16(土) 23:16:05.10ID:u5Wx3bhi
基礎論の専門部分がわからないから数学のしろうとだっていうこと自体話が飛んでるし、
遠アーベルが数学の重要分野かどうかとなにも関係がないと思うんだが
0921１３２人目の素数さん
垢版 |
2020/05/16(土) 23:19:53.32ID:oii8q1/C
>>919
苦しい言い訳だなあ
>>324とかまさしく本文のIVにケチつけてるようにしか読めんけど
0922１３２人目の素数さん
垢版 |
2020/05/16(土) 23:20:49.30ID:oii8q1/C
>>920
比較的メジャーな基礎論ですらこれなんだから、遠アーベルが重要かどうかなんて分かる訳ねえじゃんて話
0923１３２人目の素数さん
垢版 |
2020/05/16(土) 23:21:09.64ID:MokiylaE
山中は大ホームラン(ノーベル賞）を打ったことがある。
望月は、ホームランかファールかずっと8年判定中。

格はまるで違う。
世間一般の扱いだと千倍ぐらい違うよ
0924１３２人目の素数さん
垢版 |
2020/05/16(土) 23:22:44.50ID: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章の話じゃないの？
そして修正してるんだから望月が間違えていたのでは？
0925１３２人目の素数さん
垢版 |
2020/05/16(土) 23:22:56.57ID:xQ6GSYXj
>>922
けっきょくこういう擁護がしたいから過去のだれのレスかわかんないやつの揚げ足取りしてるだけだわな
0926１３２人目の素数さん
垢版 |
2020/05/16(土) 23:25:12.60ID:Ikwt2T5y
>>924
たぶん今のIUT論文には書いてないから、ってことでは
まあようするに間違えてたってことだし、
あとで修正しても基礎論の理解が不十分なんじゃないかっていう疑問への反論になってないんだよね
そのへんはうえでとっくに議論済みなわけだが>>584とか
0927１３２人目の素数さん
垢版 |
2020/05/16(土) 23:27:39.02ID:oii8q1/C
君らは誰かの指摘に乗っかりたいだけで、ほとんど誰も考えてねーじゃんという話
0928１３２人目の素数さん
垢版 |
2020/05/16(土) 23:33:32.75ID:oii8q1/C
>>925
同じアンチから切り捨てられる当時のアンチくんがかわいそう
0929１３２人目の素数さん
垢版 |
2020/05/16(土) 23:33:42.27ID: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
0930１３２人目の素数さん
垢版 |
2020/05/16(土) 23:39:34.52ID:NvW/v763
考えてるもなにもZFCGがZFCの保存的拡大じゃないっていうのは、
Shulmanのp.15以下を読めばわかるしこのことも最初から言われてるよ

もっちーは基礎論の理解があやしいっていうのはどう転んでも否定できないんだから
すなおに認めればいいのに
それともどう転んでも否定できないからこの話題はやめにしたいのかもしれんが
0931１３２人目の素数さん
垢版 |
2020/05/16(土) 23:41:31.64ID:NvW/v763
だいたいどう転んでも間違ってるから最新版だと修正してるってのがわからんのかね
0932１３２人目の素数さん
垢版 |
2020/05/16(土) 23:44:40.30ID:oii8q1/C
詳しくないてのは正しいんだろうけど、これだけ色んな人が見た中でそんな基礎論の人から見たら明らかに間違ってることが今の論文に残されてんのか？てのが俺の意見だな
0933１３２人目の素数さん
垢版 |
2020/05/16(土) 23:50:02.12ID:7SYfcplA
5ch名人達。基礎論の件で誰かモチに直メで突っ込まんの？
0935１３２人目の素数さん
垢版 |
2020/05/17(日) 00:04:09.46ID:idOy6qD3
結局現論文で明らかな間違いはありませんでしたってことか
修正しろと騒いでたやつも修正されて良かったな
0937１３２人目の素数さん
垢版 |
2020/05/17(日) 00:09:45.90ID:4Wd753iR
明らかな間違いかどうかはわからないが、
「証明にギャップがある」とか「証明になっていない」とか「証明が理解できない」とか
言われているな
0938１３２人目の素数さん
垢版 |
2020/05/17(日) 00:15:46.54ID:b8wYZczP
なんか論点がすり替えられてるが、
もともとは論文IVの基本的な誤りを修正したのに結論に影響が出ないなら、
論文IVいらないんじゃないのって話ね
あと>>584

あとID:oii8q1/Cの言葉を借りればそんな初歩的な理解をしていないやつが
遠アーベルがわかるのか、って話（これは望月にとってすごいブーメランなの）
0939１３２人目の素数さん
垢版 |
2020/05/17(日) 00:18:01.94ID:/FhBkao/
＞比較的メジャーな基礎論ですらこれなんだから、
＞遠アーベルが重要かどうかなんて分かる訳ねえじゃんて話

なるほど、これはもっちーに対する批判だったのか（汗）
0940１３２人目の素数さん
垢版 |
2020/05/17(日) 00:43:02.81ID:YDliggmG
＞比較的メジャーな基礎論


少なくとも初めて聞きましたメジャーって言葉

煽るけど数学基礎論って基礎って言う名前の割にほとんど数学に役立たない
0941１３２人目の素数さん
垢版 |
2020/05/17(日) 00:49:45.66ID:1bBWb+BJ
宇宙際って名前の割には追分でしか成立しない
0943１３２人目の素数さん
垢版 |
2020/05/17(日) 01:39:12.74ID:/5MRV7Cs
>>940
最近まで役立たずだったが、圏論以後ポテンシャルは出てきたと思う。後は天才の出現次第だろう
まあ集合論にはゴロゴロ天才がいたんだけど、普通の数学には直接関係なかったからねえ
0944１３２人目の素数さん
垢版 |
2020/05/17(日) 01:52:39.67ID:YDliggmG
○圏論と基礎論は方向性が違いますので
0946１３２人目の素数さん
垢版 |
2020/05/17(日) 09:37:33.09ID:OxYJzrF1
>>940
　数学におけるガウスの役割
＝数理論理学＆集合論におけるゲーデルの役割

ちなみに（ヒルベルトの意味での）「基礎論」を殺したのはゲーデル

ゲーデル
「自然数論を含む帰納的公理化可能な理論が、
　無矛盾であれば、自身の無矛盾性を証明できない」
アッカーマン
「え？じゃ、自分の原始帰納的算術の無矛盾性証明はいったい・・・」
ベルナイス
「・・・ああ！証明中の順序数の超限帰納法が、
　原始帰納法的算術では導けないのか！」
ゲンツェン
「・・・てことは、逆に適切な超限順序数が構成できれば
　その超限帰納法によって、カット除去の証明が
　できるってことですね？(￣ー￣)ﾆﾔﾘ」
0948１３２人目の素数さん
垢版 |
2020/05/17(日) 10:04:38.81ID:qZbJw0Vm
>>420
基礎論は遠アーベル幾何より上位の分類（生物学で科のほうが属より上位という意味で）って話では

ていうか Mathematical Logic の訳語として何故か日本では「数学基礎論」が使われてるけど
今どきのロジシャンは必ずしも数学の基礎付けをモチベーションにしてるわけではないよね
ただ HoTT なんかはまさにそういう試みだと思うし
じっさい IUT を形式証明に載せるとかしないと現在の不毛な状況は進展しなさそうなんだけど
そんな人材いないよな…(Dupuy が貢献してくれると思ってたことあるけどあの人ダメっぽい)
0949１３２人目の素数さん
垢版 |
2020/05/17(日) 11:06:26.10ID:t5k0k7kf
役に立たないっていうのは工学が数論幾何に対して役に立たないと言うのと同じで、
「別にあんたのために研究してるんじゃないんだからねっ！！」
でしかないのでは
0951１３２人目の素数さん
垢版 |
2020/05/17(日) 12:06:43.44ID:C5I6HZrO
そもそも数学の基礎づけって数学界隈のごく一部が取り組んでいただけで、
ぜんたいとしては数学の基礎づけ運動なんて起こってないからなあ。
0952１３２人目の素数さん
垢版 |
2020/05/17(日) 12:12:21.29ID:3LIdhbL+
数学者全体として取り組んだ数学の運動って旧ギリシャ時代以外にはないでしょうね
0954１３２人目の素数さん
垢版 |
2020/05/17(日) 12:25:12.46ID:4Wd753iR
ヒルベルト・プログラムの影響って大したことなかったの？
ヒルベルトの23の問題（特に第2問題）とか、かなり大きな影響を与えたんじゃないかと思うけど
0955１３２人目の素数さん
垢版 |
2020/05/17(日) 12:41:01.69ID:fkBSYghd
算術の公理の無矛盾性とか気にしなくても数学はできる
これはデデキントが実数を厳密に定義するまえから実数はずっと使ってるのと似てる
0956１３２人目の素数さん
垢版 |
2020/05/17(日) 12:53:20.98ID:4Wd753iR
（素朴）集合論のパラドックスとか、当時は大問題だったと思うんだが
「ヒルベルト・プログラムは、単にその矛盾を取り除く（＝無矛盾性）だけではなく、
　今後二度とこのような矛盾が現われないように、数学全体に確固とした基盤（＝完全性）を与える目的があった。」
訳でしょ？
ゲーデルの不完全性定理によってこのプログラムがある種「終わる」までは、割と深刻な問題だったんじゃないか？
0957１３２人目の素数さん
垢版 |
2020/05/17(日) 12:56:38.84ID:fkBSYghd
>>956
それは一般向けに書かれる新書とかがそういう書き方だからだろう。
ああいうのは哲学とは関係があるのかもしれんが数学コミュニティとはそんなに関係はない。

ヒルベルトの問題提起からゲーデルの解決までのあいだに、
基礎付け以外の数学の研究が低調になったというデータでもあるのか？
0958粋蕎 ◆C2UdlLHDRI
垢版 |
2020/05/17(日) 13:04:02.27ID:LIJrZTQ0
寧ろラプラスの悪魔のが当時新世代に萎えを与えたイメージ
0959１３２人目の素数さん
垢版 |
2020/05/17(日) 13:05:22.29ID:OxYJzrF1
ヒルベルト・プログラムの目標は
自然数論による数学（というか解析学）の無矛盾性証明だったんだが、

ゲーデルが
「ごめん、ヒルベルト・プログラムを達成しようとしたんだけど
　そもそも自然数論の無矛盾性自体、自然数論で証明できないこと発見しちった」
といっちゃったんで、頓挫した

逆数学が、帰ってきたヒルベルト・プログラムかどうかはなんともいえない
しかし、主張な成果はほぼＡＣＡで達成できそうなんで
「な？」とかいうコート着たオジさんがでてきそうな感じではある
0960１３２人目の素数さん
垢版 |
2020/05/17(日) 13:08:32.57ID:4Wd753iR
>>957
そんなデータは知らないが、
この種の問題に全く興味がなかった数学者がいたってこと？
0961１３２人目の素数さん
垢版 |
2020/05/17(日) 13:10:37.52ID:OxYJzrF1
>>959の続き
RCA、WKL　　短小
ACA　　　　　通常
ATR、Π1-1CA　長大

とすると結論としては
「普通の＊＊は、通常のサイズでも、ほぼ満足」
って感じですかね
0962１３２人目の素数さん
垢版 |
2020/05/17(日) 13:11:01.38ID:3LIdhbL+
数百年前からすでに分野が多様化してますし、世代全体に影響を与えることはもうほぼないのではないでしょうか
仮にIUTが全て正しかったならば、そうなってたかもしれませんが
0964１３２人目の素数さん
垢版 |
2020/05/17(日) 13:27:44.78ID:4Wd753iR
>>963
いや当時の話ね
レスバ的には「基礎付け以外の数学の研究が低調になったというデータ」を示せない俺の負けでいいけど、
具体的な反例があるのかどうかは気になるところ
「ヒルベルト・プログラム？そんなのどうでもいい。俺は自分の研究さえできればいいんだ」
的な思想の数学者は当時本当にいたのかな？
0965１３２人目の素数さん
垢版 |
2020/05/17(日) 13:51:27.27ID:fkBSYghd
>>964
その質問は最初の質問とおなじなの？
最初の質問はヒルベルト・プログラムの特に第２問題が影響を与えたかどうかだよね？
で、俺は第２問題について考えなくても数学はできるしやってたでしょ、という立場。

そもそも数学者が真にヒルベルトの第二問題を深刻だと信じているなら、
数学の研究はいったんやめると思うんだが？
0966１３２人目の素数さん
垢版 |
2020/05/17(日) 14:14:44.88ID:4Wd753iR
>>965
そう
ヒルベルト・プログラムが当時の数学者に影響を与えたかどうか
あなたの立場によれば、ヒルベルト・プログラムの影響を受けなかった数学者が当時少なくとも1人は存在したことになる

全員が全員ヒルベルトやゲーデルのような天才ではないから、
全ての数学者が自分の研究を一旦やめてヒルベルトの第2問題に取り組めるはずはない
しかし、それでもヒルベルト・プログラムのことを頭の片隅に置いた状態で研究していたのではないかと思う

そうでない数学者が「存在する」という主張は正しいかもしれないが、それなら具体例が知りたい
0967１３２人目の素数さん
垢版 |
2020/05/17(日) 14:18:32.31ID:fkBSYghd
>>966
研究を続行したやつは全員具体例。

思想を受容するということは口先だけで受容したかどうかわからないから、
行動をみるというのが俺の立場。
第二問題を深刻に受け止めるならほかの数学の研究は中断するしかない。
なぜなら、第二問題に他の研究の可否が依存してしまうから。

俺は「宇宙法則は次の瞬間に変わるのかもしれない」という問いに意味がない、
という立場だから。もし本気でそう思っているのなら生活ができなくなる。
0968１３２人目の素数さん
垢版 |
2020/05/17(日) 14:21:07.21ID:IVRUUd3J
諸法無我
@MugaShohou
36分
返信先: @Sakurazaka4649さん
数論の研究者が皆FLTの証明を理解しているとでもお思いなのでしょうか。 だとしたら、もう少し数学界について詳しくなることをお勧めします。


FLTですら、数論の研究者でさえ理解していないのですから、数学者全体に影響を与えるのは果てしなく難しいでしょう
0969１３２人目の素数さん
垢版 |
2020/05/17(日) 14:21:21.01ID:fkBSYghd
そもそも頭の片隅において、という留保がつくなら>>956と同一の質問ではないと思うけどね。
0970１３２人目の素数さん
垢版 |
2020/05/17(日) 14:26:17.39ID:4Wd753iR
別にレスバしているつもりはないんだが…
全員と言われても、不勉強なもので当時の数学者について詳しくないので、
1人でもいいので具体的な数学者の名前を出していただけると助かります
0971１３２人目の素数さん
垢版 |
2020/05/17(日) 14:30:32.96ID:fkBSYghd
>>970
レスバなんてしてない。
きみは>>956で「当時は大問題」「割と深刻な問題」て書いたから、
俺は「数学コミュニティとはそんなに関係はない」と書いたわけ。

で、数学コミュニティが無矛盾かどうかでひよった形跡はないわけだろ？

だったらそれで話は終わってるじゃん。
頭の片隅にヒルベルトの第2問題を置いていなかった数学者の具体例、
なんて質問は最初はなかったのだから、きみのほうがレスバにこだわっているのでは？
最初のほうの疑問についてまだなにか疑問があるのか？
だったらそれをそのまま言って欲しいんだが。
0972１３２人目の素数さん
垢版 |
2020/05/17(日) 14:35:48.38ID:4Wd753iR
>>971
最初の疑問にこだわっているというか、
「頭の片隅にヒルベルトの第2問題を置いていなかった数学者の具体例」を知りたい
という方向に興味が移っています
どなたかご存じの方がいらっしゃいましたら、ご教示いただければ幸いです
0973１３２人目の素数さん
垢版 |
2020/05/17(日) 14:40:01.01ID:fkBSYghd
>>972
頭のなかを検査する方法はないので調べようがありません。
むしろどうやってチェックできると思ってるの？
0974１３２人目の素数さん
垢版 |
2020/05/17(日) 14:44:16.87ID:4Wd753iR
>>973
そうですね
例えば、「ヒルベルト・プログラム（またはヒルベルトの第2問題）はクソ」といった趣旨の文書を残していれば
そのような数学者は具体例と言えるでしょう
0975１３２人目の素数さん
垢版 |
2020/05/17(日) 14:45:56.41ID:fkBSYghd
>>974
また質問が変わってないか？
それはヒルベルトの第二問題を意識してないかどうかじゃなくて、
ヒルベルトの第二問題に対する一定の態度表明だよね？
0976１３２人目の素数さん
垢版 |
2020/05/17(日) 14:47:19.54ID:6B2cGKoV
ヒルベルト・プログラムをどうでも良いと思ってた数学者が大半かな
声なき声として
思っていたなら言及するがほぼ100%の数学者は無視してた
それが真実
0977１３２人目の素数さん
垢版 |
2020/05/17(日) 14:47:51.57ID:fkBSYghd
とりあえず「ヒルベルトの第二問題はクソだと公に主張した数学者はいるのか？」
という疑問でいいの？

じゃあ俺は知らないな。
0978１３２人目の素数さん
垢版 |
2020/05/17(日) 14:49:12.17ID:fkBSYghd
>>976
態度表明としてはそうだよね。
だって1900年を境に数学コミュニティが別様の行動を取り始めたという痕跡はないから。
0979１３２人目の素数さん
垢版 |
2020/05/17(日) 14:52:54.21ID:4Wd753iR
言葉遊びではなくて、
「ヒルベルト・プログラムをどうでも良いと思っていた数学者」
は、存在はしていただろうが、例えば誰がその1人だったのかを知りたい
という話です
言及せずに無視ではどう思っていたかはわからないので
0980１３２人目の素数さん
垢版 |
2020/05/17(日) 14:54:15.26ID:fkBSYghd
>>979
じゃあだれか他のひとが答えるの待ってくれ。
俺は上で書いたように態度主義なので「態度は無視してても内心は違うかもしれない」
という疑問には興味がない。
0981１３２人目の素数さん
垢版 |
2020/05/17(日) 14:58:24.37ID:IVRUUd3J
>>980
態度は興味があるが内心は関係ない
と考えるのであれば、声なき声とやらにも興味はないはずですよね
何故なら態度だけ見れば「不明」であってどうでもいいと思っていたかどうか確定しないので
0982１３２人目の素数さん
垢版 |
2020/05/17(日) 15:02:30.08ID:fkBSYghd
>>981
うん、だから上で態度表明って言ってる。
1900年を境に数学コミュニティの態度が豹変したデータはないと最初から言っている。
0983１３２人目の素数さん
垢版 |
2020/05/17(日) 15:04:00.26ID:6B2cGKoV
ヒルベルトプログラムが唱えられていた間はそれで肩がつくから、誰も気にしなかった
ゲーデルの不完全性定理が出てからは、ヒルベルトプログラムなんか気にしても仕方ないと
余計誰も気にしなくなった
これが真実
0986１３２人目の素数さん
垢版 |
2020/05/17(日) 15:10:22.48ID:IVRUUd3J
>>985
あなた自身がそれを曲解しているんですよね
「第二問題を深刻に受け止めるならば、態度を表明するだろう」これを受け入れるとしても、「深刻に受け止める」の反対の立場は「どうでもいい」ではないですよね
何故ならば「どうでもよくはないが深刻には受け止めていない」という人が存在しうるので
したがってあなたが>>976に同意するのは、あなたの>>967の意見から逸脱する「態度」なんですよね
0987１３２人目の素数さん
垢版 |
2020/05/17(日) 15:12:24.62ID:fkBSYghd
>>986
＞「どうでもよくはないが深刻には受け止めていない」という人が存在しうるので

それは>>956の「割と深刻な問題」「当時は大問題」に該当しない。
0988１３２人目の素数さん
垢版 |
2020/05/17(日) 15:14:28.97ID:fkBSYghd
ああ、ちなみに、>>976の「無視」は>>956とちがうんじゃないか、
という重箱つつきなら、

>>976の言ってるのと>>956の言ってるのはちょっとズレてるかもね、
と認めるよ。

揚げ足取りとしてくだらなさすぎるので。そういうひとと議論するの時間の無駄だから。
0989１３２人目の素数さん
垢版 |
2020/05/17(日) 15:16:27.18ID:IVRUUd3J
>>987
それと、あなたが「態度にしか興味がない」にも関わらず「態度には現れていないが声なき声はどうでもいいと言ってる」に同意するという矛盾についてはどう関係があるんですかね
0990１３２人目の素数さん
垢版 |
2020/05/17(日) 15:20:04.43ID:4Wd753iR
まあまあ、ここは基礎論スレではないので
誰か数学史に詳しい親切な人が具体例を挙げてくれるのを待ちましょう
お前が言うなって話ならごめんなさい
0991粋蕎 ◆C2UdlLHDRI
垢版 |
2020/05/17(日) 15:25:27.58ID:LIJrZTQ0
逆証明だの逆数学だのは其々、何者が如何なる手法で何物を探究する分野なんじゃろ？
0992１３２人目の素数さん
垢版 |
2020/05/17(日) 15:40:23.50ID:LmvEIhyw
>>968
諸法無我？

公世の二位のせうとに、良覚僧正と
聞えしは、極めて腹あしき人なりけり。
坊の傍に、大きなる榎の木のありければ、人、「榎木僧正」とぞ言ひける。
この名然るべからずとて、かの木を
伐られにけり。その根のありければ、
「きりくひの僧正」と言ひけり。
いよいよ腹立ちて、きりくひを堀り
捨てたりければ、その跡大きなる堀
にてありければ、「堀池僧正」とぞ
言ひける。
0993１３２人目の素数さん
垢版 |
2020/05/17(日) 15:51:51.63ID:9GRMXxZv
無視していたというよりは大多数の数学者にとって難しすぎて手におえん
手を出してはいけない問題と思ってたんじゃないの？
0994１３２人目の素数さん
垢版 |
2020/05/17(日) 16:00:23.55ID:y4BiDiZT
twitterを見ていたら
「本当に頭のいい人は、バカでも理解しやすい言葉で話す。
わざわざ難しい言葉を紡ぐのは、コンプレックス丸出しで恥ずかしいものだなぁと思っている。」
という意見があって全く同意　古今東西そういうもの

IUT論文は恥さらしである
0995１３２人目の素数さん
垢版 |
2020/05/17(日) 16:04:30.15ID:Srp2dxt0
mugashohou氏が誰か大体あたりつくけど、iutを理解してるわけではないだろうね。ど素人というわけでもないけど。まあiutの正否に影響を与える人ではないよ。
0996１３２人目の素数さん
垢版 |
2020/05/17(日) 16:11:04.65ID:m7MQgiA5
mugashohou氏は数学者コミュニティをよく知っているように見えるけど、数学者なのだろうか
0997１３２人目の素数さん
垢版 |
2020/05/17(日) 16:20:03.42ID:idOy6qD3
>>994
これよく見るけど、説明のうまさは頭の良さの一指標に過ぎないなあと思う
0998１３２人目の素数さん
垢版 |
2020/05/17(日) 16:29:47.22ID:LmvEIhyw
ピント外れは複雑怪奇の説明になるね

FLTの証明は岩波から出版されている。
一部証明が省略されているが
数論をやっているなら理解できる
と思うけど
0999１３２人目の素数さん
垢版 |
2020/05/17(日) 16:32:59.02ID:LIJrZTQ0
>>994
ラプラス変換を幼稚園児に分かる様に教える説明を見せてくれ
ウェーブレットを幼稚園児に分かる様に教える説明を見せてくれ
PvsNPを幼稚園児に分かる様に教える説明を見せてくれ
IUTを幼稚園児に分かる様に教える説明を見せてくれ
但しどれも要求理解度は博士課程修了程度とする

極端言うとる奴に何で普通の問い返しを期待しとる？極端言うとる奴には極端な問い詰りじゃ｡
1000１３２人目の素数さん
垢版 |
2020/05/17(日) 16:34:30.71ID:LmvEIhyw
IUT奇談
10011001
垢版 |
Over 1000Thread
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 11日 13時間 23分 9秒
10021002
垢版 |
Over 1000Thread
5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。


───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────

会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。

▼ プレミアム会員登録はこちら ▼
https://premium.5ch.net/

▼ 浪人ログインはこちら ▼
https://login.5ch.net/login.php
レス数が1000を超えています。これ以上書き込みはできません。
ニューススポーツなんでも実況