Theos-Talk Archives (January 1997 Message tl00427)

Tom Robertson:
"I'd like to see a "formal proof" that 2+2 might not be 4, also."

Are you familar with Godel's Theorm?  He provided a mathematical
proof that there is no formal mathematical system of axioms and
rules that can prove every one of its own statements.  In other
words, all mathematical systems depend on several assmptions, and
there are always some statements that cannot be proved within that 
system. Thus all mathematics are inherently limited. This struck a 
major blow to all those mathematicians trying to 'prove' universal
laws -- like God, they may or may not exist, but cannot be proved
and must be taken on faith.

Jerry S
Member, TI