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

Date: 6 Jun 2006 23:14:14 -0700

Message-ID: <1149660854.855393.165490_at_g10g2000cwb.googlegroups.com>

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 - 08:14:14 CEST