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

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

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

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!