アラン・チューリングとネガティブ思考の力 from WIRED(Science)

海外記事要約



対角化は、アルゴリズムが特別な入力を必要とせずに複雑な問題を解決できることを証明しました。
この問題は、独自のコードを入力として受け取るプログラムによって解決されましたが、他のアルゴリズムは失敗しました。
特に、対角化は、「無限の質問」.nnndr.com」 (P 対 NP 問題など) を使用することで複雑なアルゴリズムの存在を証明しました。
これは 2011 年に公開されました。
nrnio.html 。

コメント

タイトルとURLをコピーしました