From: utzoo!watmath!cbostrum
Newsgroups: net.religion
Title: Re: Other Religions Out There?
Article-I.D.: watmath.4584
Posted: Sun Feb 20 20:33:14 1983
Received: Mon Feb 21 05:33:49 1983

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 (Thinks X) is the operation
of thinking of X, we want an item Self, such that 
	Self = (Thinks Self) 

The Church provides an answer to this question using His Paradoxical
Combinator, Why:
	Why = (lambda f ((lambda x (f (x x))) (lambda 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 signifigance in these Results, altho there
remain some details (such as the exact nature of the Think functional) to be
worked out.