>>Also Interesting. Ever hear of Godel's Second Law?
>
>No, and a search in google returned nothing. I am pretty familiar with his Incompleteness Theorem though. Interesting piece of work.
Same thing. Initially he called them laws in his first presentation of 'undecidable propositions of formal mathematical systems", then mathematicians began calling his two major ideas "incompleteness theorems"
What makes his ideas interesting is what he proved. Basically, that mathematical systems can never be "complete". Since physics is modeled using math, and chemistry is modeled using physics, and biology is modeled using chemistry, etc... None of them can be stronger than the math that is used to model them. In another vein, all of eculedian math reduces to a few axioms that are accepted as true with out proof, because we can't prove them. All of them start with the definition of a 'point', and build.... but you get the idea.
Nebraska Dept of Revenue