Re: The seven step series

On 31 Aug 2009, at 19:31, Bruno Marchal wrote: Next: I will do some antic mathematic, and prove the irrationality of the square root of two, for many reasons, including some thought about what is a proof. And then I will prove Cantor theorem. Then I will define what is a computable

Re: The seven step series

Bruno, Just to let you know that while I can't do the exercises, I am following as best I can. I think I understand that powersets of sets lead to ladders of larger and larger infinities and hope your exposition of how this results in the existence of universal machines will be

Re: The seven step series

Thanks for telling me Marty, I wish you the best, Bruno On 08 Sep 2009, at 14:17, m.a. wrote: Bruno, Just to let you know that while I can't do the exercises, I am following as best I can. I think I understand that powersets of sets lead to ladders of larger and larger