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