Plato, Church, and Turing


The lambda calculus is the "platonic form" of a Turing machine

     — wrf3

I wrote this in a comment over at Edward Feser's blog in a comment to
Gödel and the mechanization of thought. Google doesn't find it anywhere in this exact form, but this post appears to express the same idea. The components of this idea can be found elsewhere, but it isn't stated as directly as here.
Comments