Daan van Berkel is an enthusiastic software tinkerer with a knack for presenting technical details in a clear and concise manner. His interests range from discovering exoplanets by sifting through telescope data, dreaming up esoteric programming languages to programmatically generating decreasing patterns for his crochet projects.
Lambda calculus is the archetype for functional languages and places functions front and center. As a tool for thought it is very powerful. But it is not omnipotent! There are "functions" that are not computable. How can there be functions that you can not compute? And what does that even mean? In this talk we will take you on a whirlwind tour of uncomputable functions and explore the tantalizing frontier of current knowledge
Slides