Inter-universal geometry とABC 予想47at MATHInter-universal geometry とABC 予想47 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト1030:１３２人目の素数さん 22/03/01 17:38:15.57 WD7pYBhA.net どう見てもヨイショなのわかるでしょ 数学者が内容に期待するようなもんじゃない 1031:１３２人目の素数さん 22/03/01 18:44:11.20 ev5M7ky9.net >>983 ショルツェ 1032:１３２人目の素数さん 22/03/01 19:20:47.18 V4XTkXDA.net >>983 単に数学の証明が合ってるか合ってないかだけの話をどこまで膨らませるんだろう？ 1033:１３２人目の素数さん 22/03/01 19:25:03.10 ev5M7ky9.net 3月6日に放送予定だったのが ウクライナ情勢の影響で3月19日以降になったというが 変な話ではないか。 1034:１３２人目の素数さん 22/03/01 19:36:13.43 Eks3YeZC.net この件の暗黙の主題は 30年前に教育研究用関数型プログラミングの文脈で オブジェクト指向等包括し得るプログラミング・モデルの描像とされた「圏論的プログラミング」の概念を モジュール的プログラミング手法として抽象し プログラミングとは別の文脈すなわち数学における大規模な証明技巧として成立させる事ができるのかどうか、現状ではどのような問題がネックとなっていて、その解決の見通しはどこにあるのか という話だと理解している。 仮に、モジュール的プログラミングの手法で問題分割と分割証明を形式化できれば、これまで少数の緊密な関係にある数学者だけでは手に負えなかった規模の問題をブルートフォースで解決できるようになるかもしれない ただし問題全体を見通す能力のある人が� 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch