ILC2003: Church vs Turing Smackdown

From: Kenny Tilton (ktilton_at_nyc.rr.com)
Date: 10/17/03 

Date: Thu, 16 Oct 2003 22:02:30 GMT

Another thing that sailed over my head but low enough to get my interest
was an exchange in which (I am going to mangle this beyond belief)
McCarthy corrected something by saying it was not until Turing did
something that Church (or somebody) was sure of the lambda calculus.

This reminds me of those horrible moments when I try to sing a little
bit of a song in a record store to an employee when I can't find something.

What was that? It happened so fast I grokked neither the assertion nor
the rebuttal.

kenny 

-- 
http://tilton-technology.com
What?! You are a newbie and you haven't answered my:
  http://alu.cliki.net/The%20Road%20to%20Lisp%20Survey