Received: from mail-vw0-f61.google.com ([209.85.212.61])
	by chain.digitalkingdom.org with esmtp (Exim 4.72)
	(envelope-from <lojban-beginners+bncCML0xpmUARDEvMXkBBoEJKkrXA@googlegroups.com>)
	id 1Ow1v0-0004rH-4U; Wed, 15 Sep 2010 17:01:42 -0700
Received: by vws6 with SMTP id 6sf553444vws.16
        for <multiple recipients>; Wed, 15 Sep 2010 17:01:31 -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: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=PZ0VxB49zDm0j0gScRfYuaOmVGlDASU6NZ1H0bachYs=;
        b=6L+puDeGKSd5ZKV0ytfrn1CpuslwA50vMb2TNUxo9CGDPfy6UxTTKf7SPzHz9EZwkC
         Qx3k8uw+YvO55UXt/GCnwV8OATqLa9IJZV/Rb2+sM+RgjC1K8zaeXfzUH1MDPk5b+TVL
         R6L1biHIYN7ircTRB4OXyIpDLxaHjg3Bz9jAI=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:mime-version: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=Ixo8yIrHwD8t8bpSLszovwzM7/Qbu0bKTQU9xEfJFS78JHfU/WiwPR65f0B3BqMy1/
         TzdNhNjvZSpLME0RYKaKAjT61d3URoiZKhOqTJLXwUWwaF6nfmrdQJfU5y3BoxtCevNk
         nYAEzyCMuPePNw5X22kl0lJWxX9CMEsodpSBc=
Received: by 10.220.124.154 with SMTP id u26mr168588vcr.39.1284595268570;
        Wed, 15 Sep 2010 17:01:08 -0700 (PDT)
X-BeenThere: lojban-beginners@googlegroups.com
Received: by 10.220.43.71 with SMTP id v7ls432270vce.5.p; Wed, 15 Sep 2010
 17:01:07 -0700 (PDT)
Received: by 10.220.193.75 with SMTP id dt11mr596871vcb.14.1284595267357;
        Wed, 15 Sep 2010 17:01:07 -0700 (PDT)
Received: by 10.220.193.75 with SMTP id dt11mr596870vcb.14.1284595267328;
        Wed, 15 Sep 2010 17:01:07 -0700 (PDT)
Received: from mail-qw0-f53.google.com (mail-qw0-f53.google.com [209.85.216.53])
        by gmr-mx.google.com with ESMTP id m11si256430vcf.8.2010.09.15.17.01.06;
        Wed, 15 Sep 2010 17:01:06 -0700 (PDT)
Received-SPF: pass (google.com: domain of blindbravado@gmail.com designates 209.85.216.53 as permitted sender) client-ip=209.85.216.53;
Received: by mail-qw0-f53.google.com with SMTP id 5so612738qwe.40
        for <lojban-beginners@googlegroups.com>; Wed, 15 Sep 2010 17:01:06 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.229.87.134 with SMTP id w6mr1586104qcl.297.1284595266172; Wed,
 15 Sep 2010 17:01:06 -0700 (PDT)
Received: by 10.229.101.208 with HTTP; Wed, 15 Sep 2010 17:01:06 -0700 (PDT)
Date: Wed, 15 Sep 2010 20:01:06 -0400
Message-ID: <AANLkTinMiz+s_iOc6Wf_3hS971tiH0bE5+BtZLo6MZew@mail.gmail.com>
Subject: [lojban-beginners] Cauchy sequences
From: Ian Johnson <blindbravado@gmail.com>
To: lojban-beginners@googlegroups.com
X-Original-Sender: blindbravado@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of blindbravado@gmail.com designates 209.85.216.53 as permitted
 sender) smtp.mail=blindbravado@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: multipart/alternative; boundary=0016364ef5058539f40490552420
Content-Length: 2782

--0016364ef5058539f40490552420
Content-Type: text/plain; charset=ISO-8859-1

I found myself being lazy in my analysis class having to repeatedly write:
Let x in R. Suppose {x_k} is a Cauchy sequence representing x.
I was trying to come up with a good word to use to represent this clunky
relation, that is:
x1 is a Cauchy sequence representing the real number x2.
The thing I came up with first was pretty bad, but I didn't have a
dictionary on me. It was {listrkoci}. Once I got to a dictionary I thought
of {porsrkoci}, which seems a bit better. Does anyone have any better ideas?
Maybe something that isn't a fu'ivla?

To clarify, this should hold, if broda is assigned to this relation:
li pa ce'o li pa fi'u re ce'o li pa fi'u ci ce'o ... broda li no
(sorry that I don't know a good way to say "et cetera ad infinitum" in
lojban.)

.i ki'e .i mu'o mi'e latros.

-- 
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.


--0016364ef5058539f40490552420
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

I found myself being lazy in my analysis class having to repeatedly write:<=
div>Let x in R. Suppose {x_k} is a Cauchy sequence representing x.</div><di=
v>I was trying to come up with a good word to use to represent this clunky =
relation, that is:</div>
<div>x1 is a Cauchy sequence representing the real number x2.</div><div>The=
 thing I came up with first was pretty bad, but I didn&#39;t have a diction=
ary on me. It was {listrkoci}. Once I got to a dictionary I thought of {por=
srkoci}, which seems a bit better. Does anyone have any better ideas? Maybe=
 something that isn&#39;t a fu&#39;ivla?=A0</div>
<div><br></div><div>To clarify, this should hold, if broda is assigned to t=
his relation:</div><div>li pa ce&#39;o li pa fi&#39;u re ce&#39;o li pa fi&=
#39;u ci ce&#39;o ... broda li no</div><div>(sorry that I don&#39;t know a =
good way to say &quot;et cetera ad infinitum&quot; in lojban.)</div>
<div><br></div><div>.i ki&#39;e .i mu&#39;o mi&#39;e latros.</div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups "=
Lojban Beginners" group.<br />
To post to this group, send email to lojban-beginners@googlegroups.com.<br =
/>
To unsubscribe from this group, send email to lojban-beginners+unsubscribe@=
googlegroups.com.<br />

For more options, visit this group at http://groups.google.com/group/lojban=
-beginners?hl=3Den.<br />



--0016364ef5058539f40490552420--