Inter-universal geometry と ABC 予想 46at MATHInter-universal geometry と ABC 予想 46 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト151:１３２人目の素数さん 20/04/05 00:20:53.02 eE1c54JB.net 取り巻きA「PRIMSに投稿するのはどうですか？（頼むそこで止めてくれ）」 取り巻きB「PRIMSの権威も高まるしいいアイデアですね（査読で止まるしナイス誘導）」 取り巻きC「私も賛成します（リジェクトされて教授も目を覚ましてくれるはず）」 PRIMS「アクセプトしました」 取り巻きA＆B＆C「おめでとうございます（嘘だろおい！！！！！！？）」 152:１３２人目の素数さん 20/04/05 00:23:34 9LQRPQ2M.net >>48 誤読してない？ PRIMSではなくAnnalsやJAMSに投稿すべきだったってことに完全同意(totally agree)って意味だろ。 153:１３２人目の素数さん 20/04/05 00:25:42 gYLaCYd2.net そもそも今回はABC予想を証明してるの？ 前は強いABC予想じゃなく弱いABC予想だと言ってたけど 154:１３２人目の素数さん 20/04/05 00:27:37 8Izn6abD.net >>145 包括していて、なおかつ共通語を持たないと別々の体系を位置付けられない。原理から言って 相対性理論とニュートン力学では幾何学的な自由度からして違う。自由度が高いと表現力もより高い 似たような事は形式言語でも当然ある 実際、抽象的な言語ほど別の具体的な高レベル言語をコードしてシミュレートできる しかしそういう事は案外一般理論としてはあまり考えられてない問題かもしれないし、かなり深い問題だろうね 数学をAI化するのと数学の一部を形式化するのはそういう意味でも 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch