[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）19 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
488(1): １３２人目の素数さん [] 02/24(月)19:11 ID:JuEJqrhb(4/5)
ところで定理を証明するプログラムはすでに存在する
だからそういう意味では人工知能は原理的には可能である
ただこのプログラムは定理でないものを証明しようとすると
延々と動いたまま止まらなくなる
そういう意味では「アルゴリズム」ではない
（もっともこのことはいうほど問題ではない
数学者だってそんなことをいったらアルゴリズムではないから）
490(1): １３２人目の素数さん [sage] 02/24(月)23:03 ID:17j7WG+h(1)
>>488
物理法則は残念ながら確率論的アルゴリズムであろう
神はサイコロを振る
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s