[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 65 http://rio2016.5ch.net/test/read.cgi/math/1644632425/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
687: １３２人目の素数さん [sage] 2022/04/28(木) 20:05:29.95 ID:2eKniQGM 別スレに貼ってあったが、このショルツも参加するトークセッション「数学の形式化 コンピュータはいつ証明を行うのですか？」を、 日本の数学者はきちんと見て勉強したほうがいいんじゃないか？ドイツ語っぽいが http://hcm.uni-bonn.de/mathenacht5/ (Google翻訳、都度割愛) 今日、研究コミュニティは、証明が正しいかどうか、および数学的定理がピアレビュープロセスによって、つまり最終的にはコンセンサスによって証明されたと見なされるかどうかを決定します。原則として、誤った評価の可能性があります。 このような証明は、コンピューターによって正しいかどうかをチェックできます。 これが標準になることはもはやユートピア的ではないようです。 「液体テンソル実験」で示したように、非常に複雑なステートメントでも形式化できるようになりました。ペーター・ショルツェはこれを彼の同僚に挑戦として提示しました。パネルディスカッションで結果を報告します。 http://rio2016.5ch.net/test/read.cgi/math/1644632425/687
688: １３２人目の素数さん [sage] 2022/04/28(木) 20:07:10.14 ID:2eKniQGM >>687 ちなみにこれ明日だな youtube liveでも見られるらしい http://rio2016.5ch.net/test/read.cgi/math/1644632425/688
708: １３２人目の素数さん [sage] 2022/04/29(金) 10:27:55.96 ID:/zmYLr5R >>687 2045年には自動証明ができるようになる。 だから、才能ある若者は数学を目指さなくなりつつある。 http://rio2016.5ch.net/test/read.cgi/math/1644632425/708
782: １３２人目の素数さん [sage] 2022/04/30(土) 09:46:35.90 ID:iasFv4zS >>687のライブアーカイブがyoutubeに上がった https://youtu.be/e7qdYUSWTUI?t=6060 残念ながら自分はドイツ語が全く聞き取れないが http://rio2016.5ch.net/test/read.cgi/math/1644632425/782
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.032s