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

From: erk <eric.kaun_at_gmail.com>

Date: 7 Jun 2006 04:51:00 -0700

Message-ID: <1149681060.449257.289990_at_h76g2000cwa.googlegroups.com>

Date: 7 Jun 2006 04:51:00 -0700

Message-ID: <1149681060.449257.289990_at_h76g2000cwa.googlegroups.com>

Cimode wrote:

> Interresting..you make a distinction between logic and math. What

> better than math validates logic?

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

Axioms are just statements assumed to be true. It's when you try to correlate them with some other system (e.g. some perception of the "real world") that true/false appears. Axioms can be inconsistent with one another, which is why they're normally developed to be orthogonal to one another.

- erk