On 18 Jun 2014, at 08:37, Quentin Anciaux 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.
I think he did not understood Maudlin's point, nor what is an oracle.
But my brain is stoned, not by plant, but by tiredness. I will
certainly read it at ease later, but at first sight it does not make
sense to me either.
Regards,
Bruno
PS (I will comment other posts later, bye)
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.
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.