Inter-universal geometryとABC予想(シン応援スレ) 92 (565ﾚｽ)
上下前次1-新
409: 07/22(水)05:12 ID:mVv9Tn8+(1) AAS
jinは頭の病気
統合失調症
410(1): 07/22(水)10:48 ID:RAZlqblh(1) AAS
駄々をこねるの本質
相手が嫌になって引いて行くのを期待してる
それで「自分の勝ち」と思う
小学校あたりで人間的成長が止まってる
411(2): 07/22(水)10:56 ID:u5VrSqGL(2/10) AAS
>>258
そもそも証明検証ツールが本格的に運用されるようになったのは今世紀以降。
いかなる非形式的証明もギャップが無いことが検証されていない。
それでも数学者は長年培ってきた数学的思考によりたいていの証明につきギャップの有無を判断できる。
ところがIUTは既存の数学とは全く異なる言語で記述されており長年の経験が役に立たない。
そのようなIUT固有の事情を考慮せずに
>時代が進まないと、ギャップに気付かないということは
>数学史上しばしばあった
などと言ったところでまったく的外れ。
>代数学の基本定理（＝代数方程式は複素数根を持つ）
省2
412: 07/22(水)12:08 ID:QCaNv3B1(1/2) AAS
>>405
固執してるね
長いの直せないんだから
自分の中では理屈が通ってるから長文で粘着していいと
413: 07/22(水)13:31 ID:Zr/Df7zJ(2/4) AAS
>>410
それが朝鮮IUT仕草
414(1): 07/22(水)13:53 ID:n+1eBk57(1/2) AAS
>>411
>そもそも証明検証ツールが本格的に運用されるようになったのは今世紀以降。
ショルツがやったやったやつみたいに
ホッカホカの最新の数学が検証されたのはたしかに最近
>いかなる非形式的証明もギャップが無いことが検証されていない。
これは言い過ぎでIsabelle, HOL, Coqは前世紀から使われてるし
利用する公理の範囲を検討する逆数学との関係で
ギャプ探しは結構行われてた
415(2): 07/22(水)13:54 ID:n+1eBk57(2/2) AAS
>>411
>ところがIUTは既存の数学とは全く異なる言語で記述されており長年の経験が役に立たない
これも大した問題じゃない
ギャプがあると問題だけど
416: 07/22(水)14:33 ID:u5VrSqGL(3/10) AAS
>>414
>>いかなる非形式的証明もギャップが無いことが検証されていない。
>これは言い過ぎでIsabelle, HOL, Coqは前世紀から使われてるし
え？ それ形式化してるやん
非形式的証明って書いてるんだけど字読める？
417(1): 07/22(水)14:35 ID:u5VrSqGL(4/10) AAS
>>415
なんで勝手に問題と言ってることに脳内変換すんの？
418: 07/22(水)14:37 ID:u5VrSqGL(5/10) AAS
こういう勝手に脳内変換する人って会話が成り立たないから疲れるね
419: 07/22(水)14:44 ID:1xaWQya/(1) AAS
>代数学の基本定理（＝代数方程式は複素数根を持つ）
複素数体は代数的閉体だといえるが、逆、すなわち
代数的閉体は複素数体である、とはいえない
420(1): 07/22(水)14:47 ID:u5VrSqGL(6/10) AAS
>代数的閉体は複素数体である、とはいえない
誰か言えるって言ったの？ 見えない敵と戦ってる？
421: 07/22(水)15:56 ID:Zr/Df7zJ(3/4) AAS
>>417
それがキチガイIUT仕草
命題から逃げて延々ズレたコピペを繰り返す
422(1): 07/22(水)16:32 ID:/bpX0nWF(1) AAS
>>420
君を応援したんだけど
423: 07/22(水)17:09 ID:u5VrSqGL(7/10) AAS
キモチワルイ
424: 07/22(水)17:27 ID:Zr/Df7zJ(4/4) AAS
庵野が使うシンは李氏朝鮮清のシンww
425: 07/22(水)17:51 ID:dnk3CYgU(1) AAS
>>422
キモチイイ
426(1): 07/22(水)18:09 ID:j1T6QVV5(1) AAS
>>415
>ギャプがあると問題だけど
GAPがあっても埋めれば問題がないと言い始めてるのがIUTサイドかな
まあ埋めれば問題がないのは結果オーライてことだけど
当初論文にGAPがあったのに出版したPubl. of RIMSは責められても仕方ないのでは
それに埋めれるかどうかまったく不明ですし
埋めたら埋めた人の業績になるべきで
その場合当初論文はその呼び水って扱いになるのかな
427: 07/22(水)18:34 ID:cSy5wfDp(1) AAS
>>377
少なくともペレルマンは指摘された問題点に素直に向き合って照明のギャップを埋める作業をやったわけだが。
428(2): 07/22(水)19:24 ID:Te3LA19E(1) AAS
>>426
ギャップが小さければほとんど望月の仕事と認められるだろうけど
その可能性は全くないよね
8年間改善できなかったんだから
小さいギャップなら望月かショルツか他の誰かがとっくに埋めてる
みんな何処に問題あるか知ってたんだから
上下前次1-新書関写板覧索設栞歴
あと 137 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.022s