Daan van Berkel

Life is what happens when you make other plans

Daan van Berkel is a enthusiastic software craftsperson with a knack for presenting technical details in a clear and concise manner. Driven by the desire for understanding complex matters Daan is always on the lookout for innovative uses of software 

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