確率・エルゴード・情報量・推論at MATH確率・エルゴード・情報量・推論 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト941:１３２人目の素数さん 08/02/04 12:36:11 チェスや将棋でもコンピュータの方が上なんだか、 数学だってそうなるんじゃないの 942:１３２人目の素数さん 08/02/04 15:37:27 コンピュータが自己言及問題を扱えるようになったらなw 943:１３２人目の素数さん 08/02/04 17:34:51 >>941 碁はあと１０年だよ 944:１３２人目の素数さん 08/02/05 06:59:10 人間が先か？コンピュータが先か？ リーマン予想はいい勝負だと思うよ。 945:１３２人目の素数さん 08/02/05 17:05:43 今月号の「将棋世界」に羽生善治の「将棋とコンピュータ」についての 的確な意見が掲載されている。 946:１３２人目の素数さん 08/02/06 08:47:56 統計学には解析学に疎く線形代数しかできない人が多い希ガス＞だから計算機に走るのかも名 確率論は実解析を経てる限り大丈夫 947:１３２人目の素数さん 08/02/06 12:55:22 わかってないな 948:１３２人目の素数さん 08/02/06 21:24:07 「与えられた命題（例えばリーマン予想）が証明可能かどうかを判定するアルゴリズムが存在しない」 ということは既に証明されてるから、 証明検証くらいなら自動で行えるようになっても、機械による自動証明は完璧には出来ないな 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch