LISP式がエレガントであることを証明できないというチャイティンの証明Up: 不完全性定理のLisp, Mathematicaによる記述 G. J. Chaitin My Proof that You Can't Show that a LISP Expression is Elegant の例をMathematicaとCommon Lispで書き直した Lispの場合 Mathematicaの場合 ベリーのパラドックス（ラッセル版）：20文字以下で記述できない最初の自然数（19字） チャイティンの定理：公理の計算量+Nよりも大きい計算量を持つLispの式のエレガント性は証明できない Lispの場合 ElispにあるfsetをCommon Lispでも定義しておく（その都度(setf (symbol-function 'a) b)と書いてもいい）。 (defun fset (a b) (setf (symbol-function a) b)) S式のサイズを
