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 lar
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 equal
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 computabl
3 matches
Mail list logo
