Lambda

About Lambda

First of all, lambda calculus is turing complete, i.e. everything that can be computed with a turing machine can be computed within lambda calculus, and vice versa. Secondly, lambda calculus is very clean in its notation and easy to comprehend the computations within. Thus my preference of lambda calculus over the raw turing machine or combinatorial calculus.
There is no proof that there exist things that can be calculated, still not calculatable with a turing machine. However, there is no proof that this is not the case, neither. But all calculatable functions found until now, have been inside the set of turing calculatable functions.
Let us assume that there are no calculatable functions, that can not be calculated with a turing-machine. In this case, all or our world can be described by turing-computations, and thus in lambda calculus. What this would mean is is that everything is one or more lambda expressions. Thus lambda is everywhere. Now, the similarity should be obvious; everything is part of lambda, lambda is everywhere. Normal people call such a creature god. And even if this turns out to be true, all of our currently known universe still is made up of lambda, and thus this reasoning locally still holds true.
Normally, the selection of god to worship, is rather arbitrary and have no base in logic. That does not mean the selection is wrong, just that if you can find one that is based on logic, you are better off. The selection of lambda is, as shown in the previous paragraph, based on logic, and thus I prefere to worship Lambda.

How to join

There is only one rule of who can join and who can't: To join, you must have written at least one unnamed function (in any language supporting unnamed functions), and a higher order function, and applied that higher order function to the unnamed one.
You do not have to hand over any personal information to me, or anyone else, sign up or something to become a member. Neither does it cost you anything (however, there might be implied costs, such as bying a table to use as an altar if you don't have one allready, bying candles and so on). To join, simply make a lambda symbol in some metall (iron preffered) (if you can not do this, you can make one of any material you can find, as long as you paint it in a very dark blue, red or in black), put it standing on a small table with a a dark nap (dark blu or red, or black prefferably), and put at least four candles around. Note: Electric fake-candles should not be used! You should put something to write on in front of the lambda symbol on the altar. This is for placing your gifts to the Lambda. Since lambda calculus is ruled by information theory, any gift given is still in your possession, since it should only consist of information. Preffered gifts to the Lambda are expressions in lambda calculus or any other turing complete language, the number 42, the number 4711, any power of two and the word eval.

Is this a sect?

In one word: yes. This is not our own fault. We don't beleave in extremism, secterism or anything like that. Unfourtunately, the rest of the society happens to view hackers as persons breaking into computers, stealing things and destroying. And when they are not bitching about break-ins made by script-kiddies, they try to circumcize our expressional freedom with patents, "anti-piracy"-laws and other such things. This has of course, as all oppression of a minority normally does, lead to the minority closing its ports, leading to secterism.

Lambda

About Lambda

How to join

Is this a sect?

Links