As far as I can see the only connection here is the fact they both used the letter O. O-regions are interesting of course but don't appear to be relevant to the current discussion?
On the subject of O-machines, in the case of Olympia I believe this is a TM with access to a trace from another TM. Why would a TM which is able to read in data constitute an oracle? Can't TMs generally read in data from an outside source, and if not, what does that do to the MGA? On 19 June 2014 01:30, spudboy100 via Everything List < everything-list@googlegroups.com> wrote: > More important the mere Oracle Machinery are O-regions, which were > conjectured about 14 years ago bt Gauriga and Vilenkin. > http://arxiv.org/pdf/gr-qc/0102010.pdf > > > > -----Original Message----- > From: LizR <lizj...@gmail.com> > To: everything-list <everything-list@googlegroups.com> > Sent: Wed, Jun 18, 2014 4:54 am > Subject: Re: O-machines > > Mind you anyone who uses "The Cyberiad" for his names (or indeed "The > Sandman" for that matter) is OK with me. > > > On 18 June 2014 20:40, LizR <lizj...@gmail.com> wrote: > >> Changing Olympia to a machine that computed non-Turing-Computable >>> functions would be a trivial matter: one would need to change only the >>> value stored in the oracle, not the computational activity Olympia >>> performs. >>> In contrast, no Turing Machine could be so trivially upgraded: no amount >>> of fiddling with machine tables will suffice to improve a TM to Trurl’s >>> level. >> >> >> Is this what yo mean? I don't see how whatever value is stored in the >> oracle is non-Turing-Computable, surely the Oracle just stores a (very >> large) number which is equivalent to the result of a particular computation? >> >> Or does it??? >> >> >> >> On 18 June 2014 18:37, Quentin Anciaux <allco...@gmail.com> wrote: >> >>> It seems to me Olympia is a simple table lookup for the input, the >>> argument he uses to place it in the oracle camp seems invalid to me, he >>> posits that he is able to construct a lookup table that contains the result >>> of the halting problem... and because such table is a lookup table, all >>> lookup tables are then oracle... that doesn't seem correct to me. >>> >>> Regards, >>> Quentin >>> >>> >>> 2014-06-18 7:23 GMT+02:00 meekerdb <meeke...@verizon.net>: >>> >>> Bruno, I wonder if you're aware of this critique of Maudlin's Olympia >>>> argument, which of course also applies to the MGA? >>>> >>>> http://www.colinklein.org/papers/OlympiaOMachines.pdf >>>> >>>> Brent >>>> -- >>>> 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. >>>> >>> >>> >>> >>> -- >>> All those moments will be lost in time, like tears in rain. (Roy >>> Batty/Rutger Hauer) >>> -- >>> 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. >>> >> >> > -- > 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. > > -- > 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. > -- 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.
