アンドロイドを作るためにLispを勉強している（１） - 耽溺電網

アンドロイドを作るためにLispを勉強している（１） - 耽溺電網

Lispという言葉をはじめて耳にしたのは、ゲーデルの第二不完全性定理が証明されたという話の中でだった...概要を表示 Lispという言葉をはじめて耳にしたのは、ゲーデルの第二不完全性定理が証明されたという話の中でだった。そのときはさしてLispの方に興味をもたなかったが。 第二不完全性定理とは「もし系の中に矛盾がなかったら系の無矛盾性を証明できない」というものだ。ゲーデルは「数論」という我々にはあまり馴染みのないジャンルの学者だったのだが、整数に矛盾がなかったら整数で整数を語ることができないんじゃないか？　ということに気づいてしまった。「系」といってもいろいろある。この世界そのものだってそうだ。つまりゲーデルは神に矛盾があること、運命なんて存在しないことに気がついてしまった。 そしてそれを証明したのがプログラム言語Lispだ。世界で二番目に古いプログラミング言語。美しいと形容され、一時期は人工知能の言語ともてはやされ、あるバンドは「神はLispで世界を作った」と歌った。何が美しいかってその小ささだ。８つの

• android