|
|
Re: Mathematics as a language
Posted:
Nov 4, 2010 1:43 AM
|
|
On Nov 3, 6:38 am, stevendaryl3...@yahoo.com (Daryl McCullough) wrote:
> I don't know about ZFC, but I had a friend who was a logician who
> told me some obscuring but amazing fact about the lambda calculus.
> I asked him where he heard this fact, and he told me that he learned
> it in Church.
HAH! Nice one! Joke of the week.
And never forget that Kleeneness is next to Godelness!
-- anon
|
|
