Path: dp-news.maxwell.syr.edu!spool.maxwell.syr.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!postnews.google.com!v46g2000cwv.googlegroups.com!not-for-mail
From: "vc" <boston103@hotmail.com>
Newsgroups: comp.object,comp.databases.theory
Subject: Re: Storing data and code in a Db with LISP-like interface
Date: 6 May 2006 19:10:57 -0700
Organization: http://groups.google.com
Lines: 50
Message-ID: <1146967857.097544.275910@v46g2000cwv.googlegroups.com>
References: <1146498404.114523.32900@g10g2000cwb.googlegroups.com>
   <usqrkcxlcqdp$.z1o9xj5l0bzy$.dlg@40tude.net>
   <_bv5g.1570$A26.41052@ursa-nb00s0.nbnet.nb.ca>
   <as970wsx9wcy.1p4v2jfb3hzxw$.dlg@40tude.net>
   <o5N5g.2048$A26.59181@ursa-nb00s0.nbnet.nb.ca>
   <1eoppyf1hkii3.1e57b9wnn6qqy.dlg@40tude.net>
   <6Ro6g.3163$A26.82498@ursa-nb00s0.nbnet.nb.ca>
   <l4cqwd5som48$.nnks1yprrzut$.dlg@40tude.net>
   <6Iv6g.3304$A26.86233@ursa-nb00s0.nbnet.nb.ca>
   <gbhmc9y2dj2.1hx97rrfcyn72$.dlg@40tude.net>
   <1146827924.790967.281520@u72g2000cwu.googlegroups.com>
   <1dgwbbeaif4m$.1819jq8lq2tsj.dlg@40tude.net>
   <1146848043.867671.59210@v46g2000cwv.googlegroups.com>
   <1uj550jui4zlm$.6umumfu49c3j$.dlg@40tude.net>
   <1146920560.007032.222640@y43g2000cwc.googlegroups.com>
   <q1xhlov7qhmi.1kzgxro0h0168$.dlg@40tude.net>
   <1146957483.329060.327580@u72g2000cwu.googlegroups.com>
   <445d47f8$0$31651$e4fe514c@news.xs4all.nl>
NNTP-Posting-Host: 24.91.127.140
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
X-Trace: posting.google.com 1146967862 18572 127.0.0.1 (7 May 2006 02:11:02 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Sun, 7 May 2006 02:11:02 +0000 (UTC)
In-Reply-To: <445d47f8$0$31651$e4fe514c@news.xs4all.nl>
User-Agent: G2/0.2
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1; SV1; .NET CLR 1.1.4322; .NET CLR 2.0.50215),gzip(gfe),gzip(gfe)
Complaints-To: groups-abuse@google.com
Injection-Info: v46g2000cwv.googlegroups.com; posting-host=24.91.127.140;
   posting-account=thIdtgwAAAAhUVpIR1L4IFjCXWRKlxtG
Xref: dp-news.maxwell.syr.edu comp.object:139003 comp.databases.theory:39282


mAsterdam wrote:
[..]
> vc: intuition and FOL don't get together well

In this case,  you may want to reconsider your career choice.

 > >>. What about (a, b, c, d ) <--> { a, b, c, d } ?
> >
> >
> > What about it ?
>
> list-to-set, list-equality vs. set equality.

What about "list-to-set, list-equality vs. set equality" ?

[...]
> >>I don't care about construction of a set, if I can denote the set.
> >
> >
> > If you do not care about constructing a structure,  how do you intend
> > to use something that you have not constructed  in any programming
> > language ?
> >
> >
> >>Example:
> >>1.3 of R.
> >
> >
> > And this shows what exactly ?
>
> That we mean 1.3 as a member of the set R.

Since you did not construct R and apparently do not have it prepackaged
for you,  how do you intend to use something that does not exist ?


> >>pi is also
> >>not an approximation, it is pi. I am free to choose a representation where
> >>pi were exact.
> >
> >
> > I'd be curious to see such representation.
>
> Pi.

That's the best you can come up with ?  that's not a representation
that you can operate with it's a name of the ratio of a circumference
lenth to its diameter.  So what's the exact representation of pi ?