Lisp and the foundations of computing

Quite. Science can also sometimes tell you that the answer is "never, or at least not unless you fundamentally rethink it". That knowledge of limitations *alone* justifies all this maundering, even if nothing else useful came out of it. :)