Advertisement

Y combinator

Explore the Y Combinator formula, a key fixed-point combinator that illustrates recursion's role in Computer Science.

Newsletter

Sign up for our email newsletter for the latest science news

Sign Up

"I don't quite have a science tattoo, but I have a math tattoo. That's close enough, right?"Now, for the explanation. This is a formula called the Y Combinator. It is a fixed-point combinator in the lambda calculus and was discovered by Haskell Curry, a rather prolific mathematician and logician whose work helped start Computer Science.

"What this formula does is calculates the fixed point of a function, which in turn allows for recursion by calling on that fixed point; recursion is perhaps the single most important concept in Computer Science. Being a computer scientist and a mathematician, this formula is very important to me and represents the innate beauty of computer science and mathematical logic." --Mark

[Note from Carl: Math is most welcome at the Emporium]

Click here to go to the full Science Tattoo Emporium.

Stay Curious

JoinOur List

Sign up for our weekly science updates

View our Privacy Policy

SubscribeTo The Magazine

Save up to 40% off the cover price when you subscribe to Discover magazine.

Subscribe
Advertisement

1 Free Article