Conversation
Notices

> In the end, we’ll have constructed a programming language out of the lambda calculus, and we’ll arrive at the factorial of 5 in the lambda calculus, as embedded in Python:
> (((lambda f: (((f)((lambda f: ((lambda z: (((f)(((f)(((f)(((f)(((f)
(z)))))))))))))))))))((((((lambda y: ((lambda F: (((F)((lambda x:
(((((((y)(y)))(F)))(x)))))))))))((lambda y: ((lambda F: (((F)((lambda x:
(((((((y)(y)))(F)))(x)))))))))))))((lambda f: ((lambda n: ((((((((((((
lambda n: (((((n)((lambda _: ((lambda t: ((lambda f: (((f)((lambda void:
(void)))))))))))))((lambda t: ((lambda f: (((t)((lambda void: (void)))))
))))))))((((((lambda n: ((lambda m: (((((m)((lambda n: ((lambda f:
((lambda z: (((((((n) ((lambda g: ((lambda h: (((h)(((g)(f)))))))))))
((lambda u: (z)))))((lambda u: (u)))))))))))))(n))))))) (n)))((lambda f:
((lambda z: (z)))))))))((lambda _: ((((lambda n: (((((n) ((lambda _: ((
lambda t: ((lambda f: (((f)((lambda void: (void))))))))))))) ((lambda t:
((lambda f: (((t)((lambda void: (void))))))))))))) ((((((lambda n:
((lambda m: (((((m)((lambda n: ((lambda f: ((lambda z: (((((((n) ((lambda
g: ((lambda h: (((h)(((g)(f)))))))))))((lambda u: (z)))))((lambda u:
(u)))))))))))))(n)))))))((lambda f: ((lambda z: (z)))))))(n)))))))))
((lambda _: ((lambda t: ((lambda f: (((f)((lambda void: (void)))))))))))
))((lambda _: ((lambda f: ((lambda z: (((f)(z)))))))))))((lambda _: (((
(((lambda n: ((lambda m: ((lambda f: ((lambda z: (((((m)(((n)(f)))))(z)
))))))))))(n)))(((f) ((((((lambda n: ((lambda m: (((((m)((lambda n:
((lambda f: ((lambda z: (((((((n) ((lambda g: ((lambda h: (((h)(((g)(f)
))))))))))((lambda u: (z)))))((lambda u: (u)))))))))))))(n)))))))(n)))
((lambda f: ((lambda z: (((f) (z))))))))))))))))))))))))(lambda x:x+1)(0)
> Run the above in your Python interpreter. It’s equal to 120.
And you wonder why people want to separate Church and state.
http://matt.might.net/articles/pythonchurchycombinator/
 Pedro X TenZion repeated this.

> In 1936, Alonzo Church created a method for defining functions called the λcalculus. Within λcalculus, he defined an encoding of the natural numbers called the Church numerals. A function on the natural numbers is called λcomputable if the corresponding function on the Church numerals can be represented by a term of the λcalculus.
What were you doing when you were 33 years old?
I bet you weren't founding *half of the field of computability as we know it*.
https://en.wikipedia.org/wiki/Alonzo_Church

@jamey Thanks for the reprimand! (regardless if you meant it that way)
I think hero worship is a doubleedged sword. It's definitely detrimental if it becomes "need to be this tall to ride" and we feel useless because we're not superhuman. And putting a person on a pedestal may be shadowing the efforts of those that came before them. That's the bad edge of the sword.
The reason I did it now was that I was floored that Church made his major contributions in the 1930s  I have always assumed that it was in the 50s, as part of a continuous line that led to the first LISP.
Judging from this, I really get the impression that Church was someone who had faculties way above the rest, like Newton or Feynman.
Now, if we believe in a fixed mindset that's purely discouraging. But if we believe in a growth mindset it is something to strive toward. If Church could redefine computational theory when he was 33, why am I optimizing minor issues in a homegrown build system for a product most people haven't heard about when I'm almost 40?
I don't allow myself to feel discouraged by it, I have my reasons and context for being where I am. And I am contributing to society. But it's helpful for me to think that as a human and hacker, I should have the potential to lift humanity's achievements more than that.

@pho4cexa @jamey Yeah, I'm sorry about that. I need to remember that not everyone is in the same place in their life and mind, and that hero worship is something to be done with care.

@jamey I accept my many character flaws and whatnot as part of who I am.
For those of my flaws that negatively affect my quality of life (including affecting my life's mission), I try to work around them in ways that carry as little risk as possible of making me not me.