Path: dp-news.maxwell.syr.edu!spool.maxwell.syr.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!postnews.google.com!j55g2000cwa.googlegroups.com!not-for-mail
From: "Cimode"
Newsgroups: comp.databases.theory
Subject: Re: Programming is the Engineering Discipline of the Science that is Mathematics
Date: 7 Jun 2006 02:12:10 -0700
Organization: http://groups.google.com
Lines: 38
Message-ID: <1149671530.432173.236160@j55g2000cwa.googlegroups.com>
References: <1149554468.101169.75440@i39g2000cwa.googlegroups.com>
<1149576134.051179.262500@h76g2000cwa.googlegroups.com>
<1149601846.457689.70060@i40g2000cwc.googlegroups.com>
<1149660854.855393.165490@g10g2000cwb.googlegroups.com>
NNTP-Posting-Host: 195.154.188.107
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
X-Trace: posting.google.com 1149671534 23814 127.0.0.1 (7 Jun 2006 09:12:14 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Wed, 7 Jun 2006 09:12:14 +0000 (UTC)
In-Reply-To: <1149660854.855393.165490@g10g2000cwb.googlegroups.com>
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),gzip(gfe),gzip(gfe)
X-HTTP-Via: 1.0 localhost:5656 (squid/2.5.STABLE11)
Complaints-To: groups-abuse@google.com
Injection-Info: j55g2000cwa.googlegroups.com; posting-host=195.154.188.107;
posting-account=XWbNBg0AAABXMdLVqoM3R9n-RIU90_cb
Xref: dp-news.maxwell.syr.edu comp.databases.theory:41121
Sorry TYPO...
by
//> I would not say that I try to avoid overestimate mathematicians or
> people who do math to prove a point. Math can prove false things
> because of its *admitted* axioms are falses.
//
I advocate not overestimating mathematician as opposed to
mathematics...
Cimode wrote:
> erk wrote:
> > Cimode wrote:
> > > But all math is not set theory and set
> > > theory does not answer all questions expressed as a consequence of
> > > application of set theory in RM.
> >
> > I think the predicate logic is more important. Predicates link the
> > database to the real world, while normalization keeps the predicates
> > manageable. This is what I like best about relational: to me, it hits a
> > sweet spot between assertions about the business, and those about
> > solutions and technology, all the while pinning them solidly to logic
> > to solve problems.
> Interresting..you make a distinction between logic and math. What
> better than math validates logic?
>
> > > I believe that in unknown area that remain to be explored,
> > > ecclectic approaches should be guided and validated by math not
> > > burried by it.
> >
> > I think you might be underestimating math. Math is not just arithmetic,
> > nor are most software development projects primarily arithmetical. Nor
> > are science and math devoid of exploration, hypothesis, and creativity.
> I would not say that I try to avoid overestimate mathematicians or
> people who do math to prove a point. Math can prove false things
> because of its *admitted* axioms are falses.
> > - Eric