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!). s.