Hal Finney
> If, from a set of axioms and rules of inference, we can produce a
> valid proof of a theorem, then the theorem is true, within that
> axiomatic system. 
> I'd suggest that this notion of provability is analogous to the
> "reality" of physics.  Provable theorems are what we know, within
> a mathematical system.
> [.......and much much more.......]

I thank you for that very nice response! 

(I'm inclined to suppose that math and physics
are complementary, and one day we'll see physical
solutions of unsolved math problem, a sort of
math thermodynamics (Chaitin?), but it is just 
a lucid dream!).


Reply via email to