Inter-universal geometryとABC予想(シン応援スレ) 92 (450ﾚｽ)
上下前次1-新
402: 07/21(火)19:56 ID:2GPRU5Zx(1/2) AAS
>>400
ですね
403: 07/21(火)19:59 ID:1oLhTN1K(1) AAS
ギャップを埋めるために、まずは公理をいじってIUTが正しいとしようぜ
404: 07/21(火)20:07 ID:2GPRU5Zx(2/2) AAS
それで「自明」になる訳ですね
405(1): 07/21(火)23:47 ID:IngSDRcX(1) AAS
>>400
>>ああ Lean形式化の発表でギャップ見つかった話？ ギャップ埋めればいいだけでしょ？
>ああ リーマン予想は未証明って話？ 証明すればいいだけでしょ？
例えば 過去レスにも書いたが
下記のフェルマー最終定理の証明と対比するのが適当だろう
ワイルズによる証明は、100点満点の99点で ただし1点足りない状態で
リチャード・テイラーの協力を仰ぐ
そして、1年 『彼はほとんど誤りの訂正を諦める寸前で、証明に失敗したことを認める瀬戸際』だった
そのとき もの凄いアイデアが降ってきた！
『不意に、コリヴァキアン＝フラッハ法の適用の際に問題となっている部分そのものが（コリヴァキアン＝フラッハ法のアプローチから得た経験を援用することで）岩澤理論の適用を可能にすることに気がついた』
省9
406: 07/22(水)00:01 ID:u5VrSqGL(1/10) AAS
Q.まったく価値のない持論を何度も繰り返すのは病気ですか？
A.何度も同じ持論を繰り返されると、聞く方も疲れてしまい、「何か病気なのだろうか」と疑問に思うのは当然のことです。結論から言うと、単に本人の性格やコミュニケーションの癖である場合が多いですが、背景に脳の病気や精神疾患が隠れている可能性もあります。
407(1): 07/22(水)00:22 ID:V9GWtChn(1) AAS
フェルマーの最終定理の証明は最後のギャップが埋まらなかったとしてもそこ以外は価値のあるものだったが
IUTは3.11→3.12のギャップが埋まらなければ全体が完全に無価値なんですよね
408: 07/22(水)01:19 ID:Zr/Df7zJ(1/4) AAS
>>407
はい
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仕草
命題から逃げて延々ズレたコピペを繰り返す
上下前次1-新書関写板覧索設栞歴
あと 29 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s