Loading...

Tomas Petricek - Would Aliens Understand Lambda Calculus - Code Mesh 2017

809 views

Loading...

Loading...

Transcript

The interactive transcript could not be loaded.

Loading...

Loading...

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!

More details here: http://www.codemesh.io/codemesh2017/t...

Loading...

When autoplay is enabled, a suggested video will automatically play next.

Up next


to add this to Watch Later

Add to

Loading playlists...