Please enable javascript to use this site.
· OpenID

  1. Hallå Kitteh (clacke@social.heldscal.la)'s status on Thursday, 07-Dec-2017 08:32:34 UTC Hallå Kitteh Hallå Kitteh
    > 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