Received: from mail-pb0-f62.google.com ([209.85.160.62]:36507)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncBDBPJRUZSQARBV4Y5WDAKGQEHMQSTLA@googlegroups.com>)
	id 1TnwQ2-0003u3-RA; Wed, 26 Dec 2012 11:13:39 -0800
Received: by mail-pb0-f62.google.com with SMTP id rq13sf5237133pbb.27
        for <multiple recipients>; Wed, 26 Dec 2012 11:13:29 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=20120806;
        h=x-received:x-beenthere:x-received:x-received: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:x-google-group-id:list-post
         :list-help:list-archive:sender:list-subscribe:list-unsubscribe
         :content-type;
        bh=hgoELATrb7RtWmNnMZcIXIiR2fasPtgCb1T0KfSvee8=;
        b=g0UxSuqgMdBO/OpkyJO/VVssBNx40OLal9Lrn+IYi5CoU+q3qDHpyzeEhorWdaYPVq
         zOIHeu5ScQxoUiLlW5B2di24MN913XIhQnMGVrQsye3UvQ9qWetNPaa8ZVj7JGxNjkZd
         yEOoqxmrzg84Ub4McS5xPC2ROT3oY1DiPmFSJMRM6Bi4Vdc0plrV8dPgdryd+kSRWqZ/
         eQQipbz1gkAm2FvM43b8DAjOtb3x+7dNtAxpHFfILcx804AgsOIqcebMKCWWkdGqxcj5
         gBourT58oV2wEI4M5vYZs6Xj1mx5tbwrJ0PvVCC4EU6LEOg7DgbdUG1W4DinC54LLMDM
         cDIw==
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=x-received:x-beenthere:x-received:x-received: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:x-google-group-id:list-post
         :list-help:list-archive:sender:list-subscribe:list-unsubscribe
         :content-type;
        bh=hgoELATrb7RtWmNnMZcIXIiR2fasPtgCb1T0KfSvee8=;
        b=NGlp4qgYY84jhv72jY4HGwXINhjjOFsYjGyZ8dyxwlDvTVcCH/GS+ctWNePP5MO8J6
         GIaju0/kxfdsk4UUPGwnu82SVnoGe1dSY0b6TaCtbG4aP8DpFed4JGYDVf94r7MxjGIc
         lDHynZ7R5s/1s08oeAdqZ6wskRB+PBZp96uq3k/q+wV4Vda3QluS5tpZ8NiTmRg+/8Xl
         jIAu9UMO1ubrsrTuentf7KYyj1uCGKqEj6CnYT/kx2UWURcUxSRNd+pmS2Vg1ob8vpFb
         /8pKfhB61DUqdKkT5X3TyS2FThkmDNC6xBO3aYvY52LQ75na0cXxQu8Oq1WtNydGNuep
         CMjw==
X-Received: by 10.49.12.238 with SMTP id b14mr4287651qec.18.1356549208429;
        Wed, 26 Dec 2012 11:13:28 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.49.0.19 with SMTP id 19ls3478810qea.55.gmail; Wed, 26 Dec 2012
 11:13:27 -0800 (PST)
X-Received: by 10.59.6.72 with SMTP id cs8mr13041013ved.27.1356549207533;
        Wed, 26 Dec 2012 11:13:27 -0800 (PST)
X-Received: by 10.59.6.72 with SMTP id cs8mr13041012ved.27.1356549207518;
        Wed, 26 Dec 2012 11:13:27 -0800 (PST)
Received: from mail-vb0-f48.google.com (mail-vb0-f48.google.com [209.85.212.48])
        by gmr-mx.google.com with ESMTPS id u2si1233063vdi.2.2012.12.26.11.13.27
        (version=TLSv1/SSLv3 cipher=OTHER);
        Wed, 26 Dec 2012 11:13:27 -0800 (PST)
Received-SPF: pass (google.com: domain of blindbravado@gmail.com designates 209.85.212.48 as permitted sender) client-ip=209.85.212.48;
Received: by mail-vb0-f48.google.com with SMTP id fc21so8984897vbb.21
        for <lojban@googlegroups.com>; Wed, 26 Dec 2012 11:13:27 -0800 (PST)
MIME-Version: 1.0
Received: by 10.58.222.40 with SMTP id qj8mr44541602vec.36.1356549207401; Wed,
 26 Dec 2012 11:13:27 -0800 (PST)
Received: by 10.220.13.197 with HTTP; Wed, 26 Dec 2012 11:13:27 -0800 (PST)
In-Reply-To: <20121226153250.GF7855@samsa.fritz.box>
References: <CA+gZtgL4eA1WnuSmJP-=S8ZmsDpbTkrmmj1uKMGrCT=HwotnRA@mail.gmail.com>
	<20121226103259.GD7855@samsa.fritz.box>
	<CA+gZtgJdvMQmmXtpX=i1Zp07vgjgDW2Oq0mJbZ4kz74_h0_hTQ@mail.gmail.com>
	<20121226153250.GF7855@samsa.fritz.box>
Date: Wed, 26 Dec 2012 14:13:27 -0500
Message-ID: <CA+gZtgK3GGEVHMngyoa1AKfcQ5LVCZP5yASHra95kv=EO1qfzw@mail.gmail.com>
Subject: Re: [lojban] Some weirdness in how mathematicians work with quantifiers
From: Ian Johnson <blindbravado@gmail.com>
To: lojban@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.212.48 as permitted
 sender) smtp.mail=blindbravado@gmail.com; dkim=pass header.i=@gmail.com
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
List-ID: <lojban.googlegroups.com>
X-Google-Group-Id: 1004133512417
List-Post: <http://groups.google.com/group/lojban/post?hl=en_US>, <mailto:lojban@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban?hl=en_US>
Sender: lojban@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>
Content-Type: multipart/alternative; boundary=047d7bdc8fd0a0a5f404d1c6394e
X-Spam-Score: -0.1 (/)
X-Spam_score: -0.1
X-Spam_score_int: 0
X-Spam_bar: /

--047d7bdc8fd0a0a5f404d1c6394e
Content-Type: text/plain; charset=ISO-8859-1

>
> Hey Ian,
>
> you hopefully are aware of the fact that you posted your question
> on Christmas Eve... Why do you wonder why no one replied within 24 hours?
>
Didn't really think about it, I was talking to some Lojbanists on both
days.

>
>  I wouldn't say so for category theoretical arguments.

That's true, but category theory does essentially everything in terms of
functions. Objects in that setting get their basic properties because of
certain families of functions having certain properties. So it makes sense
that you'd have "there exists a function" more in category theory.


I think that as well, also one reason these arguments are often hard to
> understand
> is because the are not structured in a very logical way.
>
I've been known to have trouble because the argument is *too* clean.
Analysis in particular is a messy subject, if an argument has all the
intermediate steps have been smoothed out it can be really hard to figure
out how they came up with it.

mu'o mi'e la latro'a

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


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

<div class=3D"gmail_quote"><blockquote class=3D"gmail_quote" style=3D"margi=
n:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hey Ian,<br>
<br>
you hopefully are aware of the fact that you posted your question<br>
on Christmas Eve... Why do you wonder why no one replied within 24 hours?=
=A0<br></blockquote><div>Didn&#39;t really think about it, I was talking to=
 some Lojbanists on both days.=A0 <br></div><blockquote class=3D"gmail_quot=
e" style=3D"margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204,204,204)=
;padding-left:1ex">


<div><br>
</div><div>

</div>I wouldn&#39;t say so for category theoretical arguments.=A0</blockqu=
ote><div>That&#39;s true, but category theory does essentially everything i=
n terms of functions. Objects in that setting get their basic properties be=
cause of certain families of functions having certain properties. So it mak=
es sense that you&#39;d have &quot;there exists a function&quot; more in ca=
tegory theory.<br>

<br> <br>
</div><blockquote class=3D"gmail_quote" style=3D"margin:0pt 0pt 0pt 0.8ex;b=
order-left:1px solid rgb(204,204,204);padding-left:1ex">I think that as wel=
l, also one reason these arguments are often hard to understand<br>
is because the are not structured in a very logical way.<div></div></blockq=
uote><div>I&#39;ve been known to have trouble because the argument is <i>to=
o</i> clean. Analysis in particular is a messy subject, if an argument has =
all the intermediate steps have been smoothed out it can be really hard to =
figure out how they came up with it. <br>
<br>mu&#39;o mi&#39;e la latro&#39;a<br>
</div>
</div>

<p></p>

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

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



--047d7bdc8fd0a0a5f404d1c6394e--