チューリング・テスト再考

Some C are NOT B なお、チューリングは「ソクラテスの名前が出てきたときには Barbara」と言っているが、たぶん、これは、以下のような三段論法の実例を想定していると思われる（誰もがどこかで一度は見たことがあるやつだと思うのだけど）… すべての人間は死ぬべき運命にある ソクラテスは人間である それゆえソクラテスは死ぬべき運命にある 「ソクラテス」を「すべてのソクラテス」に置き換えれば、この三段論法が Barbara であることが明解になる。 寄り道が長くなったが、本題に戻ろう。チューリングは、推論の仕方を指示すること（プログラムであればアルゴリズムの選択にあたるだろう）の重要性を述べている。そして、論理的に思考している場合でも brilliant と footling の差が生じるのは、数多くの選択肢の中から何を選ぶかの違いだという。このへんは、数学とか論理学での才能の差は

[akakit]

異本「計算する機械と知性について」という意訳を作成し、公開

[t_f_m]

あとでよむ

[ortica]

[h:keyword:Computing Machinery and Intelligence]

[tetto_66]

ケンブリッジ・クインテットを訳したのはhttp://ja.wikipedia.org/wiki/藤原正彦

[mind]

――λAちゃんとλBちゃんを一般に識別できるアルゴリズムが存在しないなら、不可能な問いとも。