「アラン・チューリングとネガティブ思考の力」

Alan Turing and the Power of Negative Thinking

.fav_bar { float:left; border:1px solid #a7b1b5; margin-top:10px; margin-bottom:20px; } .fav_bar span.fav_bar-label { text-align:center; padding:8px 0px 0px 0px; float:left; margin-left:-1px; border-right:1px dotted #a7b1b5; border-left:1px solid #a7b1b5; display:block; width:69px; height:24px; color:#6e7476; font-weight:bold; font-size:12px; text-transform:uppercase; font-family:Arial, Helvetica, sans-serif; } .fav_bar a, #plus-one { float:left; border-right:1px dotted #a7b1b5; display:block; width:36px; height:32px; text-indent:-9999px; } .fav_bar a.fav_print { background:url(‘/images/icons/print.gif’) no-repeat 0px 0px #FFF; } .fav_bar a.fav_print:hover { background:url(‘/images/icons/print.gif’) no-repeat 0px 0px #e6e9ea; } .fav_bar a.mobile-apps { background:url(‘/images/icons/generic.gif’) no-repeat 13px 7px #FFF; background-size: 10px; } .fav_bar a.mobile-apps:hover { background:url(‘/images/icons/generic.gif’) no-repeat 13px 7px #e6e9ea; background-size: 10px} .fav_bar a.fav_de { background: url(/images/icons/de.gif) no-repeat 0 0 #fff } .fav_bar a.fav_de:hover { background: url(/images/icons/de.gif) no-repeat 0 0 #e6e9ea } .fav_bar a.fav_acm_digital { background:url(‘/images/icons/acm_digital_library.gif’) no-repeat 0px 0px #FFF; } .fav_bar a.fav_acm_digital:hover { background:url(‘/images/icons/acm_digital_library.gif’) no-repeat 0px 0px #e6e9ea; } .fav_bar a.fav_pdf { background:url(‘/images/icons/pdf.gif’) no-repeat 0px 0px #FFF; } .fav_bar a.fav_pdf:hover { background:url(‘/images/icons/pdf.gif’) no-repeat 0px 0px #e6e9ea; } .fav_bar a.fav_more .at-icon-wrapper{ height: 33px !important ; width: 35px !important; padding: 0 !important; border-right: none !important; } .a2a_kit { line-height: 24px !important; width: unset !important; height: unset !important; padding: 0 !important; border-right: unset !important; border-left: unset !important; } .fav_bar .a2a_kit a .a2a_svg { margin-left: 7px; margin-top: 4px; padding: unset !important; }

アルゴリズムは、私たちの通勤を最適化し、支払いを処理し、インターネットトラフィックの流れを調整します。正確な数学的な用語で表現できる問題については、少なくとも原理上は解決できるアルゴリズムが存在するようです。

しかし、それは常にそうではありません。いくつかの見かけによらず簡単な問題は、アルゴリズム的に解決することはできません。パイオニア的なコンピュータ科学者であるアラン・チューリングは、こうした「非計算可能な」問題の存在を、ほぼ100年前に証明しました。彼はこの論文で、現代のコンピュータ科学を開始した計算の数学モデルを定式化しました。

チューリングは、反直感的な戦略を用いてこの画期的な結果を証明しました。彼は、解決しようとする試みを単に拒否する問題を定義しました。

• 72歳で亡くなったダグラス・レナット氏、人間に似たAIを作ろうとした人
• 「量子インターネットへの新たなルート」
• スマートな”メガネは非着用者とのパワーバランスを歪める

「あなたが何をしているのか尋ね、それから『いいえ、私は違うことをしよう』と言います」と、マサチューセッツ工科大学で理論的なコンピュータ科学を研究している修士課程の学生であるラーフル・イランゴは述べています。

Quanta Magazineから全文を読む

We will continue to update VoAGI; if you have any questions or suggestions, please contact us!