Re: 1-1/2+1/3-1/4+1/5-1/6+1/7

From: Han.deBruijn@xxxxxxxxxxxxxx
Date: Fri, 8 Feb 2008 13:08:54 -0800 (PST)

On 8 feb, 00:57, G. Frege <nomail@invalid> wrote:

On Thu, 07 Feb 2008 22:49:56 +0100, G. Frege <nomail@invalid> wrote:

Ooops... Of course

s[A] := {s(x) : x e A} (A c N)

"the image of A under s"
~~~ ~~~~

Am I allowed to hook in here, with one of my small but certain steps ?

Let's repeat the definition of S(). I hope this is the latest version
and that it has been found correct by you and Jesse:

y is in S(x) iff there is some n e N such that for all m e N ,
with m > n , y is in S_m(x) .
Here, S_m(x) = s o s o ... o s(x), where there are exactly
m compositions. (m e N)

I have a minor problem with this definition. It seems to me that n is
an unused quantity and that it could be left out. The definition then
would read as follows:

y is in S(x) iff , for all m e N , y is in S_m(x) .
Here, S_m(x) = s o s o ... o s(x), where there are exactly
m compositions.

Is this correct? And if not, why not?

Han de Bruijn
.

Follow-Ups:
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: G . Frege
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: Virgil
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: Jesse F. Hughes

References:
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: Jesse F. Hughes
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: Han de Bruijn
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: G . Frege
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: Han de Bruijn
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: Jesse F. Hughes
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: Han de Bruijn
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: G . Frege
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: Han de Bruijn
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: Virgil
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: G . Frege
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
  - From: G . Frege

Prev by Date: Re: " selffactoring "
Next by Date: Re: semi-exponential by recursion
Previous by thread: Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
Next by thread: Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
Index(es):
- Date
- Thread

Relevant Pages

Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
... Am I allowed to hook in, with another of my small but certain steps? ... Let's repeat the definition of S. ... y is in Siff there is some n e N such that for all m e N, ... m compositions. ...
(sci.math)
Re: Crypto iffpar
... I repeat that functionally it is needed for IFF. ... > versions of ntpd on both Linux and FreeBSD) work just fine without the ... It has been repeatedly demonstrated that no client symlink is ...
(comp.protocols.time.ntp)
Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
... y is in Siff there is some n e N such that for all m e N, ... m compositions. ... Here are the relevant definitions ... hope I don't make another stupid error. ...
(sci.math)
Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
... y is in Siff there is some n e N such that for all m e N, ... m compositions. ... this very important program in a time of war. ... Questioning Illegal Wiretaps Just Helps The Enemy! ...
(sci.math)
Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
... Jesse F. Hughes wrote: ... y is in Siff there is some n e N such that for all m e N, ... m compositions. ...
(sci.math)