- 79 名前:a4 [2021/07/23(金) 21:06:55.19 0.net]
- >>77
フレーム問題は現実です。なんでも解いてくれる数学のコンピュータがあるのかな? と思ったら、停止性問題は解けないので、オブジェクト指向の様々な人工知能が 創られるのが現実です。 現実的な答えを、一般人にもわかりやすく撮影した動画は、 https://www.youtube.com/watch?v=d7ybGjU2XUQ&t=3s prologはプログラム技術板でやはり指摘されて叩かれました。でもこれは逆に 古い言語だから、T語⊃prologということを証明しました。coqは聞いたこと あるかもだけど、僕は使ったことありません。
|
|