Re: Cantor's diagonalization argument

["Mark-T"]

David R Tribble wrote:
> A nice little sequence I recently (re)discovered which enumerates the
> rationals:
>   S(0) =    0
>   S(2n) =   S(n)+1, for n > 0
>   S(2n+1) = 1/S(2n)

> This maps all the naturals to all the positive rationals.


What is S(1)?

Mark