On Tue, Apr 07, 2015 at 12:51:30PM +1000, Bruce Kellett wrote: > > I think that Russell is right when he suggested that even by step > seven your dovetailer has to be running in Platonia, not in a > physical embodiment. This has to do with the fact that the > dovetailer can never complete. It is running all possible programs > and most of these will never complete. So you never complete and get > back to running all the steps of early programs in the sequence. So > you do not compute all possible instantiations of a conscious moment > by any finite time in a physical universe. Or even in Platonia > because the idea of a completed infinity of computations makes no > sense. > > So no conscious moment, even in with a dovetailer in Platonia, can > ever be completely counterfactually correct, because there will > always be related sequences of states that never get to be computed > -- no completed infinities even in arithmetic.
Hi Bruce, that's not quite right. All computations eventually get computed by the UD within a finite (but unbounded) number of computational steps. Only in a non-robust ontology does this not happen. Perhaps you could argue that the infinite sum over all computations supporting a given observer moment will never complete in a finite time, but I think that poses a problem for computing the measure (already recognised as an open problem), rather than being an isue per se with UDA 1-7. -- ---------------------------------------------------------------------------- Prof Russell Standish Phone 0425 253119 (mobile) Principal, High Performance Coders Visiting Professor of Mathematics [email protected] University of New South Wales http://www.hpcoders.com.au Latest project: The Amoeba's Secret (http://www.hpcoders.com.au/AmoebasSecret.html) ---------------------------------------------------------------------------- -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
