Inter-universal geometry と ABC予想 (応援スレ) 52at MATHInter-universal geometry と ABC予想 (応援スレ) 52 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト450:１３２人目の素数さん 21/03/01 15:05:51.67 v7ayOauM.net ん、30とか60はあるが、 しかし、24 ってベルヌーイ数の分母なん？ 451:１３２人目の素数さん 21/03/01 15:08:07.10 v7ayOauM.net >>416 何が面白いかって、 私は、それはそれほど複雑なものである理論をカラクリに落とし込んだ天才の simplification だと思う。 452:１３２人目の素数さん 21/03/01 15:12:09.01 v7ayOauM.net ホモトピーの本質を抜き出さなければ、ここまで出来んと思うが、 私はまだ本質を説明するまで理解していない。 しかし言えることがあるなら、複素幾何という装置を使わなくとも、 依存型の関数型で、同じ本質の議論が出来、複素幾何の本質のみを抜き出し安定ホモトピーの議論をそのままできる。 453:１３２人目の素数さん 21/03/01 15:13:59.95 v7ayOauM.net >>416 まだ試していないが、 その装置をHoTT は提供している。 安定ホモトピーはもちろん計算できる。 454:１３２人目の素数さん 21/03/01 15:15:03.16 v7ayOauM.net いや、ベルヌーイ数の記述どこよ。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch