In Reply to: Re Gödel posted by Ted Smith on January 5, 2007 at 14:23:01:
A formal system is one that uses axioms and rules of proof. In any such system, theorems can be constructed which cannot be proven or disproven. There is no way out of this by including these theorems as new axioms, because then new unprovable theorems can be constructed.This has to do with science because science uses mathematical structures to describe behavior of the physical world. These mathematical structures are based on axioms and rules of proof.
How this applies to audio I have no idea. Even in a well explored territory like number theory, nobody can point to an unprovable theorem. For a long time, people speculated that Fermat's Last Theorem may be one, but then someone proved it.
This post is made possible by the generous support of people like you and our sponsors:
Follow Ups
- formal system - tunenut 10:14:09 01/06/07 (0)