Master Control vs Processor

[Flarp55]

(05-17-2014 09:02 AM)Demon Wrote:  We're getting meta now. Bbobb is right, proofs ARE infallible, but only within the confines of assumptions generally accepted as universal truths. Proofs and scientific theory don't always hold through the test of time (such as Newton's mechanics formulae being proven wildly inaccurate as objects approach the speed of light hundreds of years later), but without a counter example or empirical data to debunk, they can be considered truth for the time being.

But I digress.

I'm not talking about physics, so your example of Newton's mechanics is invalid. In physics, you don't know what your starting axioms are; the whole point of physics is to try to find the axioms. Math is an artificially created system of axioms, and these axioms are always true, because we say they are. If the axioms are not true, we get a different kind of math, but the original system still holds under the given choice of axioms.