人工知能を作ろうver0.0.5

人工知能を作ろうver0.0.5 at TECH

668:デフォルトの名無しさん
09/12/21 23:22:06
>>663
>「プログラムの実行結果を、事前に予測する普遍的なプログラムは存在しない」
> ことを数学的に証明した。よって、
> 「プログラムのアルゴリズムを理解できる普遍的プログラムなど存在しない」
ずいぶんと論理の飛躍があると思うが。
結果を予測することができなければ、仕組みを理解できないということはないだろう。

人間がプログラムを解析するとき、流れを追って静的に動作を調べる場合もあれば、
実際に実行してみて、その結果から動作を理解する場合もある。
前者に予測は必要だが、後者では実行結果を予測する必要はない。

「プログラムを理解するプログラム」がそれ自身のソースコードを参照しつつ
サブシステムで自身を実行して、解析することはできるだろう。

というか、やはり>>664さんの言うように、用語のきちんとした定義も無しに
三段論法を使ったところで、意味のある証明にはならないだろうな。

次ページ

続きを表示

1を表示