- Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

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

Date: Sun, 26 Oct 2003 08:27:45 +0100

Hal Finney

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

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