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 [EMAIL PROTECTED] 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 [EMAIL PROTECTED] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/everything-list?hl=en -~----------~----~----~----~------~----~------~--~---