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 hpco...@hpcoders.com.au 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 everything-list+unsubscr...@googlegroups.com. To post to this group, send email to everything-list@googlegroups.com. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
