Uncomputable Functions - Exploring the Limits of Computation

Explore the fascinating world of uncomputable functions in this 41-minute conference talk from Lambda Days 2022. Delve into the limitations of lambda calculus, the foundation of functional programming languages, as Software Craftsperson Daan van Berkel takes you on a whirlwind tour of functions that defy computation. Discover the meaning and implications of uncomputable functions, challenging your understanding of computational limits. Gain insights into the frontier of current knowledge in computer science and mathematics as you examine the paradoxical existence of functions that cannot be computed. Perfect for those interested in theoretical computer science, mathematical logic, and the philosophical aspects of computation.