|
Propeller Head Plaza Technical and scientific discussion of amps, cables and other topics. |
|
|
|
Propeller Head Plaza Technical and scientific discussion of amps, cables and other topics. |
|
In Reply to: Re Gödel posted by Ted Smith on January 5, 2007 at 14:23:01:
In any formal system, every proof is traceable to the system axioms. So every proof in every formal system is not an absolute proof, but rather rests on the unspoken phrase, "If the axioms are true, then..." the rest of the stuff is true. Axioms are unproveable. Therefore, in an absolute sense, we can prove nothing. And everything remains theory. So, in reality, all our systems are like well-constructed houses on foundations of quicksand--great reasoning resting on nothing.Our axioms seem pretty good, however: We've gotten people on the moon and done a number of other engineering feats all based on "foundationless" reasoning.
Just wanted to point out that everything, always remains open to question and probing.
This post is made possible by the generous support of people like you and our sponsors:
Follow Ups
- Theorems and Axioms - lipmanl@hotmail.com 07:19:10 01/08/07 (0)
Top of Page ]
[ Contact Us ]
[ Support/Wish List ]
[ Copyright © 2025, Audio Asylum, all rights reserved ]
