Re: Key Post 1, toward Church Thesis and Lobian machine

From: Russell Standish <lists.domain.name.hidden>
Date: Thu, 6 Dec 2007 10:01:32 +1100

On Tue, Dec 04, 2007 at 03:55:50PM +0100, Bruno Marchal wrote:
>
> Hi David, Mirek, Tom, Barry and All,
>
...
>
> The cardinality of the set of computable functions.
>

Thanks for this post. I was in the position of trying to explain your
work to someone (actually a son of my mother's cousin) at a dinner
party a couple of weeks ago, and having explained Cantor's
diagonalisation proof of the uncountability of the reals, I got to the
point about computable functions being countable and got stuck. I just
had to say "well its true, but I can't quite recall the proof!". Your
exposition is eminently dinner-party standard, although I might use a
different word than "asshole"!

Cheers

-- 
----------------------------------------------------------------------------
A/Prof Russell Standish                  Phone 0425 253119 (mobile)
Mathematics                         	 
UNSW SYDNEY 2052         	         hpcoder.domain.name.hidden
Australia                                http://www.hpcoders.com.au
----------------------------------------------------------------------------
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list-unsubscribe.domain.name.hidden
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---

Received on Wed Dec 05 2007 - 18:01:42 PST