20/05/12 0
773:2:20:57 ID:2lBoS/UZ.net
774:132人目の素数さん
20/05/12 06:03:30 gmSQkuCI.net
>>712
>(PAって)自然数の部分集合を一つの対象として扱えないから、
>実数すら扱えないんじゃね?
確かに、PAで実数は定義できないから解析学は展開できないね
一方で、PAに算術的内包公理を追加したACAでは実数が定義可能
かつ、大抵の数学の定理はACAで証明できる
そして、ACAでも証明できる算術の定理はPAと同じ
したがって、もしABC予想がACAで証明可能ならPAでも証明できる
775:132人目の素数さん
20/05/12 07:06:49 q4EiO+Ev.net
IUT論文は4月12日 4月18日 4月22日
も修正されている。
PRIMS編集委員会(望月新一編集長)
は投稿規定や編集委員規定や編集規定
を公開してください
776:132人目の素数さん
20/05/12 09:18:47.62 HjFiIVBO.net
>>732
和也先生や肥田先生はアメリカ在住だし
国際的に評価される業績を挙げたという意味では辻先生くらい?
数論で日本在住の日本人数学者だと普通にモッチーが日本トップじゃね(IUTT抜きでも)
777:132人目の素数さん
20/05/12 09:29:15.91 AnXVVdWI.net
自画自賛ですか?
778:132人目の素数さん
20/05/12 09:41:03.29 bLFrGOKZ.net
アンチって変なの多いよね
779:132人目の素数さん
20/05/12 09:49:40.26 lajADy8N.net
>>732
高木貞治
780:132人目の素数さん
20/05/12 10:21:28 WzT8mfCJ.net
>>739
あんな長い論文当たり前だろ
馬鹿なのか?
781:132人目の素数さん
20/05/12 10:34:46 lSMaIV9+.net
ただただディスりたいだけの素人だろ
魂胆が疑わしいレベルのデマ流してる怪しい輩がいるぞ
782:132人目の素数さん
20/05/12 10:41:26 roB2HcCF.net
公開してください → 馬鹿なのか?
なんかつながってない
783:粋蕎 ◆C2UdlLHDRI
20/05/12 10:43:17 JxKxPdjg.net
盲信者や盲アンチに成る位なら我関せず知らぬ存ぜぬの無定見無所属に甘んじる方が幾億倍マシ。
そもそも過信は無定見信仰じゃし過疑にしても無定見懐疑。
784:132人目の素数さん
20/05/12 10:49:38 f1w7ju6S.net
単発IDコロコロしてまでディスってる奴って何者?
日本人が妬ましくて足引っ張りたいだけのアノ連中?
785:132人目の素数さん
20/05/12 11:18:02.18 Q+21y1m4.net
RIMSは平成28年6月の時点で、
IUT論文より査読中ながら
abc予想は解決した、と公式に
表明した
↓
京都大学数理解析研究所
第2期中期目標期間(平成22年~
平成27事業年度)について
1 現況調査表 平成28年6月
p 28-3 資料 2. 発表論文数 所員の発表
論文数 査読付き論文のみ
p28-10 事例4「数論幾何の研究」
「望月新一に よる「宇宙際タイヒミューラー理論」の構築とその結果としての
ABC 予想の解決は、特筆 すべき
出来事である。」
「当該論文は現在査読中であるが、 」
「望月新一が同理論の概要を解説した業績番号1― (2)(2014)が、講究録別冊
として刊行されている」
(RIMS現況調査表。
京都大学.数理解析研究所が文科省
所管の独立行政法人 大学改革支援・
学位授与機構へ提出)
URLリンク(www.niad.ac.jp)
2 現況分析結果 平成29年6月
注目すべき質の向上 p28-4
○「数論幾何の研究」の「宇宙際
タイヒミューラー理論」の構築と
その結果と しての ABC 予想に
関する論文は、国内外の主�
786:vメディアで取り上げられている (現況分析結果。 文科省所管の独立行政法人 大学改革 支援・学位授与機構が京都大学数理 解析研究所の現況を分析、 RIMSの現況調査表「IUT理論の構築と その結果abc予想が解決した」は削除 された) 平成29年6月 https://www.niad.ac.jp/sub_hyouka/kokudai2016/no6_3_55_kyoto_2016_1.pdf
787:132人目の素数さん
20/05/12 11:29:33.34 /osh8u+Y.net
>>740
順当に見ればそうだよね。
788:132人目の素数さん
20/05/12 12:27:35 13u9CvEi.net
数論というか数論代数幾何の話だよねそれ
その外だと比較自体難しいよ。迷惑だろうから名前は挙げないにしても
789:132人目の素数さん
20/05/12 12:47:58 edWvmwU4.net
日本からアインシュタインがでてきた
790:132人目の素数さん
20/05/12 12:54:07 /osh8u+Y.net
>>751
同意。比較厨のアンチが多いから一旦この議論が出たのはいいと思う。
791:132人目の素数さん
20/05/12 13:02:20 LthUTyJJ.net
比較厨のアンチとは?
もともとタオとガウスのどっちがって話で望月と関係なかったのに、
ID:/osh8u+Yがぐだぐだ話を拡大させただけじゃん。
792:132人目の素数さん
20/05/12 13:12:38 OW6ET8po.net
愛UTスレでガウスとTAOをくらべる意味ってあるのかな
せめてガウスとモッチ、タオとモッチ、ショルツェとモッチを比べて欲しい
793:粋蕎
20/05/12 13:32:25.78 JxKxPdjg.net
望月は餅衝きの刑
794:132人目の素数さん
20/05/12 13:41:50.10 ChCwp48E.net
>>746
可哀想。
繋がらないし、ピンとこないアレレに生まれついちゃったんでしょうか…
795:132人目の素数さん
20/05/12 17:58:53 Wcl7UiUc.net
現代数学の今月号(2020年6月号)の山下純一の記事に、
望月論文の雑誌掲載とそれに対する批判の経緯が載ってる。
来月号に続くので、続きを早く読みたい。
796:132人目の素数さん
20/05/12 18:31:11.68 FHp+AoQl.net
例え話にさだまさしが出てくるあたりかなり年齢層高いなここ
797:132人目の素数さん
20/05/12 20:15:21 LHLoA2rw.net
>>759
さーだーまーさーし
798:132人目の素数さん
20/05/12 20:53:47 n1GZ65kN.net
望月氏とガウスを比較っておかしすぎる ガウスは最上位
たとえば以下の数学者の方が全然上
(というかABC予想証明とかいうのがだめだったら大変)
ヒルベルト、リーマン、ゲーデル、ガロア、ポアンカレ
アーベル、クライン、ワイルズ、デデキント、ディリクレ
ヘルマン・ワイル、グロタンディーク、アティヤ
エルミート、ケイリー、タオ、ルベーグ、エミール・アルティン
カルタン、小平邦彦、ヴェイユ、シュヴァルツ
広中平祐、ポントリャーギン、シロー
ロバチェフスキー、エミー・ネーター、コーシー
ハミルトン、コルモゴロフ、ヤコビ、ミンコフスキー
ド・モアブル、ストークス、クロネッカー
トンプソン、ドリーニュ、岩澤健吉、高木貞治
799:132人目の素数さん
20/05/12 21:14:22 n1GZ65kN.net
>>761
これらの数学者にも及ばない
フォン・ノイマン、ラマヌジャン、カントール
ブール、ペレルマン、ワイエルシュトラス
アーノルド、ド・モルガン、チェビシェフ
ソフス・リー、ハウスドルフ、リウヴィル
セルバーグ、リャプノフ、クンマー
カラテオドリ、グラスマン、マンフォード
フロベニウス、コンヌ、ピカール
グロモフ、ジーゲル、クーラント、ジョン・テイト
シューア、ショルツェ、コクセター、ヘッセ
バーンサイド
800:
20/05/12 21:50:27.73 UefxpRCw.net
>>761-762
アルキメデスが抜けていますね
801:132人目の素数さん
20/05/12 21:59:51 8wZovSMM.net
>>763
風呂から飛び出して、フルチンまま絶叫しながら街中を疾走したヒトか
802:132人目の素数さん
20/05/12 22:05:59 n1GZ65kN.net
これはガウス以降の人達
803:ね
804:132人目の素数さん
20/05/12 22:18:00 d2xoUXcj.net
>>758
要約して
805:132人目の素数さん
20/05/12 22:18:32 VcTKxGmN.net
結果を出す前から、胡散臭いアピールが多いのよね。
まあ本人がしていることではないと思うけどね。
証明できたとしても、ノーベル賞2つ3つじゃ足りないってことはあり得ないし
できなかったら、大学の普通の数学者じゃないの。
806:132人目の素数さん
20/05/12 22:26:35 Wcl7UiUc.net
>>766
山下純一氏の記事を一言で要約すると、
「望月vsショルツェ」
ですかね。
来月号に続く予定。
807:132人目の素数さん
20/05/12 22:28:40 e0SQqmzZ.net
>>764
現代で大発見したとして、ふるちんで走り回る数学者っているのかな
808:132人目の素数さん
20/05/12 22:41:15 /osh8u+Y.net
>>767
グロタンディーク予想
809:132人目の素数さん
20/05/12 22:44:54 0bq0yH9u.net
グロダンディーク予想って予想に大数学者の名前がついてるだけで、
べつにそこまで重要な予想じゃなくね?
810:粋蕎 ◆C2UdlLHDRI
20/05/12 22:45:05 JxKxPdjg.net
>>760
スーパーマリオワールドに歌詞つけんの自重せいよ(笑)
811:132人目の素数さん
20/05/12 23:32:29.60 HlS2vCHp.net
>>769
少し違うかもしれんが
加藤和也が大学院生のときにほぼ全裸で数学しながら外出してしまって警察に捕まったことは有名だな
812:132人目の素数さん
20/05/13 00:41:35 l7uaOAeo.net
望月さげをしたいだけのじいさんの集まり 不見識さらしまくり
813:粋蕎 ◆C2UdlLHDRI
20/05/13 01:08:17 PCZ7zAff.net
お婆ちゃん帰りましょう
814:132人目の素数さん
20/05/13 01:41:29.84 14lf73gR.net
>>771
ワロwww
815:132人目の素数さん
20/05/13 01:54:01.11 izAtyKG3.net
グロダンディークは、偉い人だな。
俺でも知っている。
816:132人目の素数さん
20/05/13 02:12:30 oLzkPZDK.net
ヴェイユとセールが裸で中禅寺湖で泳いだとかいう話があったような。
817:132人目の素数さん
20/05/13 05:25:32.74 tiW6QYt6.net
>>764
要約して
818:132人目の素数さん
20/05/13 06:42:15.13 ET3/7/TL.net
>>758
やっと日本でも「望月の証明には懐疑的な意見もある」という真実がぼつぼつ活字になるようになったか。
いままでは数学板のこのスレだけでしか日本語の懐疑的な意見を読むことができないという異常な状態だったからな。
大体、玉川が「ショルツが再反論しなかったから望月は正しい」などと言った時記者団は突っ込むべきだった。
RIMSは明らかにわかってないのに論文を通過させたんだから。
819:132人目の素数さん
20/05/13 06:51:23.25 YxiDM0Si.net
>>780
そういえば、数セミってこの件について全く言及してないと思うけど
>「ショルツが再反論しなかったから望月は正しい」
「望月は正しい」じゃなくて「論文を受理した」じゃね?
理由も「正しい」じゃなくて「誤りが見つからなかった」だろうね
気付いてて見過ごしたんなら悪意だが、気づかなかったんならただの過失
玉川氏がいいたいのはそういうことじゃね? 真相はともかく
820:132人目の素数さん
20/05/13 07:21:04 Csv36UPM.net
>>746
雑誌掲載した経験があればわかる w
投稿して掲載で、雑誌側で校正する場合には、
雑誌のプロの校正者により、数ページの論文でもmisprintや校正意見の連絡が来て、訂正する。
ましてや数百ページで >あんな長い論文当たり前だろ、は>>744に同意見 。
知っていればMisprintレベルの訂正についてで、基準を公開しろとかは、、
>馬鹿なのか? になるよ。
821:132人目の素数さん
20/05/13 08:39:11 fEDmqJEG.net
>>782
ま、RIMSの教授(PRIMS編集委員)は、
査読中にabc予想を解決した、
と公式報告したんだよね。
>>749
822:132人目の素数さん
20/05/13 10:01:33 Csv36UPM.net
>>783
雑誌掲載での校正は、雑誌掲載の後の順序で、行なわれる作業だよ。
まさか掲載決定する前で、掲載するかも分からない論文を、雑誌に費用を払って、校正して貰うことは無いだろ。
それが普通の順で、それ以外の順序(雑誌校正後に掲載決定)はまず無いだろうから、PRIMSも同じでしょ。
823:132人目の素数さん
20/05/13 10:03:06 Csv36UPM.net
x雑誌掲載の後の順序で、
〇雑誌掲載決定の後の順序で、
824:132人目の素数さん
20/05/13 10:05:41 X+6dFqm7.net
>>779
すでに限界以上に(肝心なところすら省かれるまでに)要約されてるだろw
825:132人目の素数さん
20/05/13 10:19:40 a2PawawM.net
そもそもグロタンティーク予想のときから身内持ち上がりっぽいところがあるんだよね。
Grothendieck conjectureというのはRIMS界隈の造語なんだよ。
ふつうGrothendieck conjectureと言えば、
Grothendieck–Katz p-curvature conjectureのことなんだが、
これを望月が解いたわけじゃないから。
海外の数学者にGrothendieck conjectureって知ってるか、って聞いて、
望月が解いた遠アーベル幾何予想のほうを答えるひとはいないだろうな。
826:132人目の素数さん
20/05/13 10:20:21 fEDmqJEG.net
>掲載決定する前で、掲載するかも
分からない論文
PRIMS編集委員(RIMS教授)は
IUT論文の査読中にありながら
abc予想がIUT論文より解決した、
と公式報告した。
査読中から結論が決まっていた、
827:132人目の素数さん
20/05/13 11:06:33 Csv36UPM.net
>>788 よく読もう。
>>739で、
>IUT論文は4月12日 4月18日 4月22日
>も修正されている。
>PRIMS編集委員会(望月新一編集長)
>は投稿規定や編集委員規定や編集規定
>を公開してください
で、4/3以降のミスプリント訂正だけど、「それが理由で基準公開しろとの話に関して」、
>知っていればMisprintレベルの訂正についてで、基準を公開しろとかは、
>馬鹿なのか? になるよ。
これは確かに、馬鹿なのか?、レベルだと同意しているだけ。
掲載版が、決定版と違えば、変更したのが校正側か著者側かも、校正稿の記録で分るだろうし w
あと、「雑誌決定後に著者がミスプリ訂正以外で変更する」とか、「その他」には、何も言及していない。
単に「雑誌掲載決定後に、プロの校正が入れば、ミスプリの訂正が入る」のは、大抵の雑誌校正では普通だと思うよ。
828:132人目の素数さん
20/05/13 11:11:29 aRkbFXYG.net
PRIMSは正しいよ。
投稿者より優秀な査読者が見つからなかったら
受理は当然だよ。
問題なのは上記を明言せずに、ごまかしたみたいな印象の受理をしたこと。
829:132人目の素数さん
20/05/13 11:14:37 6BWcsxUZ.net
元々査読中にIUT論文の結論が決まって
いるから、査読制度が崩壊しているね。
830:132人目の素数さん
20/05/13 11:35:38.40 fEDmqJEG.net
現代数学山下純一氏の記事を読んだけど
>>749の話がなかった。
これ矛盾していますが
日本の数学界はお墓に持っていくの
だろうか?
831:132人目の素数さん
20/05/13 11:39:46.85 pZyVWpwd.net
もうガッキーと結婚できないの?
832:132人目の素数さん
20/05/13 12:10:49.84 +KLoGeGf.net
>>787
まあ、それだとしても遠アーベル幾何的には基礎的で重要な問題なんじゃないのかね。
833:132人目の素数さん
20/05/13 12:15:22.31 3mQ51YEL.net
>>792
もうあんたいいよ、粘着してる同一人物でしょ?
あの報告書は事務が用意するもんだから、学術的な根拠にならないのよ、つまり間違いもある
事務に解決か解決じゃないかの違いはあまり意味がないのよ
834:132人目の素数さん
20/05/13 12:22:02.73 tiW6QYt6.net
ガッキーと結婚。。。
デキル?☆デキナイ?★とかは、ぜんぜん別問題のabc予想なんだと思います。
835:132人目の素数さん
20/05/13 12:23:02.68 QscwWYkK.net
石田ゆり子さんがお似合いなのに結局若い女がいいのね、もっちーも(*`Д')
836:132人目の素数さん
20/05/13 12:33:26.38 tiW6QYt6.net
>>797
w
気持ちわかるわかる~
(タメ口)
でももっちーJr.に増えて頂きたいから…若い奥様に期待したぃ希モス…
837:132人目の素数さん
20/05/13 12:39:11.01 /XMNRK6t.net
RIMSの助教とかどうよ
838:132人目の素数さん
20/05/13 12:45:29 tiW6QYt6.net
ぜひ*くっついて*頂いて
もっちー×優秀な若手
839:研究者女性のJr.に続々誕生して頂きたぃ!
840:132人目の素数さん
20/05/13 12:47:28 DP2x7J2V.net
マジでdtなん?
841:132人目の素数さん
20/05/13 12:49:55 tiW6QYt6.net
人生のなにもかもすべて数学に替えてきたのかも。。。
842:132人目の素数さん
20/05/13 12:50:46 pZyVWpwd.net
でその数学で失敗か...
843:132人目の素数さん
20/05/13 12:53:13 fEDmqJEG.net
>>795
教授会の責任ですよ
844:粋蕎 ◆C2UdlLHDRI
20/05/13 15:17:43 PCZ7zAff.net
もっちーもお猿の一石ヂヂッチャマも安達弘志氏も皆、種切れじゃろ、子作りは望めん
845:132人目の素数さん
20/05/13 16:46:44.67 uMe8boWM.net
>>805
ほいよ
URLリンク(www.j-cast.com)
j-cast 文 ヤンヤン| 似顔絵 池田マコト
世界最高齢「父親」!インド96歳に赤ちゃん「そろそろ妻に避妊させなきゃ」
2012年10月18日13時13分
(抜粋)
これは盛り上がった。世界最高齢の父親になった男の話だ。インドのラマジット・ラグハブさん96歳 が今月5日(2012年10月)、めでたく元気な男の子を授かった。母親はシャクンターラさん52歳だという。ラグハブさんは「子どもの名前はランジットといいます。神様が私に授けてくださったんです。精力剤などは飲んでいませんよ」という。
専門医「生きている限り精子はできる。子どもを作ることは可能」
医学的には可能なのだそうだ。東京EDクリニックの玄于享院長は「生きている限り精子はできる。子どもができるというところまでいくことは可能だと思います。普通ならば、96歳というとまあいろんな意味でね、引退ですよね」話す。
菊川怜キャスター「本当に96歳なんですか」
笠井は「一応、記録が残っている」とギネスブックを引っ張り出した。92歳のオーストラリア 人というのが「最高齢パパ」の記録になっていたが、ラグハブさんは実は94歳の時にこの記録を更新していた。つまり、2年前にも子供を作っていて、今回は自己記録を更新したというのだった。いったい子どもは何人いるのかと調べたら、子どもは前回の子(2)と今回の子の2人だけだという。
司会の小倉智昭「いままで何をやってたんだ!」(大笑い)
スタミナの秘密は早寝早起き「5時起床、庭いじりして昼寝と散歩、8時就寝」
846:粋蕎
20/05/13 16:56:56.64 PCZ7zAff.net
インドやスリランカは自然の精力剤の宝庫じゃバカモン
847:132人目の素数さん
20/05/13 17:10:05 YxiDM0Si.net
>>806
>菊川怜キャスター「本当に96歳なんですか」
つっこみどころはそこじゃない!
「本当にオジイチャンの子供ですか?」
DNA解析による真相の究明が望まれる・・・
それにしても子供の母親は52歳・・・
そっちのほうが(本当なら)驚きだろう
848:132人目の素数さん
20/05/13 18:50:36.22 oIxfYiIk.net
そもそももっちーは結婚したがってるのかね
かわいくて清楚なおなごを遠くから見てるだけでいいっていう昭和の乙女思考かもしれないじゃない
849:132人目の素数さん
20/05/13 20:39:24 DP2x7J2V.net
キモいなw
850:132人目の素数さん
20/05/13 20:55:07 hePxQ2qs.net
ロリコンはちょっと
851:132人目の素数さん
20/05/13 21:11:44.18 tiW6QYt6.net
44歳年の差婚カップル…
夫54歳のとき夫人10歳…
新郎64歳&新婦20歳くらいの年の差新婚夫婦でスタートしてるのかも。。。
852:132人目の素数さん
20/05/13 21:17:39.
853:50 ID:tiW6QYt6.net
854:132人目の素数さん
20/05/13 21:34:48.04 E9JN6Eqz.net
ラサール石井の嫁が34歳差だろ
モッチーならまだ全然可能だよ
855:132人目の素数さん
20/05/13 22:12:55 1TX6Uk/U.net
可能だけど、芸能人と違ってカタイ職業だからちょっとキモイかなw
マスゴミ嫌いで嫁はロリって、ガチってかんじがするし
856:132人目の素数さん
20/05/14 08:13:54.15 DuNeW6DF.net
ガッキーの気持ちを考えてやれよ
857:132人目の素数さん
20/05/14 09:00:43.89 gHMRZlUf.net
逃げ恥またやるんだな
もっちー、喜んでるかな
858:132人目の素数さん
20/05/14 17:07:49 3MIu7ObK.net
京大山中所長
「一人から何人に感染が広がるかを
示す実効再生産数(Rt)を1未満で
維持することが目安になります。」
「Rtは統計や公衆衛生の専門家でない
と算出できないと思い込んでいましたが、昨日に紹介した論文でエクセルを使って算出する方法が報告されています」
「大阪府民である私から見ると、
大阪府のRtが4月21日に1を下まわり、
5月1日現在で0.6程度という計算結果は、府民の努力が報われているようで嬉しく思います」
↑
素人の所長が公式をエクセルで計算
し他人を振り回してはいけません。
高校生へオイラーの公式を振り回し
威張る高校教師を想起します、
大阪府民が大喜びなら大きなお世話
でしょうが。
まずデータの注意書きは必ず読みましょう。
859:132人目の素数さん
20/05/14 17:09:41 3MIu7ObK.net
>>818
Rtは臨界.閾値に関係し、まず
SIRモデル=KMの微分方程式
力学系 V-Tグラフ 臨界 閾値の定理
ミクロからマクロへ からでしょう
高校の数学物理生物を読みましょう。
また京大RIMSからも、IUTによる
チャート式COVID19流行の
「大予言」がありそうです。
英国フェセンコ曰くIUTは天気予報も
改善する可能性もあると。
なら天気予報特に集中豪雨よりも
感染症流行の方が予測は容易いはず
実際は
英国 感染者数 230264人
死者33264人
デフォー「ペスト」の世界の再現か?
COVID19を避難し郊外でIUTの
ポストモダン物語を書くためか?
860:132人目の素数さん
20/05/14 18:30:01 gkLkdBaO.net
>>818
宝くじに当っただけなのに、
自分は頭がいいと思い込んでしまったんだろね。
861:132人目の素数さん
20/05/14 19:54:34 1sT+4Tsx.net
山中教授はコロナのホームページ張り切って立ち上げたり
ノーベル賞の俺が国民を救ってやんよ感が出すぎてるよな
純粋な知的活動による業績ではないので俺はあまり好きではない
862:132人目の素数さん
20/05/14 20:18:31 2NOWxv+e.net
山中先生。。。
エリートらしい社会意識の高さがうかがえるご活躍ぶりが大変頼もしく感じられます。。。
(素晴らしい方だな)って拝見してます。。。
863:132人目の素数さん
20/05/14 20:27:56 Y6zl8CwR.net
高校物理で類似なら原子核崩壊や気体分子の衝突確率モデル、更に確率のパーコレーションも感染症の拡散モデルがあり
�
864:ユ界がある。 反応拡散方程式なら趣味の範囲かw 類似は類似で感染症は素人だから クラスター班の分析を興味深く見ているだけの人も多い。 素人でも北大数理モデルチームが優秀なのはわかるw 数学セミナーにシンプルな分析方法の記事があるね、
865:132人目の素数さん
20/05/14 20:41:42 vRmthIhC.net
山中って本当に馬鹿だな
866:粋蕎 ◆C2UdlLHDRI
20/05/14 20:56:21 wmtQoKkt.net
>>820
宝くじが当たって頭が本当に頭良いか否かが分かるのかは其の後に分かる事じゃな。
867:132人目の素数さん
20/05/14 21:10:02.56 gHMRZlUf.net
山中教授は医学会では苦労人
挫折経験してるから強い
マラソン好きだし、高校のマドンナ的同級生と結婚したわけだから性格も非常にマトモ
868:132人目の素数さん
20/05/14 21:21:57.57 pZ26aQiB.net
>>826
誰かさんへのあてつけか?w
869:132人目の素数さん
20/05/14 21:30:13.52 vRmthIhC.net
コロナで迷惑かけまくってる馬鹿山中がまともとか
870:132人目の素数さん
20/05/14 21:38:39.09 44IPwDRu.net
誰に迷惑かけたんだ?
871:132人目の素数さん
20/05/14 21:56:58.18 gZVaGCKZ.net
山中さんが大阪府在住ということの方に驚き
わざわざ大阪から京都大学まで通ってるのかよ
872:132人目の素数さん
20/05/14 22:13:23.77 gHMRZlUf.net
まあ、京都と大阪なら大阪のほうが圧倒的にすみやすいだろうな
買い物が不便なのにくわえ、京都はいけず文化だから、よそさんが一家を構えるとくっそめんどくさそう
大阪ー京都駅は新快速で30分、京大まではそこからまだ距離があるがまあ通勤可能
奈良から通ってる人も結構いるしな
結局近畿圏は大阪発だと一時間もあれば、西は姫路、南は和歌山、北は京都、東は奈良、全部いける
もっちーはその辺に住んでるんだろうな
873:132人目の素数さん
20/05/14 22:31:36.50 zoyJ8R2P.net
ノーベル賞受賞者が電車通勤していると思っているのか…
874:132人目の素数さん
20/05/14 22:40:33.28 pZ26aQiB.net
山中伸弥スレ
875:132人目の素数さん
20/05/14 22:45:39.58 cMcww6Xf.net
運転手つきなのか、大阪市内から車なんてぜいたくだなぁ
もっちーなんてなんじゅうねんもじてんしゃなのに( ;´・ω・`)
876:132人目の素数さん
20/05/14 23:03:20.28 Y6zl8CwR.net
>>831
買い物なら商店街があるよ
877:粋蕎 ◆C2UdlLHDRI
20/05/14 23:50:56 wmtQoKkt.net
何で京都府民平均食費って毎月毎月高いん?大御所揃いだからかと思いきや庶民でも他より高い言う。
878:132人目の素数さん
20/05/14 23:55:36 vRmthIhC.net
>>829
迷惑かけてないと思ってんのか
馬鹿が
879:132人目の素数さん
20/05/15 01:45:18 3dOo0xKH.net
>>837
だから誰に迷惑かけたんだよ
お前一人にか?
880:132人目の素数さん
20/05/15 05:27:53.35 MyodKDsU.net
>>830
別に不思議ではない
経済的に余裕があると、枚方市内の高級住宅街に住んで京阪で出町柳まで出て、そこから徒歩で大学まで行くという人がわりといるよ
881:132人目の素数さん
20/05/15 07:33:17 tkQ9tPR6.net
PCR検査をしないと駄目とか、検査して、陽性率が高いからまだ駄目とか
ただの馬鹿なコロナ脳のキチガイの一人だったじゃん
BCGでインフルエンザ以下の病気だはっきりした頃にそう言ってた
謝罪して、腹を切れ
882:132人目の素数さん
20/05/15 09:35:38 /UwGd51f.net
>>101
ショルツに関しては同じ分野の研究者が
「こんなに若い人(に先に結果出されてしまった?)なのは屈辱的でした」
ってインタビューに応
883:じてたから、やっぱり“脅威の新人”の存在は影響が大で、ショルツの言葉は同じ“業界”の先輩研究者には刺激的なのかも。
884:132人目の素数さん
20/05/15 09:36:11 4x6ffprZ.net
基本的な質問で恐縮ですが
Q.IUTで、ABC予想の以下の形の式
c<K(ε)rad(abc)^(1+ε)
について、K(ε)は具体的に求まりますか?
求まる場合、求め方についても教えて下さい
求まらない場合 その理由について教えて下さい
885:132人目の素数さん
20/05/15 09:38:32.03 Y+aia1Fj.net
>>834
もっちーか"わ"え"ぇ"な"ぁ"...
886:132人目の素数さん
20/05/15 09:39:16.48 Y+aia1Fj.net
>>836
グルメだからさ。(適当)
887:132人目の素数さん
20/05/15 09:43:25.35 Y+aia1Fj.net
>>838
そうだよ。(迫真)
837っちがどんだけ山中さんに迷惑掛けられてきたか、、、
彼のことを考えるだけで837っちは、悔しくて妬ましくて、
夜しか眠れなくなっちゃってるんじゃないのか?
知らんけど。
そりゃ憎いよなー(棒
888:132人目の素数さん
20/05/15 10:04:28.96 F3aivaCY.net
>>841
しかもさわやかイケメンだしな
30くらいまではどうしてもギラギラしてるし野心満々だし隠しても生意気が出てるし
自分がおっさん化したことまざまざと思い知らされて悔しくなっちゃっても仕方ない
じゃないと学部生なんて単語も出てこないとおもうね
889:132人目の素数さん
20/05/15 11:32:02 IZlBj0N0.net
>>834
何十年も自転車って本当?
890:132人目の素数さん
20/05/15 11:37:05 kyzBmJ2/.net
教授陣
「結局みんな・・・
若い子の方に期待しちゃうんでしょ?#ムキキキイィッ!#」
891:132人目の素数さん
20/05/15 11:46:34.78 QpQhaKOp.net
>>847
少なくとも、文元さんが京大にいた頃、北部構内で自転車に乗ったもっちーとバッタリ再会したと著作で述べている
最近だと4月初めのアクセプト発表時、記者がもっちーにinterviewを試みたが拒否され、自転車で去っていったという記事が出ていた
892:132人目の素数さん
20/05/15 12:05:41 IZlBj0N0.net
独身なら自分に使える金は結構あるはずだけどどこに使ってるのかな
893:132人目の素数さん
20/05/15 12:11:00 H1pyin2R.net
大学のそとはどうか知らんが、
構内で専用自転車というのは特に珍しくない。
東大も本郷では自転車で移動している教師はちらほらいる。
894:132人目の素数さん
20/05/15 12:16:27 QpQhaKOp.net
性格的に徹底的に無駄を省いてそうだから、四畳半の独身寮に未だ住んでで驚かないよ
895:132人目の素数さん
20/05/15 12:22:34 wa/ZlrKd.net
そこでIUT密教が生まれたのか
896:132人目の素数さん
20/05/15 12:24:11 3dOo0xKH.net
>>852
そうか?
大量にあるRemarkとか、"!"とか、無駄を省く方向とはむしろ逆な気がする
一方で、重要な単語をインラインで定義していたりして、よくわからんけど
897:132人目の素数さん
20/05/15 12:28:56 kyzBmJ2/.net
ちゃんと貯めてればガッキーも満足の新居が用意出来るのかな...
898:132人目の素数さん
20/05/15 12:58:27 HQlUCdl1.net
だって大阪じゃ成立しないんだろ?
生活じゃないぞ定理のはなしだぞ
899:132人目の素数さん
20/05/15 13:31:41.31 wa/ZlrKd.net
なるほど
山中 自画自賛の大阪モデル
望月 京都追分町限定abc「定理」
900:132人目の素数さん
20/05/15 14:00:04.00 ZQxGfEMi.net
山中望月ってなんか漢詩っぽいな
901:132人目の素数さん
20/05/15 14:20:00 +wN+V0p+.net
望月&星コンビは宇宙祭っぽいなーっておもった。
902:132人目の素数さん
20/05/15 14:41:45.51 tkQ9tPR6.net
山中�
903:ヘコロナ脳で迷惑かけまくってる馬鹿な有名人の一山にすぎない 死んだ方がいい
904:132人目の素数さん
20/05/15 15:41:27 A7RXUfqX.net
山中望月が日本の2大至宝だぞ
905:132人目の素数さん
20/05/15 15:58:44 58GZNA2k.net
文元本並んでるね
深い意味はなくて、アクセプトしたから刷ったんだろうね
906:132人目の素数さん
20/05/15 16:01:10 ofoiXtbS.net
>>858
中央線沿線に居着いたバカ田夜間あたりが最高学歴のサブカル老人こそ大月以西に強制移住させてミヤイリガイ除作業やら京大八回生モンキーにエサをやる朝三暮四作業員に再雇用してやってほしい。
907:132人目の素数さん
20/05/15 17:03:49 H1pyin2R.net
死ねは言い過ぎだが、山中さんはこのままじゃ
岡田とかいう太ったオバチャンと同等の
PCR厨に成り下がってしまう
学者としては雲泥の差なのに
山中先生これ以上晩節を汚さぬよう
もうおやすみください
908:132人目の素数さん
20/05/15 17:36:14 iPnFDz5C.net
無症状の人がいるんだからCTじゃ検出できずにスプレッダーになるだろ
909:132人目の素数さん
20/05/15 18:04:56.84 58GZNA2k.net
正直強い理論系の業績にしかあんま興味ないな
iPSの発見って僅差の時間競争みたいなものでしょ?
910:132人目の素数さん
20/05/15 18:11:38.75 jfHDjKEQ.net
>>864
宝くじに当っただけの運のいい人だからね。
モッチーは、実力はあるんだけど、いつも肝心なところで転んでしまう
無冠の帝王かな。
911:132人目の素数さん
20/05/15 18:13:33.67 ncwSUDpa.net
日本へ誇る京大限定の山中望月モデル
他人の公式or自分が勝手に作った公式
で計算する自画自賛のチャート式。
公式の根拠は日本のマスコミワイドショーが絶賛しているから。
逆の問題に無能を露呈
912:132人目の素数さん
20/05/15 18:18:41.07 ncwSUDpa.net
>>865
数学セミナーを嫁
913:132人目の素数さん
20/05/15 19:50:16 h9rq+8q+.net
京都住みで車持ってないって考えられないぞ
どこ行くにも車だし
914:132人目の素数さん
20/05/15 19:59:28.73 tkQ9tPR6.net
山中は後は死にさえばいい
馬鹿なんだから
今、死ねば惜しまれる
915:132人目の素数さん
20/05/15 20:17:35 Ht6Zs2/q.net
アベノマスクがきた
どうしよう
916:132人目の素数さん
20/05/15 20:30:57 7GFRlv4/.net
>>870
モッチーが運転してるとこ、全く想像できない
917:132人目の素数さん
20/05/16 01:08:19 /5JieNaL.net
生活が京大周辺で完結してるなら自転車+公共交通機関で済む。車は必要ないどころか邪魔
918:132人目の素数さん
20/05/16 02:02:55.97 tXRewj56.net
IUTアンチスレはどこだ
邪道なIUTはカス!ってな香具師も多いだろw
919:132人目の素数さん
20/05/16 07:28:47 fYJZIPnm.net
おごれるものひさしからず
920:132人目の素数さん
20/05/16 12:21:49 MFK1Erg0.net
>>874
京都は駐車場ないしな
あっても常に満車
921:132人目の素数さん
20/05/16 13:23:23 45sx1zxP.net
15分600円?のところもあったって友達が引いてた
922:132人目の素数さん
20/05/16 13:38:05 UzP5f+gS.net
大学と家の往復しかしないのに車とか必要ないだろう
なんつーか、もっちーって数学が本当に好きなんだな
はやくショルツェが納得してくれて、世界的に評価されて報われるといいね
923:132人目の素数さん
20/05/16 13:52:38 bF14TTx+.net
望月自身はフェルマーの最終定理の簡単な証明ができたと思い込んだ人みたいに、自分の間違いを認識できないだけで、周囲が持ち上げた可能性はあるよね
924:132人目の素数さん
20/05/16 13:58:54 0cbTwyzX.net
�
925:qロシマとナガサキに原爆をくらっった直後に ノーベル物理学賞をもらった奴みたいに 裸の王様にしちまえよ
926:132人目の素数さん
20/05/16 14:09:23.01 FmAg8oZO.net
グロタンティーク予想の解決についても調べてみたけど、
上で書かれてるようにGrothendieck conjectureというのがあったわけじゃなくて、
中村、玉川、望月あたりの造語っぽいね。
しかもこの論文もPRIMSでしょ。
ほんとうに解決してるんだろうか。
927:132人目の素数さん
20/05/16 14:22:35 VN/D3za9.net
えっじゃあ遠アーベル幾何学のWikipediaの
>グロタンディークは、射有限群である C の代数的基本群 G が C 自身を決定する
>(つまり G の同型類が C の同型類を決定する)と予想した。
>このことは望月新一により証明された[3]
これって嘘なの?
928:132人目の素数さん
20/05/16 14:27:54 FmAg8oZO.net
>>883
グロタンティークがした予想ってたくさんあるよね。
そのなかのひとつを特にグロタンティーク予想と呼んでるのが変だな、
とは思ってたんだが、正確にいうと、
遠アーベル幾何化に関するグロタンティークの予想
で、わざわざグロタンティーク予想という造語をする必要性がよくわからなかった。
ちなみにそのWikipediaの記述自体もそんなに正しくなくて、
この予想は中村、玉川、望月の共同作業で解決したことになっているので、
望月が解決したというのはちがうかなと思う。
929:132人目の素数さん
20/05/16 14:44:56 45sx1zxP.net
>>880
>自分の間違いを認識できないだけで、
ここまで誰も説明できない時点で、うすうす気が付いてなきゃおかしくない?
930:132人目の素数さん
20/05/16 14:54:39 rz4P0rck.net
Tとかもわかってない、って思ってるだけかもしれん。
931:132人目の素数さん
20/05/16 15:01:25 VN/D3za9.net
>>885
例えば、最晩年のマイケル・アティヤは自分の間違いを認識できていただろうか
932:132人目の素数さん
20/05/16 15:26:20.65 TyZLv2xK.net
どんどんメッキが剥がれてきてるな
スタップ細胞の人と流れが同じじゃね
933:132人目の素数さん
20/05/16 16:07:46 0bZfAewz.net
アカデミックな奴らの牙城を崩した理論
築き上げてきた物を革新=オワコン化する可能性があるので黙殺されてる
難解だから今の時代はまだ理解できない
数学界ではよくある話
934:k.air
20/05/16 16:23:12 CvTinTc1.net
>>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(ε) が存在できる
935:k.air
20/05/16 16:33:15 CvTinTc1.net
>>842
例えば (2, 3^10*109 , 23^5) を使うと
rad=15042, q=1.6299... だから
K(ε) > 15042^(0.6299...-ε)
よって K(0.00001)>427 といってみせたのが前スレ>>187
このグラフよりは上ということ
URLリンク(www.wolframalpha.com)
plot y=15042^(0.6299-x), x=0 to 1, y=0 to 500
(εの代わりにxを使った)
全部のトリプルでこのグラフ書いてなんかする
936:132人目の素数さん
20/05/16 17:05:26 pfRK/KOl.net
だれか1996年の論文を再検証してくれんかな。
あの論文に対するIの評論とかを今読み返すとなんか思うところがあったのかな、
という感じで、当時あれがほんとうに受
937:け入れられていたのかわからないところがある。
938:132人目の素数さん
20/05/16 17:10:03 DjHTdFTr.net
>>890-891
いいたいことは承知しました
要は、
「望月の証明で
sup_{t∈T} rad(abc)^(q(a,b,c)-1-ε)
の情報って得られるんですか?」
ということです
939:132人目の素数さん
20/05/16 17:16:59 DjHTdFTr.net
>>892
I氏って伊原氏か
URLリンク(www.jstage.jst.go.jp)
940:132人目の素数さん
20/05/16 17:24:00 VN/D3za9.net
>>892
>「従来の私の好みとは少し違うが, すごいじゃないか!」を捧げたいと思います.
ってやつ?
確かに、本人たちの解説が出ることを建前に、(ボロが出ないように)短めに済ませた感じはあるね
941:132人目の素数さん
20/05/16 17:27:37 F1nBq9DZ.net
伊原評論はそこと最後の光と闇の話がちょっと変わってるんだよな。
だれか具体的なひとを想定してないとこういう書き方はしないと思うんだが。
942:132人目の素数さん
20/05/16 17:36:39 45sx1zxP.net
>>896
あのおっちゃん、当時からの○○の持ち上げられようと性格からしてこうなる
ことを見透かしていたような感じやな (嫉妬的なものもあると思うけど)
943:132人目の素数さん
20/05/16 17:38:15 VN/D3za9.net
>近い分野で, やはり大変すぐれた研究をされた方々もおられます. それら
>も含め近い将来の一層の開花を期待したいと思います。
確かに、遠アーベル幾何について何か思うことがありそうだな
評論としては蛇足でしかないのに、わざわざ書いたのは気になる
光と影は何の暗喩なんだろうな
944:132人目の素数さん
20/05/16 17:44:25 DjHTdFTr.net
1996年か・・・この頃子供だった奴に
「あなたの証明には修復不能な穴がある!(ビシっ)」
といわれたら、頭に血が上るかもな
945:132人目の素数さん
20/05/16 19:43:41.00 /t7riJD6.net
>>898
光…遠アーベル幾何の発展
影…望月理論に対する社会の反応?
946:132人目の素数さん
20/05/16 22:05:14.42 Nxb98Jfx.net
ここ、やたら専門家ぶってる奴がたまにいるじゃん
遠アーベルってそんな重要か?どうなん?
947:132人目の素数さん
20/05/16 22:05:22.39 Nxb98Jfx.net
ここ、やたら専門家ぶってる奴がたまにいるじゃん
遠アーベルってそんな重要か?どうなん?
948:132人目の素数さん
20/05/16 22:06:18.74 F1nBq9DZ.net
重要ならみんなやってるよ。
949:132人目の素数さん
20/05/16 22:38:47 oii8q1/C.net
専門家ぶってるだけで専門家がいる訳ないだろう、バカやろう
正則性公理と選択公理の違いすら分からないアホどもの集まりだぞ
950:132人目の素数さん
20/05/16 22:39:20 w8NKCFpA.net
8年間も放置されたということは、
何を意味するんだろうか?
馬鹿でもわかるよな。
951:132人目の素数さん
20/05/16 22:43:05 HZAEdK+O.net
>>904
なんかその一点で擁護するのが流行ってるみたいだけど、
もしかしてあれは擁護派の自作自演か?
952:132人目の素数さん
20/05/16 22:49:08 oii8q1/C.net
>>906
流行ってるも何もそのレベルの人間の集まりてことじゃん
953:132人目の素数さん
20/05/16 22:51:25 kNzkts7S.net
そもそも擁護ってあかん人を助けたるって意味やからな
954:132人目の素数さん
20/05/16 22:54:43 HZAEdK+O.net
>>907
あれひとりの書き込みじゃなかったっけ?
そうだっていう集団だった?
955:132人目の素数さん
20/05/16 22:55:19 oii8q1/C.net
枝葉末節とはいえ基礎論部分について5chに書かれていたデマ(と思われるもの)がずっと信奉されてた時点で、このスレのレベルの低さは推して知るべしだろう
正則性公理と選択公理レベルの間違いではないにせよ
956:132人目の素数さん
20/05/16 22:56:09 HZAEdK+O.net
ちなみに関係ない文脈でいきなる正規性公理が云々で擁護を始めたIDは複数ある。
それともあれもひとりなのか?
957:132人目の素数さん
20/05/16 22:56:47 HZAEdK+O.net
>>910
基礎論におけるデマとはなにを指してるんだ?
958:132人目の素数さん
20/05/16 23:01:15.18 oii8q1/C.net
>>912
>>606
959:132人目の素数さん
20/05/16 23:03:36 HZAEdK+O.net
>>913
???
それはもともとの2012年の基礎論の指摘と関係ないけど?
960:132人目の素数さん
20/05/16 23:04:57 pVwHh2vl.net
> 渡部篤
> PCR検査は必要な人には行うべきだが、日本国民全員には無駄である。そんなお金があるならば、治療薬・ワクチンの開発と、コロナ恐慌で苦しむ企業と個人を救済すべきである。新型コロナウイルスよりテレビウイルスが怖い時代である。
>
> 馬場正弘
> コロナの参考にスペイン風邪のことを調べると、人口当たりで百倍以上死亡者が出て、アメリカは平均寿命が12歳も低下した。
しかし文明が崩壊するどころか経済は大して影響を受けず、アメリカは1920年代の金ピカ時代に突入する。当時の人類の方がずっとタフということが。
>
> 今すぐインフルエンザより弱いただの風邪で馬鹿みたいな経済封鎖で人を大量虐殺する蛮行を阻止しないといけない
山中みたいな馬鹿は殺していい
961:132人目の素数さん
20/05/16 23:07:35 oii8q1/C.net
>>914
いや、ZFCGがZFCの保存的拡大云々の話で怪しい部分があるってのが、結局怪しいが間違ってましたて話なんだけど
962:132人目の素数さん
20/05/16 23:09:44 HZAEdK+O.net
>>916
ZFCGがZFCの保存的拡大だっていうのはIUTのIVに対する指摘じゃないよ?
963:132人目の素数さん
20/05/16 23:12:02 oii8q1/C.net
>>917
えぇ。。じゃあなんの指摘なんだよ
964:132人目の素数さん
20/05/16 23:13:52 HZAEdK+O.net
>>918
なんのもなにもこれでしょ?(たぶん過去ログで10回くらい貼られてる)
>>580-581
IUT論文公開当時のエレンバーグのブログでフェファーマンの弟子が書いているのだけど
M氏は或る先行論文の脚注でZFCGはZFCの保存的拡大であると書いていたらしい(自分はその論文がどれか知りません)。
もちろん保存的拡大ではないのですが。
結局Stixが言うようにエッシャーの階段にしかなっていないのですよ。
M氏はsimulate a∈a、loops of mutations、simulate ∈-loopsは種の言語では成り立つと考えているようですが。
その節で名前の出ているKimですら分からないとMOで書いています。
965:132人目の素数さん
20/05/16 23:16:05 u5Wx3bhi.net
基礎論の専門部分がわからないから数学のしろうとだっていうこと自体話が飛んでるし、
遠アーベルが数学の重要分野かどうかとなにも関係がないと思うんだが
966:132人目の素数さん
20/05/16 23:19:53 oii8q1/C.net
>>919
苦しい言い訳だなあ
>>324とかまさしく本文のIVにケチつけてるようにしか読めんけど
967:132人目の素数さん
20/05/16 23:20:49 oii8q1/C.net
>>920
比較的メジャーな基礎論ですらこれなんだから、遠アーベルが重要かどうかなんて分かる訳ねえじゃんて話
968:132人目の素数さん
20/05/16 23:21:09 MokiylaE.net
山中は大ホームラン(ノーベル賞)を打ったことがある。
望月は、ホームランかファールかずっと8年判定中。
格はまるで違う。
世間一般の扱いだと千倍ぐらい違うよ
969:132人目の素数さん
20/05/16 23:22:44 XpgLGlog.net
>>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章の話じゃないの?
そして修正してるんだから望月が間違えていたのでは?
970:132人目の素数さん
20/05/16 23:22:56 xQ6GSYXj.net
>>922
けっきょくこういう擁護がしたいから過去のだれのレスかわかんないやつの揚げ足取りしてるだけだわな
971:132人目の素数さん
20/05/16 23:25:12 Ikwt2T5y.net
>>924
たぶん今のIUT論文には書いてないから、ってことでは
まあようするに間違えてたってことだし、
あとで修正しても基礎論の理解が不十分なんじゃないかっていう疑問への反論になってないんだよね
そのへんはうえでとっくに議論済みなわけだが>>584とか
972:132人目の素数さん
20/05/16 23:27:39 oii8q1/C.net
君らは誰かの指摘に乗っかりたいだけで、ほとんど誰も考えてねーじゃんという話
973:132人目の素数さん
20/05/16 23:33:32 oii8q1/C.net
>>925
同じアンチから切り捨てられる当時のアンチくんがかわいそう
974:132人目の素数さん
20/05/16 23:33:42 VN/D3za9.net
2012年版(多分)ならRIMSのプレプリントサイトにあるから、そこで確認できる
URLリンク(www.kurims.kyoto-u.ac.jp)
>>924の文章はこのPDFに書いてあることが確認できる
URLリンク(www.kurims.kyoto-u.ac.jp)
一方で、望月の個人HP上にある「最新版」には、例えば"extensionality"という単語は含まれていない
URLリンク(www.kurims.kyoto-u.ac.jp)
975:132人目の素数さん
20/05/16 23:39:34 NvW/v763.net
考えてるもなにもZFCGがZFCの保存的拡大じゃないっていうのは、
Shulmanのp.15以下を読めばわかるしこのことも最初から言われてるよ
もっちーは基礎論の理解があやしいっていうのはどう転んでも否定できないんだから
すなおに認めればいいのに
それともどう転んでも否定できないからこの話題はやめにしたいのかもしれんが
976:132人目の素数さん
20/05/16 23:41:31 NvW/v763.net
だいたいどう転んでも間違ってるから最新版だと修正してるってのがわからんのかね
977:132人目の素数さん
20/05/16 23:44:40 oii8q1/C.net
詳しくないてのは正しいんだろうけど、これだけ色んな人が見た中でそんな基礎論の人から見たら明らかに間違ってることが今の論文に残されてんのか?てのが俺の意見だな
978:132人目の素数さん
20/05/16 23:50:02 7SYfcplA.net
5ch名人達。基礎論の件で誰かモチに直メで突っ込まんの?
979:132人目の素数さん
20/05/16 23:50:38 WJgTt1B0.net
>>933
突っ込むもなにももっちーが修正してるんだから間違ってたの確定では?
980:132人目の素数さん
20/05/17 00:04:09.46 idOy6qD3.net
結局現論文で明らかな間違いはありませんでしたってことか
修正しろと騒いでたやつも修正されて良かったな
981:132人目の素数さん
20/05/17 00:05:07.46 F5HS2nbm.net
補題3.12のproof
982:132人目の素数さん
20/05/17 00:09:45 4Wd753iR.net
明らかな間違いかどうかはわからないが、
「証明にギャップがある」とか「証明になっていない」とか「証明が理解できない」とか
言われているな
983:132人目の素数さん
20/05/17 00:15:46 b8wYZczP.net
なんか論点がすり替えられてるが、
もともとは論文IVの基本的な誤りを修正したのに結論に影響が出ないなら、
論文IVいらないんじゃないのって話ね
あと>>584
あとID:oii8q1/Cの言葉を借りればそんな初歩的な理解をしていないやつが
遠アーベルがわかるのか、って話(これは望月にとってすごいブーメランなの)
984:132人目の素数さん
20/05/17 00:18:01 /FhBkao/.net
>比較的メジャーな基礎論ですらこれなんだから、
>遠アーベルが重要かどうかなんて分かる訳ねえじゃんて話
なるほど、これはもっちーに対する批判だったのか(汗)
985:132人目の素数さん
20/05/17 00:43:02 YDliggmG.net
>比較的メジャーな基礎論
少なくとも初めて聞きましたメジャーって言葉
煽るけど数学基礎論って基礎って言う名前の割にほとんど数学に役立たない
986:132人目の素数さん
20/05/17 00:49:45 1bBWb+BJ.net
宇宙際って名前の割には追分でしか
987:成立しない
988:粋蕎 ◆C2UdlLHDRI
20/05/17 00:50:18 LIJrZTQ0.net
>>875
> IUTアンチスレはどこだ
知らんかったのか
Inter-universal geometry と ABC予想 否定派2
スレリンク(math板)
989:132人目の素数さん
20/05/17 01:39:12.74 /5MRV7Cs.net
>>940
最近まで役立たずだったが、圏論以後ポテンシャルは出てきたと思う。後は天才の出現次第だろう
まあ集合論にはゴロゴロ天才がいたんだけど、普通の数学には直接関係なかったからねえ
990:132人目の素数さん
20/05/17 01:52:39.67 YDliggmG.net
○圏論と基礎論は方向性が違いますので
991:132人目の素数さん
20/05/17 04:31:22 xTho8h44.net
>>938-939
望月に遠アーベルがわかっているのかとは、ずいぶんやばいスレになったもんだな
992:132人目の素数さん
20/05/17 09:37:33 OxYJzrF1.net
>>940
数学におけるガウスの役割
=数理論理学&集合論におけるゲーデルの役割
ちなみに(ヒルベルトの意味での)「基礎論」を殺したのはゲーデル
ゲーデル
「自然数論を含む帰納的公理化可能な理論が、
無矛盾であれば、自身の無矛盾性を証明できない」
アッカーマン
「え?じゃ、自分の原始帰納的算術の無矛盾性証明はいったい・・・」
ベルナイス
「・・・ああ!証明中の順序数の超限帰納法が、
原始帰納法的算術では導けないのか!」
ゲンツェン
「・・・てことは、逆に適切な超限順序数が構成できれば
その超限帰納法によって、カット除去の証明が
できるってことですね?( ̄ー ̄)ニヤリ」
993:132人目の素数さん
20/05/17 09:43:03 OxYJzrF1.net
>>943
数理論理学における圏論の位置づけは明確でないように思う
994:132人目の素数さん
20/05/17 10:04:38 qZbJw0Vm.net
>>420
基礎論は遠アーベル幾何より上位の分類(生物学で科のほうが属より上位という意味で)って話では
ていうか Mathematical Logic の訳語として何故か日本では「数学基礎論」が使われてるけど
今どきのロジシャンは必ずしも数学の基礎付けをモチベーションにしてるわけではないよね
ただ HoTT なんかはまさにそういう試みだと思うし
じっさい IUT を形式証明に載せるとかしないと現在の不毛な状況は進展しなさそうなんだけど
そんな人材いないよな…(Dupuy が貢献してくれると思ってたことあるけどあの人ダメっぽい)
995:132人目の素数さん
20/05/17 11:06:26.10 t5k0k7kf.net
役に立たないっていうのは工学が数論幾何に対して役に立たないと言うのと同じで、
「別にあんたのために研究してるんじゃないんだからねっ!!」
でしかないのでは
996:132人目の素数さん
20/05/17 11:32:06 LWrun3Tf.net
mugashohouとの論戦についに任期付き数学者参戦したな
wktk
997:132人目の素数さん
20/05/17 12:06:43.44 C5I6HZrO.net
そもそも数学の基礎づけって数学界隈のごく一部が取り組んでいただけで、
ぜんたいとしては数学の基礎づけ運動なんて起こってないからなあ。
998:132人目の素数さん
20/05/17 12:12:21.29 3LIdhbL+.net
数学者全体として取り組んだ数学の運動って旧ギリシャ時代以外にはないでしょうね
999:132人目の素数さん
20/05/17 12:15:25.95 Hn3N/L4N.net
無理数?そんなものは無い 死刑!!
ってすげー時代だな
1000:132人目の素数さん
20/05/17 12:25:12.46 4Wd753iR.net
ヒルベルト・プログラムの影響って大したことなかったの?
ヒルベルトの23の問題(特に第2問題)とか、かなり大きな影響を与えたんじゃないかと思うけど
1001:132人目の素数さん
20/05/17 12:41:01.69 fkBSYghd.net
算術の公理の無矛盾性とか気にしなくても数学はできる
これはデデキントが実数を厳密に定義するまえから実数はずっと使ってるのと似てる
1002:132人目の素数さん
20/05/17 12:53:20.98 4Wd753iR.net
(素朴)集合論のパラドックスとか、当時は大問題だったと思うんだが
「ヒルベルト・プログラムは、単にその矛盾を取り除く(=無矛盾性)だけではなく、
今後二度とこのような矛盾が現われないように、数学全体に確固とした基盤(=完全性)を与える目的があった。」
訳でしょ?
ゲーデルの不完全性定理によってこのプログラムがある種「終わる」までは、割と深刻な問題だったんじゃないか?
1003:132人目の素数さん
20/05/17 12:56:38.84 fkBSYghd.net
>>956
それは一般向けに書かれる新書とかがそういう書き方だからだろう。
ああいうのは哲学とは関係があるのかもしれんが数学コミュニティとはそんなに関係はない。
ヒルベルトの問題提起からゲーデルの解決までのあいだに、
基礎付け以外の数学の研究が低調になったというデータでもあるのか?
1004:粋蕎 ◆C2UdlLHDRI
20/05/17 13:04:02 LIJrZTQ0.net
寧ろラプラスの悪魔のが当時新世代に萎えを与えたイメージ
1005:132人目の素数さん
20/05/17 13:05:22 OxYJzrF1.net
ヒルベルト・プログラムの目標は
自然数論による数学(というか解析学)の無矛盾性証明だったんだが、
ゲーデルが
「ごめん、ヒルベルト・プログラムを達成しようとしたんだけど
そもそも自然数論の無矛盾性自体、自然数論で証明できないこと発見しちった」
といっちゃったんで、頓挫した
逆数学が、帰ってきたヒルベルト・プログラムかどうかはなんともいえない
しかし、主張な成果はほぼACAで達成できそうなんで
「な?」とかいうコート着たオジさんがでてきそうな感じではある
1006:132人目の素数さん
20/05/17 13:08:32 4Wd753iR.net
>>957
そんなデータは知らないが、
この種の問題に全く興味がなかった数学者がいたってこと?
1007:132人目の素数さん
20/05/17 13:10:37 OxYJzrF1.net
>>959の続き
RCA、WKL 短小
ACA 通常
ATR、Π1-1CA 長大
とすると結論としては
「普通の**は、通常のサイズでも、ほぼ満足」
って感じですかね
1008:132人目の素数さん
20/05/17 13:11:01 3LIdhbL+.net
数百年前からすでに分野が多様化してますし、世代全体に影響を与えることはもうほぼないのではないでしょうか
仮にIUTが全て正しかったならば、そうなってたかもしれませんが
1009:132人目の素数さん
20/05/17 13:22:06.67 fkBSYghd.net
>>960
ふつうにいるのでは?
今だって数学基礎論にまったく無関心な数学者はいるし。
1010:132人目の素数さん
20/05/17 13:27:44.78 4Wd753iR.net
>>963
いや当時の話ね
レスバ的には「基礎付け以外の数学の研究が低調になったというデータ」を示せない俺の負けでいいけど、
具体的な反例があるのかどうかは気になるところ
「ヒルベルト・プログラム?そんなのどうでもいい。俺は自分の研究さえできればいいんだ」
的な思想の数学者は当時本当にいたのかな?
1011:132人目の素数さん
20/05/17 13:51:27.27 fkBSYghd.net
>>964
その質問は最初の質問とおなじなの?
最初の質問はヒルベルト・プログラムの特に第2問題が影響を与えたかどうかだよね?
で、俺は第2問題について考えなくても数学はできるしやってたでしょ、という立場。
そもそも数学者が真にヒルベルトの第二問題を深刻だと信じているなら、
数学の研究はいったんやめると思うんだが?
1012:132人目の素数さん
20/05/17 14:14:44.88 4Wd753iR.net
>>965
そう
ヒルベルト・プログラムが当時の数学者に影響を与えたかどうか
あなたの立場によれば、ヒルベルト・プログラムの影響を受けなかった数学者が当時少なくとも1人は存在したことになる
全員が全員ヒルベルトやゲーデルのような天才ではないから、
全ての数学者が自分の研究を一旦やめてヒルベルトの第2問題に取り組めるはずはない
しかし、それでもヒルベルト・プログラムのことを頭の片隅に置いた状態で研究していたのではないかと思う
そうでない数学者が「存在する」という主張は正しいかもしれないが、それなら具体例が知りたい
1013:132人目の素数さん
20/05/17 14:18:32.31 fkBSYghd.net
>>966 研究を続行したやつは全員具体例。 思想を受容するということは口先だけで受容したかどうかわからないから、 行動をみるというのが俺の立場。 第二問題を深刻に受け止めるならほかの数学の研究は中断するしかない。 なぜなら、第二問題に他の研究の可否が依存してしまうから。 俺は「宇宙法則は次の瞬間に変わるのかもしれない」という問いに意味がない、 という立場だから。もし本気でそう思っているのなら生活ができなくなる。
1015:132人目の素数さん
20/05/17 14:21:07.21 IVRUUd3J.net
諸法無我
@MugaShohou
36分
返信先: @Sakurazaka4649さん
数論の研究者が皆FLTの証明を理解しているとでもお思いなのでしょうか。 だとしたら、もう少し数学界について詳しくなることをお勧めします。
FLTですら、数論の研究者でさえ理解していないのですから、数学者全体に影響を与えるのは果てしなく難しいでしょう
1016:132人目の素数さん
20/05/17 14:21:21.01 fkBSYghd.net
そもそも頭の片隅において、という留保がつくなら>>956と同一の質問ではないと思うけどね。
1017:132人目の素数さん
20/05/17 14:26:17.39 4Wd753iR.net
別にレスバしているつもりはないんだが…
全員と言われても、不勉強なもので当時の数学者について詳しくないので、
1人でもいいので具体的な数学者の名前を出していただけると助かります
1018:132人目の素数さん
20/05/17 14:30:32.96 fkBSYghd.net
>>970
レスバなんてしてない。
きみは>>956で「当時は大問題」「割と深刻な問題」て書いたから、
俺は「数学コミュニティとはそんなに関係はない」と書いたわけ。
で、数学コミュニティが無矛盾かどうかでひよった形跡はないわけだろ?
だったらそれで話は終わってるじゃん。
頭の片隅にヒルベルトの第2問題を置いていなかった数学者の具体例、
なんて質問は最初はなかったのだから、きみのほうがレスバにこだわっているのでは?
最初のほうの疑問についてまだなにか疑問があるのか?
だったらそれをそのまま言って欲しいんだが。
1019:132人目の素数さん
20/05/17 14:35:48.38 4Wd753iR.net
>>971
最初の疑問にこだわっているというか、
「頭の片隅にヒルベルトの第2問題を置いていなかった数学者の具体例」を知りたい
という方向に興味が移っています
どなたかご存じの方がいらっしゃいましたら、ご教示いただければ幸いです
1020:132人目の素数さん
20/05/17 14:40:01 fkBSYghd.net
>>972
頭のなかを検査する方法はないので調べようがありません。
むしろどうやってチェックできると思ってるの?
1021:132人目の素数さん
20/05/17 14:44:16 4Wd753iR.net
>>973
そうですね
例えば、「ヒルベルト・プログラム(またはヒルベルトの第2問題)はクソ」といった趣旨の文書を残していれば
そのような数学者は具体例と言えるでしょう
1022:132人目の素数さん
20/05/17 14:45:56 fkBSYghd.net
>>974
また質問が変わってないか?
それはヒルベルトの第二問題を意識してないかどうかじゃなくて、
ヒルベルトの第二問題に対する一定の態度表明だよね?
1023:132人目の素数さん
20/05/17 14:47:19 6B2cGKoV.net
ヒルベルト・プログラムをどうでも良いと思ってた数学者が大半かな
声なき声として
思っていたなら言及するがほぼ100%の数学者は無視してた
それが真実
1024:132人目の素数さん
20/05/17 14:47:51 fkBSYghd.net
とりあえず「ヒルベルトの第二問題はクソだと公に主張した数学者はいるのか?」
という疑問でいいの?
じゃあ俺は知らないな。
1025:132人目の素数さん
20/05/17 14:49:12 fkBSYghd.net
>>976
態度表明としてはそうだよね。
だって1900年を境に数学コミュニティが別様の行動を取り始めたという痕跡はないから。
1026:132人目の素数さん
20/05/17 14:52:54 4Wd753iR.net
言葉遊びではなくて、
「ヒルベルト・プログラムをどうでも良いと思っていた数学者」
は、存在はしていただろうが、例えば誰がその1人だったのかを知りたい
という話です
言及せずに無視ではどう思っていたかはわからないので
1027:132人目の素数さん
20/05/17 14:54:15 fkBSYghd.net
>>979
じゃあだれか他のひとが答えるの待ってくれ。
俺は上で書いたように態度主義なので「態度は無視してても内心は違うかもしれない」
という疑問には興味がない。
1028:132人目の素数さん
20/05/17 14:58:24 IVRUUd3J.net
>>980
態度は興味があるが内心は関係ない
と考えるのであれば、声なき声とやらにも興味はないはずですよね
何故なら態度だけ見れば「不明」であってどうでもいいと思っていたかどうか確定しないので
1029:132人目の素数さん
20/05/17 15:02:30 fkBSYghd.net
>>981
うん、だから上で態度表明って言ってる。
1900年を境に数学コミュニティの態度が豹変したデータはないと最初から言っている。
1030:132人目の素数さん
20/05/17 15:04:00 6B2cGKoV.net
ヒルベルトプログラムが唱えられていた間はそれで肩がつくから、誰も気にしなかった
ゲーデルの不完全性定理が出てからは、ヒルベルトプログラムなんか気にしても仕方ないと
余計誰も気にしなくなった
これが真実
1031:132人目の素数さん
20/05/17 15:04:19 IVRUUd3J.net
>>982
何も言っていないので何も表明していないですよね
1032:132人目の素数さん
20/05/17 15:06:07 fkBSYghd.net
>>984
途中から割り込んで曲解するのはやめなさい。
俺の立場は>>967で書いてるから。
1033:132人目の素数さん
20/05/17 15:10:22 IVRUUd3J.net
>>985
あなた自身がそれを曲解しているんですよね
「第二問題を深刻に受け止めるならば、態度を表明するだろう」これを受け入れるとしても、「深刻に受け止める」の反対の立場は「どうでもいい」ではないですよね
何故ならば「どうでもよくはないが深刻には受け止めていない」という人が存在しうるので
したがってあなたが>>976に同意するのは、あなたの>>967の意見から逸脱する「態度」なんですよね
1034:132人目の素数さん
20/05/17 15:12:24 fkBSYghd.net
>>986
>「どうでもよくはないが深刻には受け止めていない」という人が存在しうるので
それは>>956の「割と深刻な問題」「当時は大問題」に該当しない。
1035:132人目の素数さん
20/05/17 15:14:28 fkBSYghd.net
ああ、ちなみに、>>976の「無視」は>>956とちがうんじゃないか、
という重箱つつきなら、
>>976の言ってるのと>>956の言ってるのはちょっとズレてるかもね、
と認めるよ。
揚げ足取りとしてくだらなさすぎるので。そういうひとと議論するの時間の無駄だから。
1036:132人目の素数さん
20/05/17 15:16:27 IVRUUd3J.net
>>987
それと、あなたが「態度にしか興味がない」にも関わらず「態度には現れていないが声なき声はどうでもいいと言ってる」に同意するという矛盾についてはどう関係があるんですかね
1037:132人目の素数さん
20/05/17 15:20:04 4Wd753iR.net
まあまあ、ここは基礎論スレではないので
誰か数学史に詳しい親切な人が具体例を挙げてくれるのを待ちましょう
お前が言うなって話ならごめんなさい
1038:粋蕎 ◆C2UdlLHDRI
20/05/17 15:25:27 LIJrZTQ0.net
逆証明だの逆数学だのは其々、何者が如何なる手法で何物を探究する分野なんじゃろ?
1039:132人目の素数さん
20/05/17 15:40:23.50 LmvEIhyw.net
>>968
諸法無我?
公世の二位のせうとに、良覚僧正と
聞えしは、極めて腹あしき人なりけり。
坊の傍に、大きなる榎の木のありければ、人、「榎木僧正」とぞ言ひける。
この名然るべからずとて、かの木を
伐られにけり。その根のありければ、
「きりくひの僧正」と言ひけり。
いよいよ腹立ちて、きりくひを堀り
捨てたりければ、その跡大きなる堀
にてありければ、「堀池僧正」とぞ
言ひける。
1040:132人目の素数さん
20/05/17 15:51:51 9GRMXxZv.net
無視していたというよりは大多数の数学者にとって難しすぎて手におえん
手を出してはいけない問題と思ってたんじゃないの?
1041:132人目の素数さん
20/05/17 16:00:23 y4BiDiZT.net
twitterを見ていたら
「本当に頭のいい人は、バカでも理解しやすい言葉で話す。
わざわざ難しい言葉を紡ぐのは、コンプレックス丸出しで恥ずかしいものだなぁと思っている。」
という意見があって全く同意 古今東西そういうもの
IUT論文は恥さらしである
1042:132人目の素数さん
20/05/17 16:04:30 Srp2dxt0.net
mugashohou氏が誰か大体あたりつくけど、iutを理解してるわけではないだろうね。ど素人というわけでもないけど。まあiutの正否に影響を与える人ではないよ。
1043:132人目の素数さん
20/05/17 16:11:04 m7MQgiA5.net
mugashohou氏は数学者コミュニティをよく知っているように見えるけど、数学者なのだろうか
1044:132人目の素数さん
20/05/17 16:20:03 idOy6qD3.net
>>994
これよく見るけど、説明のうまさは頭の良さの一指標に過ぎないなあと思う
1045:132人目の素数さん
20/05/17 16:29:47 LmvEIhyw.net
ピント外れは複雑怪奇の説明になるね
FLTの証明は岩波から出版されている。
一部証明が省略されているが
数論をやっているなら理解できる
と思うけど
1046:132人目の素数さん
20/05/17 16:32:59 LIJrZTQ0.net
>>994
ラプラス変換を幼稚園児に分かる様に教える説明を見せてくれ
ウェーブレットを幼稚園児に分かる様に教える説明を見せてくれ
PvsNPを幼稚園児に分かる様に教える説明を見せてくれ
IUTを幼稚園児に分かる様に教える説明を見せてくれ
但しどれも要求理解度は博士課程修了程度とする
極端言うとる奴に何で普通の問い返しを期待しとる?極端言うとる奴には極端な問い詰りじゃ。
1047:132人目の素数さん
20/05/17 16:34:30 LmvEIhyw.net
IUT奇談
1048:1001
Over 1000 Thread .net
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 11日 13時間 23分 9秒
1049:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています