Oracle FAQ | Your Portal to the Oracle Knowledge Grid |
Home -> Community -> Usenet -> comp.databases.theory -> Re: Programming is the Engineering Discipline of the Science that is Mathematics
Cimode wrote:
> Interresting..you make a distinction between logic and math. What
> better than math validates logic?
I didn't intend to make this distinction here; I thought you were. If not, never mind. I'd say your question is reversed, though - the better statement might be that logic validates math, rather than vice versa.
> 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.