andrel wrote:
> Isn't there a scene in Goedel Escher Bach where something is proven but 
> then the focus turns on the proof rules, because they must first be 
> agreed on.

This always happens when you try to make math tell you something about the 
real world. The problem isn't with proving something mathematically. It's 
with proving that the math is isomorphic to reality.

-- 
   Darren New, San Diego CA, USA (PST)
   "We'd like you to back-port all the changes in 2.0
    back to version 1.0."
   "We've done that already. We call it 2.0."

Post a reply to this message