>>974
>AIが定義を産み出しているわけじゃなくて
>>971
>人間の手を経ずに自律的にその定義まで行える
とあるけど?

>分類できれば形式的な数学をはじめとしたプログラミング理論は成功したことになる
確かにそうだ
だから>>959の一行目を説明できたことになるけどその一行目の説明と二行目とがつながらないよね
一行目の説明について
>人間の手を経ずに自律的にその定義まで行える
としている以上二行目の
>猫や犬という概念がゼロであっても
には絶対につながらないよね