これにはエピソードがあり、ジョン・マッカーシーが「lispの論文」で「数学的」に示したものだったのであるが、マッカーシー自身は実装できるものだとは考えていなかった。