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

From: Cimode <>
Date: 6 Jun 2006 23:14:14 -0700
Message-ID: <>

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. 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

Original text of this message