Re: Last post before the key post (was OM = SIGMA_1) 1

From: Mirek Dobsicek <m.dobsicek.domain.name.hidden>
Date: Wed, 28 Nov 2007 17:32:44 +0100

Hi Bruno,

I'm ready. Luckily, it is not long time ago, I've received my university
degree in CS, so it was rather easy to follow :-)

Sincerely,
 Mirek


Bruno Marchal wrote:
>
> Le 27-nov.-07, à 17:27, Günther Greindl a écrit :
>
>> Dear Bruno,
>>
>> thanks for your posts! I like them very much!
>> Looking forward to further stuff,
>
>
>
> Thanks for telling.
>
>
> In this post I recall Cantor's proof of the non enumerability of the
> set of infinite binary sequences. First with a drawing, and then with
> mathematical notation. The goal is to train you with the notations.
> Then I do the same with the almost exactly identical proof that the set
> of functions from N to N is also non enumerable.
> ............

--~--~---------~--~----~------------~-------~--~----~
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 Nov 28 2007 - 11:33:04 PST

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:14 PST