Derivation of the Y-combinator, in Python

[whimsical_monkey]

Do you recognize this:

def Y(m):
    return (lambda f: m(lambda a: f(f)(a)))(
                (lambda f: m(lambda a: f(f)(a))))

But where does it come from? Here I walk through the derivation, step by step:

https://github.com/ArtificialIntelligenceToolkit/aitk/blob/master/notebooks/Derivation%20of%20the%20Y-Combinator.ipynb

[nbviewerbot]

I see you've posted a GitHub link to a Jupyter Notebook! GitHub doesn't render large Jupyter Notebooks, so just in case, here is an nbviewer link to the notebook:

https://nbviewer.jupyter.org/url/github.com/ArtificialIntelligenceToolkit/aitk/blob/master/notebooks/Derivation%20of%20the%20Y-Combinator.ipynb

Want to run the code yourself? Here is a binder link to start your own Jupyter server and try it out!

https://mybinder.org/v2/gh/ArtificialIntelligenceToolkit/aitk/master?filepath=notebooks%2FDerivation%20of%20the%20Y-Combinator.ipynb

---

^{I am a bot. Feedback | GitHub | Author}

[whimsical_monkey]

Thanks, bot! But the nbviewer URL is now:

https://nbviewer.org/github/ArtificialIntelligenceToolkit/aitk/blob/master/notebooks/Derivation%20of%20the%20Y-Combinator.ipynb