On 18 Jun 2014, at 15:30, spudboy100 via Everything List 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
?
I don't see any relation between Oracle (in Turing sense) and O-regions.
An oracle O is only an infinite information (a real number, or a
subset of N), usually not mechanically (recursively) enumerable, and
an O-machine is a machine which is allow to consult the oracle (to get
an answer for question like "does n belong to O?") in the course of
its computation. For each such computation the machine can only
consult the oracle a finite number of time.
It is usually used to show that the arithmetical gods can't overcome
incompleteness. I mean, if O is a set definable in arithmetic, even
strongly not computable (like sigma_n or pi_n for high n), the O-
machine can't generate the arithmetical truth. God, The One,
Arithmetical truth, is (are) not arithmetical.
Bruno
-----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.
http://iridia.ulb.ac.be/~marchal/
--
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.
