This video was recorded at Lambda Days 2022 -https://www.lambdadays.org/lambdadays2022 Uncomputable functions | Daan van Berkel - Software Craftsperson ABSTRACT 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 • Follow us on social: Twitter: https://twitter.com/LambdaDays LinkedIn: https://www.linkedin.com/company/lambda-days/ • Looking for a unique learning experience? Attend the next Lambda Days conference near you! • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw See what's coming up at: https://codesync.global