Re: Is reality unknowable?

From: scerir <scerir.domain.name.hidden>
Date: Sun, 26 Oct 2003 08:27:45 +0100

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.
Received on Sun Oct 26 2003 - 02:29:30 PST