Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Dec 18, 2017
Elegant programming constructions and mathematical theories like LISP and lambda calculus often look timeless and universal. They are not invented, but discovered! If there are intelligent aliens, they will sooner or later run into formal logics and computation and, shortly thereafter, discover lambda calculus and LISP. Or will they?
To answer this question, we can look at the vast literature of philosophy of mathematics. In this talk, Tomas will give a gentle overview of some of the most important ideas and discuss how they apply to programming.
It turns out that there are plenty of reasons to believe that lambda calculus is invented and aliens might never invent it, especially if they are at least a bit interesting!