On 17 Nov 2008, at 04:41, Brent Meeker wrote:
>
>
> But does un-implemented mean not implemented in any language?
This is a vague question depending of the context. If you have find a
beautiful algorithm, and your boss asks you if you have implemented
it, well, if you have not implemente, there is a sense to say the
algorithm is un-implemented relatively to you and to your boss. Of
course you can tell your boss that the algorithm is implemented an
infinity of times in Plato Heaven (or in the standard model of
arithmetic), but he will probably not be satisfied with that answer.
>
>
> But all possible implementations is a logical concept that exists only
> in platonia - so what is the distinction between implemented and
> un-implemented computations.
I was discussing with Kory, where we were meaning "un-implemented" by
"not implemented in the material world", assuming there is one, or for
those who grasp UDA (including MGA): un-implemented means un-
implemented relatively to the most probable computations executed
(mathematically) by the UDA (interpreted in any model of arithmetic:
the "running" is itself a mathematical object).
Brent, have you understand the seven first step of UDA? Then you
shorld understand that the only correct way to predict, in principle,
any experiment (like dropping a pen) consists in putting a measure on
uncertainty on the set of all computations going through your state of
mind when you are doing the experiment, and seeing what happens in the
"majority" of computational histories. All right?
Don't worry if you don't like that, you will still have plenty of
reason to criticize the proof by objecting on MGA. the UDA-without MGA
is the easy part. MGA is far more subtle and complex. The complexity
stems from philosophy of mind.
Bruno
http://iridia.ulb.ac.be/~marchal/
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list+unsubscribe.domain.name.hidden
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Mon Nov 17 2008 - 09:52:57 PST