ABC予想を証明した望月新一教授を語ろうat MATHABC予想を証明した望月新一教授を語ろう - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト244:１３２人目の素数さん 23/03/13 08:55:02.30 cTr5LNbf.net Nスぺに出ていたWaldschmidt先生が複素解析の 論文をarXivに出している https://doi.org/10.48550/arXiv.2303.04514 245:１３２人目の素数さん 23/03/13 09:00:57.76 9uS2X/9p.net >>233 ヘレティックって何？ 246:１３２人目の素数さん 23/03/14 11:08:11.45 14MQ4lTo.net カトリックがカトリックの教義に対立する信仰を持つ人々を指して言う時の呼称 拡大解釈され異教徒や政治上別党派や異端児にまで宛てて呼称される事も有る IUTはヘレティックよりも酷い、シャムの双生児だ 247:１３２人目の素数さん 23/03/15 04:37:37.50 hSVs49y9.net この予想をば 我が定理とぞ思う 望月の 欠けたる証明 なしと思わば 248:１３２人目の素数さん 23/03/15 16:54:35.11 wvv1a1rt.net そもそも形式的に証明可能なの？>abc予想 これだけ手こずってるなら命題自体の証明よりも命題が証明可能かの証明にシフトした方がよくない？なんにでもいえるけど。 経験則で証明に時間がかかると予見された命題は証明可能性の証明をしておくほうが時間の無駄が少なくて済みそう 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch