Re: My claim on Omega's defn
From: Ben Rudiak-Gould (br276deleteme_at_cam.ac.uk)
Date: 02/02/05
- Next message: Mitch Harris: "Re: Name the thesis: "Formal sentences capture informal ones""
- Previous message: Mitch Harris: "Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?"
- In reply to: examachine_at_gmail.com: "Re: My claim on Omega's defn"
- Next in thread: r.e.s.: "Re: My claim on Omega's defn"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: Wed, 02 Feb 2005 21:38:48 +0000
examachine@gmail.com wrote:
> Consider this like the correct conception of a black-hole. The
> event-horizon does _not_ exist, it is only approximated, you can only
> get this close to such physical limits. (Maybe this was a grossly
> inappropriate way of making the analogy. Please correct my silly
> errors)
I don't think this is a good analogy. The singularity at the event horizon
in (e.g.) Schwarzschild coordinates is just a coordinate singularity. If you
choose a better coordinate system, you can talk about points exactly on the
event horizon without any difficulty. Nothing of physical interest actually
happens at the event horizon; it's just like any other region of spacetime.
A better analogy is the big bang singularity. The closer you get to the big
bang, the more you learn about physics (or the more you know, the closer you
can get), and it's conceivable that getting within 10^-n seconds of the big
bang might require knowledge of, say, Theta(n) fundamental physical
constants, making the big bang itself forever unreachable.
But nobody believes that the GR version of the big bang singularity really
exists. It's more plausible that in the process of getting there we'll
discover new physics which implies that there's no there there. I don't know
that there's any equivalent of this for Chaitin's Omega. Could the
mathematical facts encoded in the approximations to Omega possibly refute
the existence of the limit? I doubt it.
-- Ben
- Next message: Mitch Harris: "Re: Name the thesis: "Formal sentences capture informal ones""
- Previous message: Mitch Harris: "Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?"
- In reply to: examachine_at_gmail.com: "Re: My claim on Omega's defn"
- Next in thread: r.e.s.: "Re: My claim on Omega's defn"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|
|