Received: from mail-ww0-f61.google.com ([74.125.82.61])
	by chain.digitalkingdom.org with esmtp (Exim 4.72)
	(envelope-from <lojban-beginners+bncCJ2UzZHuDRDrpcjkBBoEebamxg@googlegroups.com>)
	id 1OwDwv-0000dN-BJ; Thu, 16 Sep 2010 05:52:32 -0700
Received: by wwe15 with SMTP id 15sf342105wwe.16
        for <multiple recipients>; Thu, 16 Sep 2010 05:52:18 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=domainkey-signature:received:x-beenthere:received:received:received
         :received:received-spf:received:mime-version:received:received
         :in-reply-to:references:date:message-id:subject:from:to
         :x-original-sender:x-original-authentication-results:reply-to
         :precedence:mailing-list:list-id:list-post:list-help:list-archive
         :sender:list-subscribe:list-unsubscribe:content-type;
        bh=cxyGzlGg7P5eO9x3yICv68EFcHPZnbKCxMMgw4KreFQ=;
        b=WTYqn5hsDPoD29V6CB5DDPRMbv3jnmMHM5cCos0RGOLNH3fDeMG21/Fm4UoWZnWZbz
         HvP4Xg6ZnSeYCIWfVrL/+1ZMajKhS6ccsoo3F1ucQYbZ7z6JQRas4/mRrYpX8mm37S1g
         oOoIF9SYTPRiXAOe2F0rBn2K6myqwjlj4nP88=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:mime-version:in-reply-to:references:date
         :message-id:subject:from:to:x-original-sender
         :x-original-authentication-results:reply-to:precedence:mailing-list
         :list-id:list-post:list-help:list-archive:sender:list-subscribe
         :list-unsubscribe:content-type;
        b=HxTR1NTIWo8lx7UmtEBt947shtEshkFJYRe8fhFk5dggricigDLWJNRjfNgSYGx6wp
         T1qSvs+xsC2bPFaT4u+HDIAK14++BOpSSq/gqftxylDL6gsK9CHN7F57E+sjQbhKSg39
         uCl9wLlgHukrnvIBLaWK9Z6068khAK9ovqGf4=
Received: by 10.216.145.97 with SMTP id o75mr680690wej.16.1284641515446;
        Thu, 16 Sep 2010 05:51:55 -0700 (PDT)
X-BeenThere: lojban-beginners@googlegroups.com
Received: by 10.216.237.134 with SMTP id y6ls955363weq.2.p; Thu, 16 Sep 2010
 05:51:54 -0700 (PDT)
Received: by 10.216.26.74 with SMTP id b52mr377612wea.14.1284641513905;
        Thu, 16 Sep 2010 05:51:53 -0700 (PDT)
Received: by 10.216.26.74 with SMTP id b52mr377611wea.14.1284641513888;
        Thu, 16 Sep 2010 05:51:53 -0700 (PDT)
Received: from mail-ww0-f50.google.com (mail-ww0-f50.google.com [74.125.82.50])
        by gmr-mx.google.com with ESMTP id k12si938100weq.3.2010.09.16.05.51.52;
        Thu, 16 Sep 2010 05:51:52 -0700 (PDT)
Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 74.125.82.50 as permitted sender) client-ip=74.125.82.50;
Received: by wwi17 with SMTP id 17so271538wwi.31
        for <lojban-beginners@googlegroups.com>; Thu, 16 Sep 2010 05:51:52 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.227.3.16 with SMTP id 16mr2680241wbl.136.1284641512715; Thu,
 16 Sep 2010 05:51:52 -0700 (PDT)
Received: by 10.227.151.203 with HTTP; Thu, 16 Sep 2010 05:51:52 -0700 (PDT)
In-Reply-To: <AANLkTi=rLgp+=Bc8pT4bKXL6aunoo=B3OAQBEKN8j_Wn@mail.gmail.com>
References: <AANLkTinMiz+s_iOc6Wf_3hS971tiH0bE5+BtZLo6MZew@mail.gmail.com>
	<201009152248.22472.phma@phma.optus.nu>
	<AANLkTik5SaFEy78vbvHcinrFy+Dn+2AnenAYr-deaCz-@mail.gmail.com>
	<AANLkTi=rLgp+=Bc8pT4bKXL6aunoo=B3OAQBEKN8j_Wn@mail.gmail.com>
Date: Thu, 16 Sep 2010 09:51:52 -0300
Message-ID: <AANLkTiks4hpbzMHFrWF8MPoc6e2Hb9_AEBbd4Ho5R_+G@mail.gmail.com>
Subject: Re: [lojban-beginners] Cauchy sequences
From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= <jjllambias@gmail.com>
To: lojban-beginners@googlegroups.com
X-Original-Sender: jjllambias@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of jjllambias@gmail.com designates 74.125.82.50 as permitted sender)
 smtp.mail=jjllambias@gmail.com; dkim=pass (test mode) header.i=@gmail.com
Reply-To: lojban-beginners@googlegroups.com
Precedence: list
Mailing-list: list lojban-beginners@googlegroups.com; contact lojban-beginners+owners@googlegroups.com
List-ID: <lojban-beginners.googlegroups.com>
List-Post: <http://groups.google.com/group/lojban-beginners/post?hl=en_US>, <mailto:lojban-beginners@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban-beginners+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban-beginners?hl=en_US>
Sender: lojban-beginners@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban-beginners/subscribe?hl=en_US>,
 <mailto:lojban-beginners+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban-beginners/subscribe?hl=en_US>,
 <mailto:lojban-beginners+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Length: 947

On Thu, Sep 16, 2010 at 3:55 AM, Ross Ogilvie <oges007@gmail.com> wrote:
> But Cauchy sequences don't necessarily converge to a limit. I would say that
> convergence of a sequence to a limit should be a separate predicate, but my
> vocab isn't up to finding one. You could then indicate the limit of a Cauchy
> sequence with a tagged place.

"jbize'a" works for the general sense "x1 approaches x2 in property
x3". I'm not sure if it's necessary to have a more specific word for
"x1 converges to x2" in a mathematical sense, or whether the general
word is enough.

mu'o mi'e xorxes

-- 
You received this message because you are subscribed to the Google Groups "Lojban Beginners" group.
To post to this group, send email to lojban-beginners@googlegroups.com.
To unsubscribe from this group, send email to lojban-beginners+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban-beginners?hl=en.