プログラム

1950年代、コンピュータといえば、もっぱら複雑な計算を高速で行う機械であり、人間の思考を模倣するなど、想像の域を超えた話でした。しかし、そんな時代に、アレン・ニューウェルとハーバード・サイモンという二人の先駆者は、コンピュータの可能性を信じ、人間の思考過程をプログラム化するという、前人未到の挑戦に乗り出しました。 彼らが開発したプログラム「ロジック・セオリスト」は、単なる計算を超え、人間の論理的な思考をコンピュータ上で再現することを目指した、まさに画期的な試みでした。具体的には、数学の定理を証明するという複雑な思考プロセスを、コンピュータに実行させることを目指したのです。 そのために、ニューウェルとサイモンは、人間の思考過程を分析し、それを記号処理という形でコンピュータに理解させようとしました。これは、人間の思考を記号の操作に変換することで、コンピュータでも扱えるようにするという画期的な発想でした。そして、ロジック・セオリストは、実際にいくつかの定理を証明することに成功し、世界に大きな衝撃を与えました。 「思考する機械」という、かつては夢物語でしかなかった概念が、現実のものとなり始めたのです。ロジック・セオリストの誕生は、その後の人工知能研究の出発点となり、コンピュータが人間の知能を超える可能性を示唆する、歴史的な出来事となりました。