The Church of the Least Fixed Point

Well, personally, I belong to The Church of the Least Fixed Point. Amongst others, we worship the logician Alonzo Church. Whereas “Christ is our Church” is metaphysical rubbish (along with similar claims, like “God is Love,” “The Absolute is Perfect,” etc.), “Alonzo is our Church” is merely hard, simple fact.

A major problem to be solved by a religion is “What is the Self?” This is essentially a problem of Self-Realisation: a Self is an X that thinks of itself. Thus, where Think X is the operation of thinking of X, we want an item Self, such that

Self = Think Self

The Church provides an answer to this question using His Paradoxical Combinator, Why:

Why = λf. (λx. f x x) (λx. f x x)

With this, it is easy to show that

Why Think = Think (Why Think)

yielding a fixed point as required.

We believe that there is great significance in these results, although there remain some details (such as the exact nature of the Think functional) to be worked out.

— Calvin Bruce Ostrum, February 1983, net.religion