関西Lispユーザー会 第二回 @グランフロント大阪 は Sakura Internetさんの提供でお送りしています。

各20分です。

Lispと不完全性定理 Lispで不完全性定理が似ている？と思った人がいろいろ語っていた。 Lisp と 不完全性定理 で検索すると8000件ぐらいひっかかる。

不完全性定理といっても、自己言及する命題の真偽は決定できないものがあるということ どうも、 is-resolve? という関数が実装できないことが騙された感の原因かもしれない。 もしこのような関数が実装できたとしたら、矛盾が発生する、そのため実装できないのですよ。ということがいいたいはず。 ちなみに Lisp と 不完全性定理 で8000件もあるのは、Lispでかくと自己言及がわかりやすく書けるから、だと思っている。たぶん、Cでも関数ポインタを駆使すれば自己言及できるけど、それがわかりにくいんだよね。 やっぱり Lisp の表現力は最高やね。