Dear Lee,
Let me use your post to continue our offline conversation here for the
benefit of all.
The idea of a computation, is it well or not-well founded? Usually TMs
and other finite (or infinite!) state machines are assume to have a well
founded set of states such that there are no "ci
Le 14-mai-05, à 16:04, Lee Corbin a écrit :
If they are furthermore enough rich in complexity to have "abstract
inhabitants", it is reasonable or plausible (at least) that for those
inhabitants their abstract universe will look as it is real.
This rests on the surprising conclusion that the inhabi
Bruno writes
> Le 12-mai-05, à 19:14, Peter D Jones a écrit :
>
> > I don't see why. Surely what is being asserted is that there is a set
> > of physically real universes, and it is a subset of logically
> > possible universes ("Platonia") -- but logically possible universes
> > are not real in an
Lee Corbin writes (replying to Bruno Marchal):
> I agree the abandoning of vitalism is progress. And it is true that
> natural science has explained features like self-reproduction,
> animal motion, energy transformation (sun -> living matter) and so
> on. But it is just erroneous to conclude that
Jesse wrote:
> The main objection that comes to my mind is that in order to plan ahead of
> time what number should be in each tape location before the armature
> begins moving and flipping bits, you need to have already done the
> computation in the regular way--so Olympia is not really computing
5 matches
Mail list logo