Y combinator

“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

DON'T MISS THE REST OF THIS STORY!
Create a free account to continue and get unlimited access to hundreds of Nat Geo articles, plus newsletters.

Create your free account to continue reading

No credit card required. Unlimited access to free content.
Or get a Premium Subscription to access the best of Nat Geo - just $19
SUBSCRIBE

Go Further

Subscriber Exclusive Content

Why are people so dang obsessed with Mars?

How viruses shape our world

The era of greyhound racing in the U.S. is coming to an end

See how people have imagined life on Mars through history

See how NASA’s new Mars rover will explore the red planet

Why are people so dang obsessed with Mars?

How viruses shape our world

The era of greyhound racing in the U.S. is coming to an end

See how people have imagined life on Mars through history

See how NASA’s new Mars rover will explore the red planet

Why are people so dang obsessed with Mars?

How viruses shape our world

The era of greyhound racing in the U.S. is coming to an end

See how people have imagined life on Mars through history

See how NASA’s new Mars rover will explore the red planet