- 1 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 10:09:06.84 ID:+cW2XWCC.net]
- IU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います。
前スレ Inter-universal geometry と ABC予想 45
https://rio2016.5ch.net/test/read.cgi/math/1582883006/
Inter-universal geometry と ABC 予想 46
https://rio2016.5ch.net/test/read.cgi/math/1585967607/
- 290 名前：１３２人目の素数さん [2020/04/07(火) 18:42:53.29 ID:8d5Fq5kz.net]
- >>269
最後の一文で論外なのがわかった
ついでに、理解できない→正しいけど難しいだけ、にはならんからな？
- 291 名前：１３２人目の素数さん [2020/04/07(火) 18:47:57.03 ID:H4f9B9uj.net]
- >>277
お前が論外だわ
- 292 名前：１３２人目の素数さん [2020/04/07(火) 18:49:33.17 ID:iKfIzjyT.net]
- >>272
公理⇒定理 がトートロジーなら充足可能性判定は充足不能として停止する
そうでない場合手続きが止�
- 293 名前：ﾜらない可能性がある、ということ
論理知らないなら黙っときな 恥かくだけだよ [] - [ここ壊れてます]
- 294 名前：１３２人目の素数さん [2020/04/07(火) 18:51:54.88 ID:mg7kwOWZ.net]
- >>279
だからその不完全性定理の性質が今の望月ショルツの議論にどう関係すんの？
不完全性定理知るものなら無関係なことはすぐ分かるので、はっきりいって君の理解を疑ってる
だから形式的証明の正確な定義を一つ上げてみてとお願いしてるわけ
- 295 名前：１３２人目の素数さん [2020/04/07(火) 18:52:47.85 ID:iKfIzjyT.net]
- >>279の訂正
誤 公理⇒定理 がトートロジーなら、充足可能性判定は充足不能として停止する
正 公理⇒定理 がトートロジーなら、否定命題（公理∧￢停止）の充足可能性判定は充足不能として停止する
- 296 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 18:55:31.28 ID:VfY0g9RH.net]
- 不確定性定理の詐欺師的活用かｗ
やると思ってました。」
- 297 名前：１３２人目の素数さん [2020/04/07(火) 18:56:18.51 ID:iKfIzjyT.net]
- >>280
>>255に対するコメントとして書いた
つまり望月の補題に関して反例があるとしても
その反例を見つける手続きは一般的には停止しない
（反例があっても決して見つからない、という意味ではない）
- 298 名前：１３２人目の素数さん [2020/04/07(火) 18:56:40.16 ID:mg7kwOWZ.net]
- 一階述語だと面倒だというなら命題論理の形式的証明でもいいよ
- 299 名前：１３２人目の素数さん [2020/04/07(火) 18:59:38.07 ID:iKfIzjyT.net]
- 望月の補題が自然数論上真である可能性はもちろんある
しかし、論文でそのことが明らかになっていないなら無意味
つまりショルツの「成立しない」という指摘が誤りだとしても
そのことを以て即、望月の補題が真だという証拠にはならない
単に、ショルツは反例を提示できなかった、というだけのこと
- 300 名前：１３２人目の素数さん [2020/04/07(火) 19:00:04.56 ID:mg7kwOWZ.net]
- >>283
反例が見つからなくても証明ギャップがあるかどうかは「形式的」に分かります
反例がなくても形式証明の文法として正しいかどうかは計算可能です
だから全く補足になってなくバカを晒してるだけ
まあいいから命題論理でいいから形式的証明の定義書き起こすか、知ったかしてたこと謝りなよ
- 301 名前：１３２人目の素数さん [2020/04/07(火) 19:07:03.45 ID:iKfIzjyT.net]
- >>286
まったく証明がなくても「公理⇒定理」がトートロジーなら
否定命題の充足不能として有限ステップで分かります
これ豆な
https://ja.wikipedia.org/wiki/%E3%82%BF%E3%83%96%E3%83%AD%E3%83%BC%E3%81%AE%E6%96%B9%E6%B3%95
自動証明は根本的には上記の方法に基づいている
記事中には書いてないが、命題論理の場合、矛盾してる場合は止まる
だから「否定命題の矛盾」という形でトートロジーである場合の証明が求まる
しかし逆は止まらない
- 302 名前：１３２人目の素数さん [2020/04/07(火) 19:08:03.20 ID:TZiHq0ap.net]
- なんでもいいからさあ
学部生向けのまともな解説を
一から書いてくれる人暮春
- 303 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:09:03.18 ID:ElceEk/X.net]
- たしかに普通の数学の証明は非形式的だけど、補題3.12の証明と異なるのはやろうと思えば形式的にできるところ
3.12の証明はそもそも誰も形式的に翻訳できるレベルまで理解されるような証明になってないというのが現状
- 304 名前：１３２人目の素数さん [2020/04/07(火) 19:09:28.28 ID:mg7kwOWZ.net]
- >>287
いやだから、その一般論の性質の話をする意味て今ある？
もういいよ、命題論理の形式的証明の定義かけないし、君が新書読んだだけで分かった気になってる知ったかであることはわかったからさ
- 305 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:10:05.38 ID:8d5Fq5kz.net]
- >>278
論外は最後というか三行目な。Wikipediaの指摘も読めないとかw
あれはコミュニティの雰囲気と評価をちゃんと反映してんの
報道見た一般人な、お前の言う成功だと思うのが多数とかいうのは
- 306 名前：１３２人目の素数さん [2020/04/07(火) 19:12:50.17 ID:8d5Fq5kz.net]
- >>279
>>280
正しいと認識できない証明は正しいとして期待、仮定されるべきではないってだけの話じゃん
>>278みたいな池沼の論法はそれに抵触してる詭弁だわな
- 307 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:18:04.39 ID:4hCXgUOS.net]
- 言っちゃ悪いけど
数オリ金メダリストじゃない奴は天才とは言えないし
伸びしろもないよ
ペレルマンにしろショルツやタオにしろ皆んなメダリストだからね
- 308 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19
]
- [ここ壊れてます]
- 309 名前：:21:05.49 ID:FpDoFpVV.net mailto: 数学の天才はレベル低いなw []
- [ここ壊れてます]
- 310 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:23:44.81 ID:TSIs03bF.net]
- しょんべんちびるほど天才だろ
知り合いどころか俺が肉眼で見たことある奴すべてより頭いい
どっちかが間違っとるんだな
- 311 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:26:17.86 ID:X5G/mu59.net]
- 日本じゃ数学オリンピックは暇人がやるイメージだけど
外国じゃ結構名誉あるみたいね
- 312 名前：１３２人目の素数さん [2020/04/07(火) 19:27:42.21 ID:mg7kwOWZ.net]
- >>292
それはそれで正しいのだろうけど
形式的証明にすれば、ギャップがあるかどうか機械的に分かるんじゃねという話
- 313 名前：１３２人目の素数さん [2020/04/07(火) 19:29:27.47 ID:H4f9B9uj.net]
- >>289
どうなんすかね。査読者はその部分を立証とみてめてるんでしょ。
- 314 名前：１３２人目の素数さん [2020/04/07(火) 19:31:25.23 ID:iKfIzjyT.net]
- 望月とショルツの立場は対等ではない
ショルツは読む側だから間違ったとしても大したダメージはない
「書き方が悪い」というのもありだろう
一方、望月は書いた側だから間違ったら全てがパア
指摘の全てに対して答えられなければ負け
だから指摘に対して、いちいちムキになるのも分からないではない
とはいえ「読めばわかる」は負けたも同然だろう
- 315 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:35:31.38 ID:8d5Fq5kz.net]
- >>298
そこまでわかってんなら会見でプロセス公開して説明レポートまで出すに決まってる
要は単なる間違いではなくて、必要なデータが曖昧なんだよ。ちゃんと必要な論証を構成できてない
- 316 名前：１３２人目の素数さん [2020/04/07(火) 19:35:55.72 ID:H4f9B9uj.net]
- >>299
間違ってないなら、そうでしょ。
ほかに、いう人いないなら、理解できてないだけじゃねえの。
- 317 名前：１３２人目の素数さん [2020/04/07(火) 19:37:30.23 ID:mg7kwOWZ.net]
- >>299
負けじゃねえよ
数学知らん素人が知った口で数学界のことを語るな
- 318 名前：１３２人目の素数さん [2020/04/07(火) 19:37:43.66 ID:ssdGeT/a.net]
- H4f9B9uj
認めている人が多いとかじゃだめでしょ。数学者全員が認めないといけないのでは？
- 319 名前：１３２人目の素数さん [2020/04/07(火) 19:40:06.86 ID:H4f9B9uj.net]
- >>303
冗談ですよね。
数学者が全員理解できるとかいう理論しか
認められないなら、ほぼ現代数学全滅っすよ。
- 320 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:41:26.99 ID:ZvmRvOjK.net]
- もっちーは数オリ出なかったの？
- 321 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:42:02.20 ID:E3EgzeMo.net]
- 否定派はショルツ含めて反論したいならオフィシャルにやるならないと意味がない
アクセプトされ論文はギャップなく正しいと判断されたんだから
- 322 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:42:30.67 ID:mQdThExk.net]
- >>302
負けというか現状でIUTのギャップを埋めたらそいつの功績になるんだよね。
それを気にしてないんなら当人たちは間違ってるってわかってるんだろうな、と思う。
- 323 名前：１３２人目の素数さん [2020/04/07(火) 19:43:17.63 ID:mg7kwOWZ.net]
- 5chてアホでしかも知ったかの集まりだから救えない
不完全性定理も知ったかだったし、数学コミュニティついても当然知ったかなんだろうと思う
- 324 名前：１３２人目の素数さん [2020/04/07(火) 19:43:22.87 ID:+9tSKI6/.net]
- Joshi 致命的な勘違いを全世界に晒される
Taylor 反論できず敗走
IUT村の解体が始まるな。
- 325 名前：１３２人目の素数さん [2020/04/07(火) 19:43:37.74 ID:iKfIzjyT.net]
- >>302
じゃ、君、黙って
素人でしょ？
- 326 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:44:16.86 ID:kJC3SjkB.net]
- >>303
(〃ﾟ艸ﾟ)ﾌﾟｯ!
- 327 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:45:12.92 ID:0RNvK/+p.net]
- ワイルズがカッツに証明の穴を指摘されて焦ったのは、
そこを他人に埋められたら定理の名前が連名になるからなんだよね。
- 328 名前：１３２人目の素数さん [2020/04/07(火) 19:45:27.98 ID:mg7kwOWZ.net]
- >>310
俺は素人だけど君のように知ったかはしないよ
自分のわかる範囲でしか書いてない
- 329 名前：１３２人目の素数さん [2020/04/07(火) 19:45:55.51 ID:iKfIzjyT.net]
- >>307
＞現状でIUTのギャップを埋めたらそいつの功績になる
フェルマーの「定理」のギャップを埋めたワイルズの功績になるようなもんか
- 330 名前：１３２人目の素数さん [2020/04/07(火) 19:47:39.65 ID:iKfIzjyT.net]
- >>313
＞俺は素人だけど
やっぱりね
＞自分のわかる範囲でしか書いてない
じゃここに書いたらダメだね
「算数」の範囲をはるかに超えてるでしょ
- 331 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:47:46.86 ID:8d5Fq5kz.net]
- >>309
本当に終わるのはショルツに誰か明確に加担してからだわな
今んとこ、おかしいから受け入れはないよってレベルで済んでる
- 332 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:49:04.57 ID:CCI9CStK.net]
- 難解な書き方をしているのは何か理由があるはずだよ
論文はIUT理論についての説明なのであって、abc予想を証明しているわけではないとかなら、どちらもおかしくはない
望月はabc予想を証明したと発言してるのか？
- 333 名前：１３２人目の素数さん [2020/04/07(火) 19:50:38.66 ID:mg7kwOWZ.net]
- >>307
ならねえよ
ギャップの大きさによるわ
ペレルマンの証明には多少のギャップがあって中国人がそれ埋めて最終的な証明は自分だと主張したけど受け入れられなかっただろ
当然それは数学界にとっては前進したからいいことだけど、名前残るかどうかはギャップの大きさによるわ
- 334 名前：１３２人目の素数さん [2020/04/07(火) 19:52:04.38 ID:mg7kwOWZ.net]
- >>315
もう内容ないことで煽るしかできなくなってしまったんだね
君の不完全性定理の不理解をみんなの前で暴いて、恥かかせてごめんね？
- 335 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:53:23.02 ID:8d5Fq5kz.net]
- ついでに数オリについて客観的に言っておくと、モチベーションや家庭環境の問題があるから
むしろ数オリに出ずに業績出した奴こそ真の天才とも言えるだろうな
タオは両親が医者に教師、ショルツも文化的には多分上流だと思う
- 336 名前：１３２人目の素数さん [2020/04/07(火) 19:53:48.09 ID:iKfIzjyT.net]
- ＞難解な書き方をしているのは何か理由があるはずだよ
理由
１．本当に必要
２．グロタンディクみたいに粋がってみた
３．実は無内容なのを隠蔽した
４．何等かの精神的な病が進行している
１はなさそうだ
２が疑われるが、実は３かもしれない
しかしそんなのは白状できないから
いよいよヤバくなったら４だということにして
山奥の病院にブチ込まれる可能性大
この国では都合の悪いことは全て闇に葬られる
- 337 名前：１３２人目の素数さん [2020/04/07(火) 19:55:07.48 ID:rx19SrZa.net]
- 理由なんてなく難解にしかやれないだけかと
ラマヌジャンほどではないにしても直感的な人で理論もできるが煮詰めるのは難しいか苦痛なんだろう
イチローが自分は天才ではない、なぜなら○○だからだ、みたいなをいってたが
○○は、ヒットが打てる理由を説明できるから、とかそんな感じだが
- 338 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:55:22.75 ID:uwj+3Ycr.net]
- >>318
現状のギャップの大きさはそれくらいあるぞ。
なんせ理解してるのが外部にひとりもいないからな。
- 339 名前：１３２人目の素数さん [2020/04/07(火) 19:56:18.07 ID:iKfIzjyT.net]
- >>319
ん？「形式的定義！」とわめくだけの素人っぷりをあらわにしたのは君
でも、君は何も失うものないだろ？文系かまかり間違っても工学部出身だろ？
そんなの数学的には存在しないも同然だからな
- 340 名前：１３２人目の素数さん [2020/04/07(火) 19:56:19.11 ID:mg7kwOWZ.net]
- >>321
素人がなんで1が不要てわかるんだ？
当然君は数論幾何も圏論も知らないと思うんだけど、どうやって判断したの？
- 341 名前：１３２人目の素数さん [2020/04/07(火) 19:58:48.93 ID:iKfIzjyT.net]
- >>325
なんで算数が全ての君がムキになってるんだ？
別に望月の論文が誤りでも君が必死に覚えた九九が無駄になることはないぞ
七の段も今まで通り よかったなｗ
- 342 名前：１３２人目の素数さん [2020/04/07(火) 19:59:11.22 ID:ssdGeT/a.net]
- ＞＞304
数学者全員が「認める」というのは、全員が「証明を理解する」という意味ではなく、
「証明は間違っている」と思う数学者が一人もいない状態をさします。
ワイルズの証明を全員が理解していなくても、あの「証明は間違っている」と思う人は、
いないでしょう。（理解できない人も、理解できる人も）
- 343 名前：１３２人目の素数さん [2020/04/07(火) 19:59:33.04 ID:H4f9B9uj.net]
- >>323
あなたのいう外部というのは、
理解してない人の言い換えでは。
- 344 名前：１３２人目の素数さん [2020/04/07(火) 19:59:38.88 ID:mg7kwOWZ.net]
- >>324
形式的定義なくて、形式的証明な
形式的定義なんて概念必要ないからそんな間違い起こすはずないんだけどな
（もしあるなら形式的定義の定義を書いてみ）
もうどんどん素人であることボロ出てくるね
- 345 名前：１３２人目の素数さん [2020/04/07(火) 20:01:35.49 ID:H4f9B9uj.net]
- >>327
そういうことなら、証明が間違っていると思ってる人がシュルツ以外にいないよね。
だから、そこ解決すれば、前進するんでは。
- 346 名前：１３２人目の素数さん [2020/04/07(火) 20:01:43.43 ID:iKfIzjyT.net]
- >>322
じゃ、乃木坂のまなったんは天才だｗ
だって、自分がなんで音痴か説明できないからな
- 347 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 20:02:56.17 ID:X5G/mu59.net]
- アイドルオタが出っ張てるのか
欅坂がどうとかいうから野次馬がわいてるんだろうな
- 348 名前：１３２人目の素数さん [2020/04/07(火) 20:03:50.57 ID:mg7kwOWZ.net]
- >>326
ごめん、君と違って不完全性定理くらいは理解してるんだわ
君はもしかして数学科なのかもしれないけど、新書程度で済まさずちゃんと専門書買って勉強した方がいいよ
- 349 名前：１３２人目の素数さん [2020/04/07(火) 20:04:44.43 ID:iKfIzjyT.net]
- >>329
今の君はこんな感じか
:.,' . : : ; .::i'ﾒ､,_ i.::l ';:.: l '､:.:::! l::! : :'､:i'､: : !, : : : : : :l:.'､: :
'! ,' . : i .;'l;' _,,ﾆ';､,iｿ '; :l ,';.::! i:.! : '､!:';:. :!:. : : : :.; i : :'､:
i:.i､: :｡:!.i.:',r'ﾞ,rf"`'iﾐ,`'' ﾞ ';.i `Ｎ,_i;i＿__,,_,'､-';‐l'i'':':':':‐!: i : : '、
i:.!:'､: :.:!l :'ﾞ iﾞ:;i{igil};:;l' ヾ! 'i : l',r',ﾃr'‐ミ;‐ﾐ';i:'i::. : i i i : : :i
:!!ﾟ:i.'､o:'、 ﾞ､::ﾞ''".::ﾉ iﾞ:;:li,__,ﾉ;:'.､'､ :'i:::. i. !! : : !:
.' :,'. :ﾞ>;::'､⊂‐ﾆ;;'´ '､';{|llll!: :;ﾉ ! : !::i. : : : : i :
: :,' /. :iヾ､ ｀ ､._. ミ;;--‐'´. /.:i;!o: : : :i :
: ; : ,' : : i.: <_ ｀ ' ' ｀｀'‐⊃./. :,: : : O: i. :
: i ,'. . : :', ､,,＿ ,.:': ,r'. : , : : !: : あやまれ!!
:,'/. : : . :;::'､ ﾞ|llllllllllllF':-.､ ,r';､r': . : :,i. : ;i : : 俺様にあやまれ!!
i,': : : :.::;.'.:::;`､ |llllH". : : : :｀､ ,rシｲ...: : ; : :/:i : i:!::i:
;'. : :..:::;':::::;':::::`.､ |ｿ/. : : : : : : ;,! ,／'ﾞ. /.:::: :,:': :./',:!: j:;:i;!;
i. : .:::;:'i::::;':::::::::i::`:.、;ﾞ､';‐ ､,;__;,／ﾉ . :,/.:::: :/. : :/.:::i. j:;;;;;;;;
l .:::;:'::;':::;':::::::::::i::::i::`:,`'-二'‐-‐''ﾞ_,､-.':ﾞ/.:::: ;ｨ': : :/.:::::i: j､;;;;;;;
.:::;:':::;':::;':::::::::::
- 350 名前：:::i:::i:::::..｀'‐､､､-＜ﾞ.::::::::/.::: ://. : /.:::::::i :j::.'､:;;; []
- [ここ壊れてます]
- 351 名前：１３２人目の素数さん [2020/04/07(火) 20:07:18.63 ID:rx19SrZa.net]
- 天才とは何だ？ブラームス型凡楽のすすめ
「天才」の凄さは一目瞭然だが、ブラームスはその逆。全く一目瞭然でない地味なところから、100年間にわたってじわじわ効くボディブロウを叩き出す。
考えてみれば、バッハ・ベートーヴェン・ブラームスの三大Bは3人とも「天才」とはほど遠い、後天的かつ結果論的な「巨匠」。
むしろ、天分に恵まれなかったことで生涯ジタバタし通しだった印象の方が強�
- 352 名前：｢。
天分に恵まれたわけでもない者が、ここまで音楽史に影響を与える「音楽的偉業」に到達した、という事実の凄さ。
Aから直接Dを導き出すような直感的な思考をする人こそ「天才」と賞される。
AからBを経てCを加味しつつDに至る…というような順序立てた思考で辿り着いた行動をする人は「天才」とは呼ばれにくい。
ネイティヴに「音楽」を操れる…と言うのは、普通の人が言葉を話す時、文法だの修辞法だのを意識しないのと同じように、まったく直感的かつ自然に音楽を組み立てられる…と言うこと。
そこに論理的思考や計算の跡筋はみられない。
音楽をさらさら作曲する天才に「その曲はどうやって作ったんですか？」と聞いても「自然に頭に浮かんだ」とか「空から聞こえてきた」というような返事しか返ってこない。
この不思議さ加減が「天才」の「天才」と呼ばれる所以である。
「生業」にする場合、この「自然に頭に浮かぶ」ことほど怖いものはない。
それは、それまで「自然」に「直感」で作ってきたものに改めて向き合い、果たして文法的な整合性や論理的な構築性があるかどうか考える必要に迫られることと言ったらいいだろうか。
その時「自分がどうやって音楽を生んでいるか」という基本が自分で分からないことになると、これは一転して大いなる「不利」になることがある。
この種の天才少年は、多くの場合、ピーク時の直後に大きな壁に直面し、その際に早死にしてしまうか、その後才能を枯渇させてしまうことが実に多い。
http://yoshim.cocolog-nifty.com/office/2010/06/post-38d4.html [] - [ここ壊れてます]
- 353 名前：１３２人目の素数さん [2020/04/07(火) 20:07:45.34 ID:iKfIzjyT.net]
- >>333
＞不完全性定理くらいは理解してるんだわ
それ、素人にありがちな誤解だから
新書？不完全性定理について書かれた新書なんてあったか？
ああ、ブルーバックスのあの本か あんなの読んだら馬鹿になるぞｗ
タブロー法について知るなら
戸田山和久の「論理学をつくる」がいいよ
やたらデカイ本だけどな
- 354 名前：１３２人目の素数さん [2020/04/07(火) 20:09:48.08 ID:mg7kwOWZ.net]
- >>334
結局「形式的定義」は書けなくて草
そのAAはむしろ君の状態かな笑
- 355 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 20:10:20.33 ID:sVnjGxEc.net]
- 結局ショルツは2019年に新しくなった系3.12の証明を読んだのかな？
それ以降具体的な問題点の指摘もなく、
一方で査読の方では問題なしの結論となって、
もう無反応のショルツを待ってられないから論文完全Acceptを決定した、
ということなのかな？
- 356 名前：１３２人目の素数さん [2020/04/07(火) 20:11:11.06 ID:iKfIzjyT.net]
- >>337
ボクの状態はこんな感じかな
＿＿＿_
／ ＼ ／＼ ｷﾘｯ
. ／ （ー） （ー）＼
／ ⌒（__人__）⌒ ＼ ＜おい、お前「毒」持ってる？
| |r┬-| | って蛇に聞いてみたんだよ。
＼ `ー'´ ／ そしたら何て答えたと思う？
ノ ＼
／´ ヽ
| ｌ ＼
ヽ -一''''''"～～｀`'ー--､ -一'''''''ー-､.
ヽ ＿＿＿＿(⌒)(⌒)⌒) ) (⌒＿(⌒)⌒)⌒))
＿＿＿_
／_ノ ヽ､_＼ ＜Yes, I have.だっておｗｗｗ
ﾐ ﾐ ﾐ oﾟ(（●）) (（●）)ﾟo ﾐ ﾐ ﾐ
/⌒)⌒)⌒. ::::::⌒（__人__）⌒:::＼ /⌒)⌒)⌒)
| /�
- 357 名前：@/ / |r┬-| | (⌒)/ / / /／
| :::::::::::(⌒) | | | ／ ゝ :::::::::::/
| ノ | | | ＼ / ） /
ヽ / `ー'´ ヽ / ／
| | l||l 从人 l||l l||l 从人 l||l バ
ヽ -一''''''"～～｀`'ー--､ -一'''''''ー-､ ン
ヽ ＿＿＿＿(⌒)(⌒)⌒) ) (⌒＿(⌒)⌒)⌒)) バ
ン [] - [ここ壊れてます]
- 358 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 20:11:48.43 ID:vdBmxikH.net]
- >>321
2->4ルートか
フランス現代思想かぶれ->4ルートかな
批評空間(絶滅済)とか読んでいきがってた感じだよねIUTw
- 359 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 20:12:11.71 ID:uwj+3Ycr.net]
- >>338
編集委員会は基本的な変更はないって言ってるんだから新しい証明なんてないんだろ。
- 360 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 20:13:18.12 ID:Z5ibpLcW.net]
- major revisionを認めてないからね。ショルツが新しく読む必要のある箇所はないことになっているはず。
- 361 名前：１３２人目の素数さん [2020/04/07(火) 20:15:28.70 ID:iKfIzjyT.net]
- >>340
ポストモダン→アウトサイダー・マス に移行か
個人的にはアウトサイダー・アートは好きですけどね
https://ja.wikipedia.org/wiki/%E3%82%A2%E3%82%A6%E3%83%88%E3%82%B5%E3%82%A4%E3%83%80%E3%83%BC%E3%83%BB%E3%82%A2%E3%83%BC%E3%83%88
- 362 名前：１３２人目の素数さん [2020/04/07(火) 20:17:01.15 ID:rx19SrZa.net]
- ベートーヴェン少年やブラームス少年はそこまで「いいとこ坊ちゃん」で育ってはいない。
ピアノの即興演奏家としてウィーンで活動を始めたベートーヴェン青年がようやく「作曲家」という道の入口に辿り着いたのが30歳。
ブラームス青年が「交響曲」の世界に踏み込んだのは40歳過ぎ。
「十代で才能を発揮して、二十代でいっぱしのプロ」というタイプの天才型作曲家の系譜は、前期ロマン派を境に途絶えてしまう。
20歳過ぎてもさっぱり才能の片鱗を見せなかったような怪しい経歴の「天才」が俄然多くなる。
絵画だの演劇だの科学だのにうつつを抜かし、モラトリアム期間には法律や医学を勉強し、ある時、突然「音楽」に目覚める…というのがパターンだ。
確かにスタートは遅いが、一旦道を定めるとその吸収力が驚異的なのも共通項。ほぼ数年で最低限の音楽の基本はマスターしてしまい、
基礎に縛られないぶん革命的な理想に燃え、下積みの苦労を経て20代後半か30歳近くなってようやく楽壇に登場。
その後は明確な個性を持って音楽界に作品を提供し続ける。
彼らの根幹にあるのは、幼少時に植え付けられた「直感」などではなく、厳しい生存競争の中で身につけた「戦略」だ。
こういう作曲家たちをモーツァルトやシューベルトのような才能と一緒に「天才」の一言で括りたくない、と言うのが本音。
全く違ったベクトルの才能だからだ。
かくして、この種の「戦略家」たちが跋扈し始める時代以降、もはや無垢な「天才」たちに出る幕はなくなったとも言える。
yoshim.cocolog-nifty.com/office/2010/06/post-38d4.html
- 363 名前：１３２人目の素数さん [2020/04/07(火) 20:22:57.72 ID:iKfIzjyT.net]
- ＞批評空間
ああ、それ知らない
「現代思想」なら知ってるけど
もうずいぶん前だけど現代思想の「ゲーデルの宇宙」とかいう号で
ジョージ・ブーロスが書いた、ベリーのパラドックスを利用した
ゲーデルの不完全性定理の新しい証明の論文の翻訳が載っていて
それに対して前原昭二がなんだかんだイチャモンつけてるんだけど
どうでもいいようなことばっかりで「ああこの人ヤキがまわったな」
と思って残念だった
- 364 名前：１３２人目の素数さん [2020/04/07(火) 20:29:23.54 ID:8d5Fq5kz.net]
- そもそも
- 365 名前：形式化して検証しうるほどの論理を持ってたら容易に意味的に説明できるって話だわ
とりあえず不完全性定理は関係ないし、あとアップデートがとか言ってるけど
著者の精神安定のために加えてる部分だから特に状況は変わらん
個人的にはショルツの鼻を明かして欲しいけど、ちょっと難しいだろうな [] - [ここ壊れてます]
- 366 名前：１３２人目の素数さん [2020/04/07(火) 20:33:32.23 ID:Fpmg8c9A.net]
- バカがおおくて助かったわ
- 367 名前：１３２人目の素数さん [2020/04/07(火) 20:35:23.37 ID:iKfIzjyT.net]
- >>346
＞個人的にはショルツの鼻を明かして欲しい
そうか？
望月は父親は日本人だけど、
母親はアメリカ人だし大学はプリンストンだし、
基本的にはアメリカ人だよね
ということで特に思い入れはないんだよね
- 368 名前：１３２人目の素数さん [2020/04/07(火) 20:37:13.16 ID:I+3THr08.net]
- 久しぶりにAA合戦みたｗ
- 369 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 20:38:35.03 ID:R8deLrXY.net]
- >>348
もっちーは自分を日本人だと強く意識してますよ
海苔ご飯と日本人女性を愛するど日本人ですよ
基本的におたく、アメリカ人だよねなんて言ったらはったおされますよ
- 370 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 20:42:55.19 ID:88eWIsK9.net]
- >>339
おサルのお得意AAか
おサル ここはお前の来るところじゃない
巣へお帰りｗｗ
- 371 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 20:43:30.90 ID:HmV3uNIz.net]
- くっそ荒れてるなw
証明の真偽はこの際どうでもいいけどあんま周囲に迷惑かけるようなことだけはしないように頼むで
- 372 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 20:50:16.43 ID:e9tQ8lgx.net]
- >>333
餅好きの定理は不完全定理なのかもしれないな。
公理から演繹できないが、成立する。
このアイデアで進めてみるよ。
- 373 名前：１３２人目の素数さん [2020/04/07(火) 20:53:43.22 ID:ssdGeT/a.net]
- ショルツさんはまだ認めていないようです
https://www.math.columbia.edu/~woit/wordpress/?p=11709#comment-235950
- 374 名前：粋蕎 mailto:sage [2020/04/07(火) 20:54:46.97 ID:8W2VIIXS.net]
- 何で此の2人はこう恥を晒していけるんじゃ
ゲーデルに対するヒルベルト状態なのか、はたまた小保方STAP殺法状態なのかは
此のスレの面子じゃ行く末を見るしかできんじゃろうて
- 375 名前：１３２人目の素数さん [2020/04/07(火) 20:58:41.35 ID:iKfIzjyT.net]
- >>350
普通の日本人は別に日本人だと意識しない
やっぱり半分アメリカ人だから日本にこだわるんだな
- 376 名前：１３２人目の素数さん [2020/04/07(火) 21:02:22.11 ID:iKfIzjyT.net]
- >>355
君も仲間に入れよ
バカなんだろう？
どうでもいいけどおまえ広島出身？
ならSU-METAL応援しろよ 広島が生んだ世界の☆だぞ
- 377 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 21:02:40.87 ID:e9tQ8lgx.net]
- >>179
ABCは研究員を数人雇うぐらいのせいぜい100万円程度の話だよ。
小保方のは一国の予算ぐらいの大きな話だから、
比較にはならんよ。
- 378 名前：１３２人目の素数さん [2020/04/07(火) 21:13:49.39 ID:+9tSKI6/.net]
- ゴー雇っただけでも生涯給与環境整備諸々で4億くらいはかかってるから
- 379 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 21:15:35.37 ID:8d5Fq5kz.net]
- >>355
実力があってもこの論争に実名で参戦するメリットは基本的にないな
ショルツは既に自分の業績がはっきりしてるからある程度余裕があるだろうし、大体こういう奴は
はっきり理解できたら間違いを認めるよ。意地はあるけど間違いだったら絶対に素直に認める
望月はわからんが
- 380 名前：１３２人目の素数さん [2020/04/07(火) 21:19:03.17 ID:iKfIzjyT.net]
- >>360
ショルツはもともと森重文に頼まれてIUTに関わってるし
あんな論文で読み間違いがあったとしても別に恥ずかしくもないだろう
望月は粋がって書いた論文が全否定だったら大打撃
数学者生命が終わったといっても過言ではない
だからムキにもなるだろうが流れは止められないな
- 381 名前：１３２人目の素数さん [2020/04/07(火) 21:28:12.34 ID:HKpWWrsN.net]
- 小保方の件は、結局何だったの？
ぜんぜん核心の部分が明らかになってないままだよね�
- 382 名前：H []
- [ここ壊れてます]
- 383 名前：１３２人目の素数さん [2020/04/07(火) 21:31:55.18 ID:stWhGAqf.net]
- なぜか大物扱いされてきた数学界の藤原紀香
- 384 名前：１３２人目の素数さん [2020/04/07(火) 21:36:35.58 ID:iKfIzjyT.net]
- >>362
出来心でへんな細胞混ぜたらキメラマウスができちゃった
でも、まさかDNA検査されるとは思わず、爆死
- 385 名前：１３２人目の素数さん [2020/04/07(火) 21:37:10.73 ID:fmHh8bjw.net]
- 1回使用した素数は2回は使わない素数feedです
https://sosu3.com/feed/10min.xml
https://sosu3.com/feed/hourly.xml
- 386 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 21:39:08.72 ID:8d5Fq5kz.net]
- 有象無象で終わりたくないって気持ち、野心はわかる
彼の場合何がなんでもabcってのはあったと思うわ
粋がったというより、自己評価高いし精神力注いだ結果ああいう物凄い論文になっちゃったんだろうな
- 387 名前：１３２人目の素数さん [2020/04/07(火) 21:42:49.61 ID:I+3THr08.net]
- グロタンの結論はキムチ
これに尽きる
- 388 名前：１３２人目の素数さん [2020/04/07(火) 21:45:44.32 ID:I5SB4qpl.net]
- 優秀な研究者を小保方に変え
国家の中枢を担う研究所を茶番組織に変貌させてしまう
ABC予想の妖しい魔力。
昔のフェルマーの予想で散った数学者たちのエピソードをリアルタイムで見てる感じだな。
- 389 名前：１３２人目の素数さん [2020/04/07(火) 21:46:08.42 ID:I+3THr08.net]
- グロタンが何を考えていたのかは誰にもわからない
こういう発言が美徳とされる日本では受け入れられない理論なのだろう
所詮数学も政治だ
- 390 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 22:08:44.21 ID:n/MPb4LC.net]
- 国内ですら身内以外の同業数学者が
社交辞令でもおめでとうと言わないのがヤバイよ。
既に触れてはいけないというコンセンサスが出来上がっていそう。
|
 |
