To be clear: the Y combinator is just one way to define a fixed-point combinator in the untyped lambda calculus. You can define fixed-point combinators differently and achieve the same effect.<p>I do agree that the realization that it&#x27;s possible to build recursive functions in the lambda calculus is mind-blowing (and far from obvious!)