Oracle FAQ Your Portal to the Oracle Knowledge Grid
HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US
 

Home -> Community -> Usenet -> comp.databases.theory -> Re: Programming is the Engineering Discipline of the Science that is Mathematics

Re: Programming is the Engineering Discipline of the Science that is Mathematics

From: Cimode <cimode_at_hotmail.com>
Date: 7 Jun 2006 02:12:10 -0700
Message-ID: <1149671530.432173.236160@j55g2000cwa.googlegroups.com>


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
Received on Wed Jun 07 2006 - 04:12:10 CDT

Original text of this message

HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US