Re: Is reality unknowable?

From: scerir <>
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!).

Received on Sun Oct 26 2003 - 02:29:30 PST

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:08 PST