Re: Does provability matter?

From: <hal.domain.name.hidden>
Date: Fri, 2 Nov 2001 16:29:26 -0800

Wei Dai writes:
> Living in this universe is like living in a universe with a
> halting-problem oracle, right? If you want to know whether program x
> halts, you just measure the n-th pseudorandom event, where n is such that
> the n-th theorem is "x halts." Yes?

What about the instantiations of people who measure the event the other
way before the universe gets restarted and re-run from that point? They
would see the wrong answer to the halting question, but they are just
as conscious as the people who later see the right answer.

Hal
Received on Fri Nov 02 2001 - 16:32:57 PST