数学を初めとした理系の学問と哲学について　１６

数学を初めとした理系 ..

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

次ページ

続きを表示

1を表示