From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Quantified Expressions: "some"
Date: Wed, 17 Nov 2010 14:38:19 +0100
Date: 2010-11-17T14:38:20+01:00 [thread overview]
Message-ID: <g15thsvf8vhu$.1pw6yv0xvdazy$.dlg@40tude.net> (raw)
In-Reply-To: C909757A.152E%news@findlayw.plus.com
On Wed, 17 Nov 2010 12:05:14 +0000, (see below) wrote:
> On 17/11/2010 10:46, in article 1t7pvrh3i022d.8t9yqjonagar$.dlg@40tude.net,
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote:
>
>> On Tue, 16 Nov 2010 22:31:50 -0800 (PST), AdaMagica wrote:
>>
>>> On 17 Nov., 01:03, Georg Bauhaus <rm-host.bauh...@maps.futureapps.de>
>>> wrote:
>>>> � (for all X in domain | P (X))
>>>> � (for some X in domain | P (X))
> ...
>> "for some" looks awful, why not "exists" or U+2203, since we are Unicode
>> now? (:-))
>
> Why? It reads as perfectly idiomatic English and is standard mathematical
> phrasing.
I never saw "for some" quantification.
BTW, it also looks inconsistent with Ada. The proposal uses | in the
meaning "condition". But Ada's meaning for | was "union." The word Ada used
for "condition" was "when."
I have no idea what the proposal would do with:
( for all X in 1 | 3..5 | F'Range | P(X) )
One could use a simpler notation for convolutions/set measures than the
above, and, in any case, without introduction of a free variable (e.g. X).
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2010-11-17 13:38 UTC|newest]
Thread overview: 25+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-11-17 0:03 Quantified Expressions: "some" Georg Bauhaus
2010-11-17 6:31 ` AdaMagica
2010-11-17 8:25 ` Niklas Holsti
2010-11-17 12:29 ` Peter C. Chapin
2010-11-17 13:38 ` Georg Bauhaus
2010-11-17 10:46 ` Dmitry A. Kazakov
2010-11-17 12:05 ` (see below)
2010-11-17 13:38 ` Dmitry A. Kazakov [this message]
2010-11-17 14:16 ` Georg Bauhaus
2010-11-17 14:20 ` Dmitry A. Kazakov
2010-11-17 16:14 ` J-P. Rosen
2010-11-17 17:28 ` Dmitry A. Kazakov
2010-11-18 1:12 ` Randy Brukardt
2010-11-18 8:47 ` Dmitry A. Kazakov
2010-11-18 9:48 ` AdaMagica
2010-11-18 10:07 ` Dmitry A. Kazakov
2010-11-18 10:27 ` AdaMagica
2010-11-18 13:24 ` Niklas Holsti
2010-11-18 15:51 ` Georg Bauhaus
2010-11-18 17:58 ` Peter C. Chapin
2010-11-19 17:48 ` Georg Bauhaus
2010-11-19 17:51 ` Georg Bauhaus
2010-11-19 20:03 ` Vinzent Hoefler
2010-12-19 10:04 ` Andre
2010-11-17 11:33 ` stefan-lucks
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox