停止性問題の決定不能性にどんな意味があるのかを教えて
プログラミングかじっててゆくゆくはAI作りたいなと思ってるんだけど、その関係で本読んでたら停止性問題が出てきて、なんかめちゃくちゃ画期的みたいな扱いだったんだけどよくわかってない。だれか解説してくれ
匿名・アダルトカテゴリーへの質問・回答を行う際は以下の点にご注意ください。
このページでは、アダルトおよび18歳未満の方には不適切な表現内容が含まれる場合があります。
匿名カテゴリーの質問・回答で傷つきたくない人用にご用意したカテゴリーです。 人を傷つけない言葉使いでご利用ください。
※やさしくない言葉での投稿は削除されることがあります。
ゲーデル数という扱いにくい形式抜きに「ゲーデルの不完全性定理」と同格の定理を証明した
チューリングマシン:状態遷移の組み合わせで書かれているので機械に扱いやすい
けどぶっちゃけゲーデルの不完全性定理自体は形式論理学の必然だった部分があるので停止性問題もそう画期的とは言えない(チューリングマシンの方がすごい)