[TuringTest]

Haskell is the algebra of programming - the way to handle code expressions as Immutable Truths.

I suppose that makes Lisp the Principia Mathematica.