On 02/02/2011 12:23 PM, Bill Pragnell wrote:

> Argh! Brain melted. I had to look up wikipedia's breakdown, and even then I had
> to read it several times. Excellent.

Ix -> x
Kxy -> x
Sfgx -> (fx)(gx)

Xa -> aSK

XX -> XSK -> (XS)K -> (SSK)K -> SSKK -> (SK)(KK) -> SK(KK) -> SK

X(XX) -> X(SK) -> (SK)SK -> SKSK -> (KK)(SK) -> KK(SK) -> K

X(X(XX)) -> X(K) -> KSK -> S

X(X(X(XX))) -> X(S) -> SSK ~= I
[since SKKx -> (Kx)(Kx) -> Kx(Kx) -> x]

Does your brain hurt yet?

Post a reply to this message