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

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.

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

• Eric