Arbtirary thoughts on nearly everything from a modernist poet, structural mathematician and functional programmer.

Tuesday, March 25, 2008

Lambda Calculus...

Is weird. Really weird.

Why is it that we can think of sets of sets intuitively, but operating on operators is nearly impossible to conceptualize?

On a related note: It's ridiculous how exactly LISP notation follows Church's function notation. Even things that aren't related (necessarily) to lambda calculus are borrowed from him.

No comments:

Creative Commons License Cory Knapp.