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

Date: 7 Jun 2006 02:12:10 -0700

Message-ID: <1149671530.432173.236160_at_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 - 11:12:10 CEST