停止性問題の決定不能性にどんな意味があるのかを教えて
プログラミングかじっててゆくゆくはAI作りたいなと思ってるんだけど、その関係で本読んでたら停止性問題が出てきて、なんかめちゃくちゃ画期的みたいな扱いだったんだけどよくわかってない。だれか解説してくれ
ゲーデル数という扱いにくい形式抜きに「ゲーデルの不完全性定理」と同格の定理を証明した
ゲーデル数:論理式を素数の積として書き下したもの。実用には厳しい
チューリングマシン:状態遷移の組み合わせで書かれているので機械に扱いやすい
けどぶっちゃけゲーデルの不完全性定理自体は形式論理学の必然だった部分があるので停止性問題もそう画期的とは言えない(チューリングマシンの方がすごい)
チューリングマシン:状態遷移の組み合わせで書かれているので機械に扱いやすい
けどぶっちゃけゲーデルの不完全性定理自体は形式論理学の必然だった部分があるので停止性問題もそう画期的とは言えない(チューリングマシンの方がすごい)
ある問題を解決するアルゴリズムが存在しないことを証明することはできないって意味?